C. Logika Matematika

 Dalam logika matematika, terdapat lima istilah yang sering digunakan,yaitu negasi, konjunsi, disjungsi, implikasi, dan biimplikasi

1.    Negasi
       Negasi merupakan metode mengembalikan nilai sebelumnya, yang semula benar menjadi salah dan salah menjadi benar.Berikut adalah tabel kebenaran negasi

2.    Konjungsi
       Konjungsi merupakan teknik penggabungan beberapa pernyataan yang kemudian dikenal dengan istilah pernyataan majemuk.Berikut adalah tabel kebenaran konjungsi

3.    Disjungsi
       Disjungsu merupakan teknik perbandingan antara dua pernyataan (pernyataan majemuk) yang dihubumhkam dengan kata "atau" dan dipresentasikan dalam bentuk notasi simbol "v".Berikut adalah tabel kebenaran Disjungsi.

4.    Implikasi
       Implikasi merupakan salah satu penerapan pernyataan majemuk yang menggunaknkata penghubung "jika..., maka...".Berikut adalah tabel kebenaran Implikasi.

5.    Biimplikasi
       Biimplikasi merupakan salah satu jenis permyataan majemuk yang dibentuk dengan menggunakan kata penghubung "...jika dan hanya jika..".Berikut adalah tabel kebenaran Biimplikasi.