LOGIKA MATEMATIKA

A.  PERNYATAAN, KALIMAT TERBUKA, DAN INGKARAN

1. Pernyataan adalah kalimat tertutup yang memiliki nilai benar saja atau salah saja, tetapi tidak sekaligus benar dan salah.
2. Kalimat terbuka adalah kalimat yang belum pasti nilai kebenarannya karena memuat variabel.
3. Ingkaran atau negasi suatu pernyataan p adalah pernyataan ~p yang bernilai salah jika p bernilai benar dan bernilai benar jika p bernilai salah.

B.  PERNYATAAN MAJEMUK DAN INGKARANNYA

Konjungsi (ʌ)

Dua pernyataan p dan q dapat digabungkan menjadi satu pernyataan majemuk menggunakan konjungsi yaitu p ʌ q dan dibaca ” p dan q”.

Tabel kebenarannya.

Disjungsi ( v )

Dua pernyataan p dan q dapat digabungkan menjadi satu pernyataan majemuk menggunakan disjungsi yaitu p v q dan dibaca ” p atau q”.

Tabel Kebenarannya.

Implikasi (→)

Dua pernyataan p dan q dapat digabungkan menjadi satu pernyataan majemuk menggunakan implikasi menjadi p → q dan dibaca ” p maka q”.

Tabel kebenarannya.

Biimplikasi (↔)

Dua pernyataan p dan q dapat digabungkan menjadi satu pernyataan majemuk menggunakan implikasi menjadi p ↔ q dan dibaca ” p jika dan hanya jika q”.

Tabel kebenarannya.