Anda di halaman 1dari 2

Tugas Logika Informatika

Nama : Nurul Wulan Teman yang Bekerjasama Mengerjakan:


Kelas : TI-IIB Nama : Risky Amelia
NM : A2.1800099 Kelas : TI-IIB
NM : A2.1800111

 Tunjukan bahwa kalima-kalimat dibawah ini adalah Tautologi dengan menggunakan


tabel Kebenaran.
o P˄Q P

P Q P˄Q (P ˄ Q) P
B B B B
B S S B
S B S B
S S S B

o P˅Q P

P Q P˅Q (P ˅ Q) P
B B B B
B S B B
S B B S
S S S B

 Dari kalimat-kalimat implikasi di atas, buat konvers, invers, dan kontraposisinya,


serta buktikan bahwa implikasi selalu ekuivalen dengan kontraposisinya.

o P˄Q P

Implikasi Konvers Invers Kontraposisi


P Q ¬P ¬Q P˄Q ¬P˄¬Q (P˄Q) P P (P˄Q) (¬P˄¬Q) ¬P
¬P (¬P˄¬Q)
B B S S B S B B S S
B S S B S S B B S S
S B B S S S B S B B
S S B B S B B B S S

Bukti bahwa impllikasi selalu ekuivalen dengan kontraposisinya


o P˅Q P

Implikasi Konvers Invers Kontraposisi


P Q ¬P ¬Q P˅Q ¬P˅¬Q (P˅Q) P P (P˅Q) (¬P˅¬Q) ¬P
¬P (¬P˅¬Q)
B B S S B S B B
B S S B B B B B
S B B S B B S B
S S B B S B B S