Beberapa pernyataan dapat dibuat ke bentuk logika predikat dengan menggunakan operator-operator seperti : Λ , V , → , ~ , dll
Tanda Λ menyatakan konjungsi atau “dan” yang digunakan untuk menghubungkan dua pernyataan tunggal yang menghasilkan pernyataan majemuk sebagai contoh “A dan B” , Jika A benar dan B benar maka A Λ B benar.
Tanda V menyatakan disjungsi atau “atau” yang digunakan untuk menghubungkan dua pernyataan tunggal yang menghasilkan pernyataan majemuk sebagai contoh “A atau B” , Jika salah satu bernilai benar atau keduanya bernilai benar maka A V B benar.
Tanda → menyatakan pernyataan bersyarat atau “jika .. maka ..” , Implikasi A→B benar kecuali untuk A benar dan B salah.
Tanda ~ menyatakan ingkaran yaitu suatu penyataan benar dapat bernilai salah atau sebaliknya.
Tanda ó menyatakan implikasi dua arah atau “jika dan hanya jika” . Biimplkasi A ó B benar untuk A dan B bernilai sama.
Selanjutnya , kita akan menyelesaikan masalah mengenai logika matematika, Sebagai contoh,
A Λ B → A V B ó ~A V ~B
| A | B | ~A | ~B | C= A Λ B | D=A V B | E = C→D | F= ~A V ~B | G= E ó F |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
Tidak ada komentar:
Posting Komentar