Diskusi 3 Pengantar Matema ka

Nama : Tesar Mulyawan

Prodi : Teknologi Pangan
NIM : 049407087

1. Tabel kebenaran dari (p⇒q) ⇔ (¬q⇒¬p)

p q p⇒q ¬q ¬p ¬q⇒¬p (p⇒q) ⇔ (¬q⇒¬p)
B B B S S B B
B S S B S S B
S B B S B B B
S S B B B B B

2. Tunjukkan bahwa pernyataan berikut (P ∧ Q) ⇒ P, tautologi atau kontradiksi menggunakan tabel kebenaran!
p q p^q (p∧ q)⇒p
B B B B
B S S B
S B S B
S S S B
Berdasarkan tabel kebenaran diatas, pernyataan (p∧ q)⇒p merupakan tautologi karena semua nilai
benerannya adalah BENAR.

3. Diberikan argument “Jika aku lapar maka aku akan makan” dan “aku dak makan” maka “aku dak lapar”.
Tentukan apakah argument tersebut merupaka tautologi tau kontradisksi atau bukan tautologi dan bukan
kontradiksi menggunakan tabel kebenaran! Ubah premis kedalam bentuk simbol!

“Jika aku lapar maka aku akan makan” Premis 1 (p⇒q)

“Aku dak makan” Premis 2 ( ¬q)
“Aku dak lapar” Kesimpulan (¬p)

Argument “Jika aku lapar maka aku akan makan” dan “aku dak makan” maka “aku dak lapar” jika
dinyatakan dalam bentuk simbol, akan menjadi [(p⇒ q)∧¬q]⇒¬p
p q ¬p ¬q p⇒q (p⇒q)∧¬q [(p⇒ q)∧¬q]⇒¬p
B B S S B S B
B S S B S S S
S B B S B S B
S S B B B B B
Jadi, (p⇒q)∧( ¬q⇒¬p) bukan tautologi dan bukan kontradiksi. bukan tautologi karena baris ke 2 bernilai S,
tetapi juga bukan kontradiksi karena baris ke 1, ke 3, dan ke 4 bernilai B.