Tautologi, Kontradiksi, dan Kontingensi


Definisi 1.

Tautologi adalah suatu proporsi majemuk yang selalu bernilai benar untuk semua kemungkinan kombinasi nilai kebenaran dari proporsi-proporsi pembentuknya

Contoh pada table kebenaran

p

\simp

p \vee \simp

B

S

S

B

B

B

 

Definisi 2.

Kontradiksi adalah suatu proporsi majemuk yang selalu bernilai salah untuk semua kemungkinan kombinasi nilai kebenaran dari proporsi-proporsi pembentuknya.

Contoh pada table kebenaran

p

\simp

p \wedge \simp

B

S

S

B

S

S

Definisi 3.

Kontingensi adalah suatu proporsi majemuk yang bukan termasuk tautologi dan bukan juga kontradiksi

Contoh pada table kebenaran

p

q

p \veeq

B

B

S

S

B

S

B

S

B

B

B

S

Definisi 4.

Dua buah proporsi dikatakan ekivalen (ekivalen logis), jika kedua proporsi tersebut memiliki nilai kebenaran yang sama. Proporsi p dan q ekivalen dinotasikan dengan p \cong q atau sering disederhanakan p = q.

Definisi ekivalen di atas, dapat juga dirumuskan sebagai berikut :

Proporsi p dan q ekivalen jika dan hanya jika p \Leftrightarrow q merupakan suatu tautologi

 

Sumber :

Syamsul, B., 2006, Logika dan Himpunan, Universitas Mataram, Mataram.

One comment on “Tautologi, Kontradiksi, dan Kontingensi

Tinggalkan Balasan ke ikhobarcom Batalkan 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 )

Foto Google

You are commenting using your Google 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 )

Connecting to %s