BERPIKIR KOMPUTASIONAL

 C. Logika Matematika

 Dalam ilmu matematika juga dikenal teknik logika. Dalam logika matematika terdapat 5 istilah yang sering digunakan yaitu:

1. Negasi 

  Negasi merupakan metode membalikan nilai sebelumnya, yang semula benar menjadi salah dan sebaliknya.

2. Konjungsi 

   Konjungsi merupakan teknik penggabungan beberapa pernyataan yang kemudian dikenal dengan istilah pernyataan majemuk.

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 mengguna kan kata penghubung "jika,,,, maka,,,," dengan notasi simbol berupa (panah kekanan).

5. Biimplikasi

  Biimplikasi merupakan salah satu jenis pernyataan majemuk yang dibentuk dengan menggunakan kata penghubung "...jika dan hanya jika...", yang diwakili dengan simbol notasi ("panah kekanan dan kekiri").