Materi Logika Matematika Mulai dari Tautologi hingga Ekivalensi

1. Created By: Wawan Indarko

2. KONTRADIKSI
Pernyataan yang
nilai kebenarannya
selalu salah.
Contoh
(p∧q) ∧~(p∨q)

3. TAUTOLOGI
Contoh
(p∨q) ∨~(~p∧~q)

4. KONTINGENSI
Contoh
~(~p∧~q)

5. EKUIVALENSI
Contoh
(p∨q) ~(~p∧~q)

6. IMPLIKASI LOGIS
Contoh
~(p∨q) →~(p∧q)

7. (p∨q)∧~p1
~p∧q2
[(p∧~r)∨q]∨(r∨~q)3
(~p∧~q) → [(~p∨q)∨~r]4
[(~p∨q)∨~r] ↔ [(~p∨q)∨~r]6
[(r∨~q)∧(p∧q)]∧(p∧~r)5