Page 61 - e modulo 123

GLOSARIUM

1. Biimplikasi adalah suatu pernyataan majemuk yang berbentuk “ p jika dan hanya

jika q” yang berarti “jika p maka q dan jika q maka p”
2. Disjungsi adalah gabungan dua pernyataan yang menggunakan kata penghubung

logika “atau” sehingga membentuk dua pernyataan majemuk
3. Ekuivalen adalah dua pernyataan yang dikatakan setara atau kedua pernyataan

tersebut menghasilkan nilai kebenaran yang sama pada tabel kebenaran.

4. Implikasi adalah gabungan dua pernyataan p dan q sehingga membentuk
pernyataan majemuk dengan menggunakan kata penghubun “ jika …., maka …..”

5. Invers adalah negasi dari implikasi
6. Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenaranya

karena masih mengandung variable atau peubah

7. Konjungsi adalah gabungan dua pernyataan tunggal yang menggunakan kata
penghubung “dan” sehingga terbentuk pernyataan majemuk

8. Kontigensi adalah suatu pernyataan majemuk yang nilai kebenarannya memuat
benar dan salah

9. Kontradiksi adalah suatu pernyataan yang nilai kebenarannya selau salah

10. Kontraposisi adalah implikasi yang dibalik dan dinegasikan
11. Konvers adalah kebalikan dari implikasi

12. Negasi dari pernyataan majemuk dapat dibentuk dari negasi pernyataan –
pernyataan tunggal dengan menggunakan ekuivalensi, yaitu apabila negasi

pernyataan – pernyataan majemuk itu mempunyai nilai kebenaran yang sama
dengna pernyataan majemuk negasi dari komponen – komponennya

13. Penarikan kesimpulan adalah beberapa pernyataan yang diketahui nilai

kebenarannya yang disebut premis. Kemudian, dengan menggunakan prinsip –
prisip logika diperoleh pernyataan baru yang disebut sebagai kesimpulan atau

konklusi.
14. Proposisi adalah kalimat yang hanya benar atau salah saja, tetapi tidak sekaligus

kedua – duanya

15. Tautologi adalah suatu pernyataan majemuk yang nilai kebenarannya adalah
selalu benar

57

Logika matematika