Taulogi, Kontadiksi, Negasi Lingkaran dan Logika Aljabar

Taulogi, Kontadiksi, Negasi Lingkaran dan Logika Aljabar
• Tautologi
Adalah proposisi komposit yang selalu bernilai benar untuk setiap nilai kebenaran dari proposisi.
Contoh: (pɅq)→p selalu bernilai benar.
• Kontradiksi
Adalah proposisi komposit yang selalu bernilai salah untuk setiap nilai kebenaran dari proposisi elementernya.
Contoh: pɅ(pVq) selalu bernilai salah.
• Negasi ingkaran
Adalah suatu pernyataan yang nilai kebenarannya berlawanan dengan nilai kebenaran dari pernyataan semula, Negasi dari P ditulis ~P atau P̅
Sifat Negasi : Jika P benar, maka ~P salah dan P salah, maka ~P benar.
• Logika aljabar
Pernyataan dan Pernyataan Gabungan
Prinsip dasar sebuah pernyataan gabungan adalah bahwa nilai kebenarannya sangat ditentukan oleh nilai kebenaran masing-masing pernyataannya dan bagaimana pernyataan tersebut dihubungkan.
Pernyataan

∞ Pernyataan akan dinyatakan dengan p, q, r
Prinsip dasar sebuah pernyataan adalah bahwa pernyataan hanya memiliki satu nilai, benar atau salah, tidak keduanya.
Benar atau salah sebuah pernyataan disebut nilai kebenaran.
Beberapa pernyataan merupakan gabungan dari dua pernyataan atau lebih dengan kata penghubung.

Pernyataan Gabungan – 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.

Tabel

http://materisemester.blogspot.com/2010/03/kalkulus.html
http://coretan-n03.blogspot.com/2011/05/logika-matematika.html
http://aimprof08.wordpress.com/2012/04/24/tautologi-kontradiksi-dan-kontingensi/

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s