Tautology
Tautology adalah Proposisi yang selalu bernilai benar (true) dalam keadaan apapun.
Contoh tautologi Q→ (PVQ)
Kontradiksi
Kontradiksi adalah Proposisi yang selalu bernilai salah (false) dalam keadaan apapun.
Contoh kontradiksi P Λ (~P Λ Q)
Dua buah proposisi majemuk, P(p, q, ..) dan Q(p, q, ..) disebut ekivalen secara logika jika keduanya mempunyai tabel kebenaran yang identik.
Notasi: P(p, q, …) Q(p, q, …)
Ingkaran (negation) dari p: tidak p
Operasi ini merupakan operasi uner yang dilambangkan dengan tanda “~” .atau “¬”. Ingkaran pernyataan p adalah ~p atau dibaca “tidak benar bahwa p” atau “non p” atau “negasi dari p”.
Bernilai benar jika p salah, dan sebaliknya bernilai salah jika p benar.
Contoh: p = Lusy adalah sebuah merek kemeja.
~p = Lusy bukan sebuah merek kemeja.
Tabel kebenarannya :
atau
Aljabar logika
Prinsip dasar sebuah pernyataan gabungan adalah bahwa nilai kebenarannya sangat ditentukan oleh nilai kebenaran masing-masing pernyataannya dan bagaimana pernyataan tersebut dihubungkan.
Contoh:
Mobil sedan beroda empat dan mobil bis beroda enam” merupakan pernyataan gabungan dua buah pernyataan “Mobil sedan beroda empat” dan “mobil bis beroda enam”
Dia sangat pandai atau dia belajar setiap malam” merupakan pernyataan gabungan dua buah pernyataan “Dia sangat pandai” dan “dia belajar setiap malam” .
Hendak pergi kemana adik?” bukanlah sebuah pernyataan karena tidak memiliki nilai kebenaran.
Sumber:
http://maarief.blog.unsoed.ac.id/
http://materisemester.blogspot.com/2010/03/kalkulus.html
Tidak ada komentar:
Posting Komentar