LOGIKA MATEMATIKA

1)      Pernyataan atau kalimat Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah.

Ada dua jenis pernyataan matematika, yaitu : Kalimat tertutup, merupakan pernyataan yang nilai kebenarannya sudah pasti.
Contoh :

Kalimat terbuka, merupakan pernyataan yang kebenarannya belum pasti.
Contoh :

2)       Ingkaran Pernyataan atau negasi Ingkaran atau negasi suatu pernyataan adalah pernyataan yang menyangkal pernyataan yang diberikan. Ingkaran suatu pernyataan dapat dibentuk dengan menambah “Tidak benar bahwa ...” di depan pernyataan yang diingkar. Ingkaran pernyataan adalah ~ p.
Contoh :

Tabel kebenaran dari ingkaran

3)       Pernyataan Majemuk a. Konjungsi
Pernyataan p dengan q dapat digabung dengan kata hubung logika “dan” sehingga membentuk pernyataan majemuk “p dan q” yang disebut konjungsi. 

b. Disjungsi
Pernyataan p dengan q dapat digabung dengan kata hubung logika “atau” sehingga membentuk pernyataan majemuk “p atau q” yang disebut disjungsi. 

c. Implikasi
Implikasi “jika p maka q”

d. Biimplikasi
Biimplikasi “p jika dan hanya jika q”

4)   Ekuivalensi Pernyataan – Pernyataan Majemuk

5)   Konvers, Invers, dan Kontraposisi
Dari sebuah implikasi dapat diturunkan pernyataan yang disebut konvers, invers dan kontraposisi dari implikasi tersebut.

6) Pernyataan berkuantor dan ingkarannya