Tautologi, Kontradiksi, dan Kontingensi


Definisi :

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 :

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 :

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 :

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.

About these ads

One comment on “Tautologi, Kontradiksi, dan Kontingensi

Berikan Balasan

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

WordPress.com Logo

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

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s