c.Logika matematika

 Dalam ilmu matematika dikenal juga sebagai ilmu logika. Hal ini menunjukan bahwa ilmu matematika tidak sebatas pada penghitungan antara dua atau lebih bilangan saja. 

1. Negasi

Negasi merupakan metode 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 penggabungan beberapa pernyataan yang kemudian dikenal dengan istilah pernyataan majemuk. Karakteristik konjungsi adalah penggunaan kata "dan" yang dinotasikan dengan simbol "^". Sebagai contoh, x ^ y dibaca x dan y. Konjungsi akan menghasilkan keluaran true atau benar jika kedua masukan bernilai benar.

3. Disjungsi

Disjungsi merupakan teknik perbandingan antara dua pernyataan (pernyataan majemuk) yang duhubungkan dengan kata "atau" dan dipresrasikan dalam bentuk notal simbol "v". Disjungsi akan menghasilkan nilai benar atau true selama ada salah satu pernyataan yang bernilai benar.

4. Implikasi

Implikasi merupakan salah satu penerapan pernyataan majemuk yang mmenggunakan kata penghubung "jika..., maka..." dengan notasi simbol berupa "~>".

5. Biimplikasi

Biimplikasi merupakan salah satu jenis pernyataan majemuk yang dibentuk dengan menggunakan kata penghubung.