Logika

proposisi

Tautologi Adalah suatu ekspresi logika yang selalu bernilai benar di dalam tabel kebenarannya, tanpa memperdulikan nilai kebenaran dari proposisi-proposisi yang berada didalamnya.

Kontradiksi Adalah Suatu ekspresi logika yang selalu bernilai salah di dalam tabel kebenarannya, tanpa memperdulikan nilai kebenarannya dari proposisi-proposisi yang berada di dalamnya.

Tabel Kebenaran

ALJABAR LOGIKA

- Pernyataan/Proposisi

Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah) tetapi tidak keduanya.

Contoh:

p = Tadi malam BBM mulai naik (memiliki nilai kebenaran benar/true).

q = 23 = 32 (memiliki nilai kebenaran salah/false).

- Negasi/lingkaran

Negasi suatu kalimat akan mempunyai nilai kebenaran yang berlawanan dengan nilai kebenaran kalimat aslinya. Jadi jika nilai p bernilai benar maka bernilai salah. Sebaliknya jika p bernilai salah, maka akan bernilai benar.

- Membuat kesimpulan

NEGASI LINGKARAN

Dalam logika matematika, negasi atau ingkaran adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun majemuk. Operasi negasi membalikkan nilai kebenaran suatu pernyataan. Jika p bernilai benar maka ~p bernilai salah. Sebaliknya, jika p bernilai salah, maka ~p bernilai benar. Bentuk ~p biasa dibaca “bukan p”, “tidak p”, “tidak benar bahwa p”, dsb.

 http://vynhe.blogspot.com/2013/07/tautologi-kontradiksi-aljabar-logika.html

http://nadyanavyanti.blogspot.com/2013/06/tautologi-dan-kontradiksi-aljabar.html

http://christoperjohan.blogspot.com/2012/09/logika-logic.html