C. Logika Matematika
Dalam ilmu matematika juga dikenal teknik logika. Hal ini menunjukan bahwa ilmu matematika tidak sebatas pada penghitungan antara dua atau lebih bilangan saja. Dalam logika matematika, terdapat lima istilah yang sering digunakan, yaitu negasi, disjungsi, implikasi, dan biimplikasi.
1. Negasi
Negasi merupakan metofe membalikkan nilai sebelumnya, yang semula benar menjadi salah dan salah menjadi benar. Dengan menambahkan negasi (menggunakan simbol- ), anda dapat membuat penyangkalan atau pengingkaran dari pernyataan yang sebelumnya dibuat.
2. Konjungsi
Konjungsi merupakan teknik penggabungkan beberapa pernyataan yang kemudian dikenal dengan istilah pernyataan majemuk. Karakteristik konjungsi adalah penggunaan kata "dan" yang dinotasikan dengan simbol "^".
3. Disjungsi
Disjungsi merupakan teknik perbandingan antara dua pernyataan (pernyataan majemuk) yang dihubungkan dengan kata "atau" dan direpresentasikan dalam bentuk notasi simbol "v".
4. Implikasi
Implikasi merupakan salah satu penerapan pernyataan majemuk yang menggunakan kata penghubung "jika..., maka..." dengan notasi simbol berupa " ".
5. Biimplikasi
Biimplikasi merupakan salah satu jenis pernyataan majemuk yang dibentuk dengan menggunakan kata penghubung "...jika dan hanya jika...", yang diwakili dengan simbol " ".
