Cheat Sheet

Kalimat Berarti - Secara denotaitif tidak memiliki arti,tetapi secara konotatif dapat memiliki arti.

Kalimat non deklaratif - kalimat yang tidak dapat dinilai kebenerannya,berupa kalimat perintah,tanya,harapan & terbuka.

Kalimat deklaratif - kalimat yang mempunyai nilai benar atau salah saja, & tidak keduanya pada saat yg sama.

Deklaratif faktual - pernyataan fakta.

Kalimat terbuka - kalimat yang belum dapat ditentukan nilai kebenerannya karena masih mengandung peubah(variabel),jika diganti
dengan suatu konstanta dalam semestanya akan menjadi sebuah pernyataan.

Ingkaran(negasi) - cara merubah suatu kalimat menjadi negasi tinggal menambahkan kata “bukan” / “tidak benar” pada kalimat.

Tabel Nilai kebeneran

P -P
B S
S B

Negasi dari ingkaran dari suatu pernyataan

Pernyataan Negasi / ingkaran

Semua…. Ada/beberapa…. tidak….
Ada/beberapa…. Semua…. tidak….
Sama dengan (=) Tidak sama dengan (=)
Lebih dari (>) Kurang dari atau sama dengan (<)
Lebih dari atau sama dengan (>) Kurang dari (<)
Kurang dari (<) Lebih dari atau sama dengan (>)
Kurang dari atau sama dengan (<) Lebih dari (>)

Konjungsi - dilambangkan dengan notasi “∧” dibaca “dan” {benar jika kedua pernyataan benar}

Disjungsi - dilambangakan dengan notasi “v” dibaca “atau” {salah jika kedua pernyataan salah}

Implikasi - dilambangkan dengan notasi “⇒” dibaca “Jika…,maka….” {salah jika konsekeuen : q bernilai salah}

Implikasi dapat dibaca :

 Jika p, maka q,
 P berimplikasi q,
 q hanya jika p,
 q jika p, atau
 q asal saja p.

Biimplikasi - dilambangkan dengan notasi “⬄” dibaca “…. jika dan hanya jika ….” {benar jika kedua pernyataan bernilai sama}
Negasi konjungsi : p ∧ q = - ( p ∧ q) ≡ -p v -q

p q -p -q p∧q - (p ∧ q) -p v -q
B B S S B S S
B S S B S B B
S B B S S B B
S S B B S B B

Negasi disjungsi : p v q = - (p v q) ≡ -p ∧ -q

p q -p -q Pvq - (p v q) -p ∧ -q
B B S S B S S
B S S B B S S
S B B S B S S
S S B B S B B

Negasi implikasi : p ⇒ q = - (p ⇒ q) ≡ p ∧ -q

p q -q p⇒q - (p ⇒ q) p ∧ -q
B B S B S S
B S B S B B
S B S B S S
S S B B S S

Negasi Biimplikasi : p⬄q = -(p⬄q) ≡ -p ⬄ q atau -(p⬄q) ≡ p ⬄-q

p q -p -q p ⬄q -(p⬄q) -p ⬄ q p ⬄-q
B B S S B S S S
B S S B S B B B
S B B S S B B B
S S B B B S S S

 Tautologi (semuanya bernilai benar)

Contoh ((p ⇒ q) ∧ -q) ⇒ -p

p q -p -q p⇒q (p ⇒ q ) ∧ -q ((p ⇒ q ) ∧ -q) ⇒ -p

B B S S B S B
B S S B S S B
S B B S B S B
S S B B B B B

 Kontradiksi (semuanya bernilai salah)

Contoh (p ∧ q) ⬄ (-p v –q)

p q -p -q p∧q -p v -q (p ∧ q) ⬄ (-p v -q)

B B S S B S S
B S S B S B S
S B B S S B S
S S B B S B S
 Kontijensi (campuran)
 Rangkaian listrik

Sakelar secara seri

Nilai kebeneran arus pada rangkaian listrik seri dengan dua sakelar.

Sakelar Sakelar Arus pada rangkaian

p q p∧q
B B B
B S S
S B S
S S S

Sakelar secara paralel

Nilai kebeneran arus pada rangkaian paralel dengan dua sakelar.

Sakelar Sakelar Arus pada rangkaian

p q pvq
B B B
B S B
S B B
S S S

Implikasi : p ⇒ q

Konvers : q ⇒ p

Invers : -p ⇒ -q ≡ q ⇒ p

Kontraposisi : -q ⇒ -p ≡ p ⇒ q

p q -p -q Implikasi Konvers Invers Kontraposisi

p⇒q q⇒p -p ⇒ -q -q ⇒ -p
B B S S B B B B
B S S B S B B S
S B B S B S S B
S S B B B B B B
Konklusi (kesimpulan)

1. Modus Ponens

Premis 1 : p ⇒ q

Premis 2 : p

Konklusi : q

“((p ⇒ q) ∧ p) ⇒ q” dengan tabel kebenaran :

p q p⇒q (p ⇒ q) ∧ p ((p ⇒ q) ∧ p) ⇒ q
B B B B B
B S S S B
S B B S B
S S B S B
Merupakan tautologi sehingga penarikan kesimpulan dengan modus ponens dikatakan sah

2. Modus Tollens

Premis 1 : p ⇒ q

Premis 2 : -q

Konklusi : -p

“((p ⇒ q) ∧ -q) ⇒ -p” dengan tabel kebenaran :

p q -p -q p ⇒ q (p ⇒ q) ∧ -q (p ⇒ q) ∧ -q) ⇒ -p
B B S S B S B
B S S B S S B
S B B S B S B
S S B B B B B
Merupakan tautologi sehingga penarikan kesimpulan dengan modus ponens dikatakan sah

3. Silogisme

Premis 1 : p ⇒ q

Premis 2 : q ⇒ r

Konklusi : p ⇒ r

“((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r) ” dengan tabel kebenaran :

p q r p⇒q q⇒r p⇒r (p ⇒ q) ∧ (q ⇒ r) ((p ⇒ q) ∧ (q ⇒ r)) ⇒ (p ⇒ r)

B B B B B B B B
B B S B S S S B
B S B S B B S B
B S S S B S S B
S B B B B B B B
S B S B S B S B
S S B B B B B B
S S S B B B B B
Merupakan tautologi sehingga penarikan kesimpulan dengan modus ponens dikatakan sah