LOGIKA MATEMATIKA

Pernyataan dan Kalimat Terbuka

Ingkaran/negasi/penyangkalan (~)
Konjungsi (^)
Disjungsi (V)

Implikasi (->)
Biimplikasi (<->)

Contoh 1:
p: Surabaya adalah ibu kota provinsi Jatim(B)
q: Bandung adalah ibu kota provinsi Jateng (S)
p ˄ q: S
p ˅ q: B
p → q: S
p ↔ q: S
¬ p: S
¬ q: B

Contoh 2:
p: Hasan rajin belajar (B)
q: Hasan lulus ujian (B)
p → q: Jika hasan rajin belajar maka Hasan lulus ujian
p → q: B

Soal latihan: Penyangkalan pada sebuah implikasi

Buktikan dengan tabel kebenaran bahwa: ¬ (p → q) ≡ (p ˄ ¬ q)