Logika Matematika

Logika Matematika

• Pernyataan adalah kalimat yang hanya benar saja atau salah saja, tetapi tidak dapat sekaligus benar atau salah.

• Kalimat terbuka adalah kalimat yang memuat variabel sehingga belum dapat ditentukan nilai kebenarannya.

• Ingkaran atau negasi dari p dapat ditulis dengan lambang ~p (dibaca : tidak benar p atau bukan p). Jika pernyataan p bernilai benar maka ~p bernilai salah, dan sebaliknya.

• Tabel kebenaran dari p ˅ q, p ˄ q, p → q, p ↔ q

p	q	p ˅ q	p ˄ q	p → q	p ↔ q
B	B	B	B	B	B
B	S	B	S	S	S
S	B	B	S	B	S
S	S	S	S	B	B

Keterangan :

B = Pernyataan bernilai benar

S = Pernyataan bernilai salah

• Negasi :

1. ~( p ˅ q)  = (~p ˄ ~q)
2. ~( p ˄ q)  = (~p ˅ ~q)
3. ~( p → q) = (p ˄ ~q)
4. ~( p ↔ q) = (p ˄~q) ˅ (q ˄~p)

Ditulis Wahyu Eko Nugroho Pada Thursday, February 14, 2013 Komentar