Nama Mahasiswa : Lia Shoqilatul Husen

NIM : 858871045
Prodi : PGSD

Mohon izin menjawab diskusi yang diberikan

1. Dengan menggunakan tabel nilai kebenaran, untuk pembuktian
p → q ≡ ~q → ~p , akan didapat tabel kebenaran sebagai berikut:
p q ̴p ̴q p =› q q =› p ̴p =› ̴q ̴q =› ̴p
B B S S B B B B
B S S B S B B S
S B B S B S S B
S S B B B B B B

EKUIVALEN (SAMA)

Dari tabel kebenaran diatas dapat kita lihat bahwa kolom p =› q tidak sama dengan
kolom q =› p dalam urutan nilai kebenarannya, hal ini sama juga dengan ̴p =› ̴q yang
nilai kebenarannya juga tidak sama dengan p =› q. Namun pada kolom ̴q =› ̴p memiliki
nilai kebenaran yang urutannya sama (ekuivalen) dengan p =› q.
Maka dapat disimpulkan bahwasanya :
p =› q ≡ ̴q =› ̴p
Dimana suatu implikasi ekuivalen dengan kontraposisinya
̴q =› ̴p merupakan kontraposisi dari p =› q

2. Tautologi merupakan pernyataan majemuk yang selalu benar untuk setiap nilai
kebenaran pernyataan tunggalnya
terdapat premis-premis berikut
Premis 1 : Jika hari ini hujan deras, Budi tidak keluar rumah
Premis 2 : Budi keluar rumah

Dari dua premis diatas maka dapat disimpulkan Hari ini tidak hujan deras
Dalam penarikan kesimpulan berdasarkan premis diatas maka kita dapat menggunakan
susunan argument berdasarkan modus tollens, dimana susunan argument sebagai
berikut:
a =› b (premis)
̴b (premis)
‫̴ ؞‬a (Kesimpulan)

REFRENSI: Modul PDGK4108, Matematika (Sukirman, dkk)