TOPIK 1 LOGIKA.

Slides:



Advertisements
Presentasi serupa
Pertemuan ke-2 Oleh : Muh. Lukman Sifa, Ir.
Advertisements

PENYEDERHANAAN RANGKAIAN
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
Bab 1 Logika Matematika Matematika Diskrit.
TAUTOLOGI DAN EKUIVALEN LOGIS
EKUIVALENSI LOGIKA PERTEMUAN KE-7 OLEH: SUHARMAWAN, S.Pd., S.Kom.
Ekuivalensi Logika.
Negasi dari Konvers, Invers, dan Kontraposisi
LOGIKA MATEMATIKA EKUIVALENSI,TAUTOLOGI,KONTRADIKSI,DAN KONTINGENSI
LOGIKA MATEMATIKA Mata Pelajaran: Matematika Kelas : X Semester : 2.
Latihan Ekuivalensi.
LOGIKA MATEMATIKA Menu Utama KATA BIJAK Diskripsi Mata Kuliah
Kuliah matematika diskrit Program Studi Teknik Elektro
METODOLOGI PENELITIAN
Konvers , Invers, Kontraposisi
Gerbang Digital Dwi Sudarno Putra
TOPIK 1 LOGIKA.
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
FILSAFAT ILMU DAN LOGIKA
Logika Proposisional [Kalkulus Proposisi]
Logico Hypotetico Verifikasi
Pertemuan ketiga Oleh : Fatkur Rhohman
Non Deterministic Finite Automata dengan є – Move
PEMBUKTIAN Secara umum pembuktian dapat ditulis sebagai :
Agiska Ria Supriyatna, S.Si, MTI
Pertemuan ke 1.
Induksi Matematika.
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
Agiska Ria Supriyatna, S.Si, MTI
Logika proposisi Pertemuan kedua.
LogikA MATEMATIKA.
OTOMATA DAN TEORI BAHASA FORMAL
LOGIKA PROPOSISI (Logika Pernyataan).
IMPLIKASI (Proposisi Bersyarat)
Salmah Jurusan Matematika FMIPA Universitas Gadjah Mada
OTOMATA DAN TEORI BAHASA FORMAL
NOTASI SIGMA Maka:.
BAB 5 Induksi Matematika
Logika Matematika Pernyataan.
TOPIK 1 LOGIKA.
PENYEDERHANAAN RANGKAIAN
Otomata & Teori Bahasa ( Week 4 )
Logika Matematika Bab 5: Induksi Matematika
Logico Hypotetico Verifikasi
PERTEMUAN 05 APLIKASI GERBANG LOGIKA BINER
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Ekuivalensi NFA KE DFA *YANI*.
EKUIVALEN LOGIS.
Persamaan Linear Satu Variabel
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
LOGIKA TATAP MUKA 2 PGSD FKIP UPM PROBOLINGGO.
Identifikasi Permasalahan
Tugas Kelompok Gerbang Digital.
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
TOPIK 1 LOGIKA.
Hipotesis.
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
BAB 2 KONSEP EKUIVALENSIA.
Asrul Sani, ST. M.Kom MT Pertemuan 4 Asrul Sani, ST M.Kom MT - Logika Informatika.
Asrul Sani, ST. MKom Pertemuan 5 Asrul Sani, ST M.Kom MT - Logika Informatika.
Gerbang Digital Dwi Sudarno Putra
C. Aturan Kombinasi. C. Aturan Kombinasi Rumus Kombinasi.
B. Pengembangan Rumus Turunan Fungsi Aljabar
Logika Predikat 2 (QL) Oleh : Dani Suandi, M.Si. KELOMPOK I.
HARGA HARAPAN.
BAB 5 Induksi Matematika
Otomata & Teori Bahasa ( Week 4 )
Otomata & Teori Bahasa ( Week 4 )
NOTASI SIGMA Maka:.
Transcript presentasi:

TOPIK 1 LOGIKA

EKUIVALENSI SUATU FORMULA PERTEMUAN 2 EKUIVALENSI SUATU FORMULA

Ekuivalensi dari Suatu Formula (1) Misalkan A dan B adalah 2 pernyataan dan P1, P2, …, Pn adalah variabel dalam A dan B. Jika seluruh nilai kebenaran dari A sama dengan nilai kebenaran B untuk setiap kombinasi nilai-nilai kebenaran yang diberikan pada P1, P2, …, Pn, maka A dan B adalah ekuivalen.

Ekuivalensi dari Suatu Formula (2) Contoh:  (P)  P P  P  P (P  P)  Q  Q P  P  Q  Q

Rumus Ekuivalensi Tambahan P  Q ≡ ~P  Q ≡ ~Q  ~P ~(P  Q) ≡ P  ~Q P  (QR) ≡ (P  Q) R ~(P  Q) ≡ P  ~Q P  Q ≡ (PQ)  (QP) (P  Q) ≡ (P  Q)  (~P  ~Q) Q  P ≡ ~P  ~Q P  ~Q ≡ Q  ~P Q  ~P ≡ P  ~Q

Contoh Soal Buktikan ekuivalensi kalimat-kalimat berikut dengan tabel kebenaran dan dengan rumus ekuivalensi: ~ (p  ~q )  (~p  ~q ) ≡ ~p ~ ((~ p  q )  (~p  ~q ))  (p  q) ≡ p (p  (~ (~p  q)))  (p  q) ≡ p P  (Q  R) ≡ P (~Q  R) ≡ (PQ)  R