A. TAUTOLOGI
Definisi
: pernyataan majemuk yang selalu bernilai benar untuk setiap kombinasi nilai
kebenaran dari pernyataan tunggalnya.
Contoh
:
a
|
b
|
~a
|
~b
|
a
Þ
~b
|
~a Þ b
|
(a Þ
~b)
v (~a
Þ
b)
|
B
|
B
|
S
|
S
|
S
|
B
|
B
|
B
|
S
|
S
|
B
|
B
|
B
|
B
|
S
|
B
|
B
|
B
|
B
|
B
|
B
|
S
|
S
|
B
|
B
|
B
|
S
|
B
|
B. KONTRADIKSI
Definisi
: pernyataan majemuk yang selalu bernilai salah untuk setiap kombinasi nilai
kebenaran dari pernyataan tunggalnya.
Contoh
:
Ø Buktikan
bahwa (a Ú
b) Û
(~a
Ú
~b)
adalah kontradiksi, buktikan dengan tabel kebenaran!
a
|
b
|
~a
|
~b
|
a
Ú
b
|
~a Ú ~b
|
(a Ú
b) Û
(~a
Ú
~b)
|
B
|
B
|
S
|
S
|
B
|
S
|
S
|
B
|
S
|
S
|
B
|
S
|
B
|
S
|
S
|
B
|
B
|
S
|
S
|
B
|
S
|
S
|
S
|
B
|
B
|
S
|
B
|
S
|
C. KONTINGENSI
Pengertian :
perrnyataan majemuk yang bukan tautologi dan bukan kontradiksi, secara logis
akan memuat kombinasi nilai benar dan salah sebagai nilaii kebenaran
pernyataannya..
Contoh :
Ø Buktikan
bahwa (a Ú
b) Þ
(b Ù
a) adalah kontingensi, buktikan dengan tabel kebenaran!
a
|
b
|
a
Ú
b
|
b
Ù
a
|
(a
Ú
b) Þ
(b Ù
a)
|
B
|
B
|
B
|
B
|
B
|
B
|
S
|
B
|
S
|
S
|
S
|
B
|
B
|
S
|
S
|
S
|
S
|
S
|
S
|
B
|
Tidak ada komentar:
Posting Komentar