Diskusi 1
Diskusi 1
ISKUSI1
D
ATEMATIKA56
M
AHMADUDIASRORY
NIM837619092
rodiPGSDS1
P
PBJJUTJEMBER
U
1.PembuktianEkivalensi:
Kitaakanmembuktikanekivalensi
�→�≡¬�→¬�
p→
q≡¬q→
¬pdenganmenggunakantabelnilaikebenaran.Disini,kitamemilikidua
pernyataan:
● Pernyataanpertama:
● →�
�
p→q
●
● Pernyataankedua:
● �→¬�
¬
¬q→
● ¬p
Marikitamulaidenganmembuattabelnilaikebenaranuntukkeduapernyataanini:
�→� ¬�→¬�
p q p→q ¬q →¬p
Daritabelnilaikebenarandiatas,kitadapatmelihatbahwa
�→�
p→
qmemilikinilaikebenaranyangsamadengan
¬�→¬�
¬q→¬pdalamsetiapkasus.Olehkarenaitu,kitadapatmenyimpulkanbahwa
�→�≡¬�→¬�
p→q≡¬q→
¬p,yangmerupakanbentukekuivalen.
2.PenarikanKesimpulan:
Premis1:Jikahariinihujanderas,Buditidakkeluarrumah.Dinyatakansebagai
�→¬�
p→
¬q
Premis2:Budikeluarrumah.Dinyatakansebagai
�
q
Kesimpulanyanginginkitatarikadalahapayangdapatkitasimpulkandarikedua
premistersebut.
Jadi,kitamemiliki
�→¬�
p→¬q(Premis1)dan
�
q(Premis2).
Kitadapatmenggunakanhukumimplikasi,yangmengatakanbahwadari
�→�
p→q dan
�
q,kitabisamenyimpulkan
�
p.Jadi,daripremis-premistersebut,kitabisamenyimpulkanbahwa"Tidakhujanderas
hariini",yangmerupakan
¬�
¬p.
Iniadalahcontohdarimodustollens,suatujenislogikadeduktifyangmenyatakan
bahwajikaimplikasidarisuatupernyataantidakbenar,makapernyataanawalnyajuga
tidakbenar.
Jadi,kesimpulanyangsahadalah:"Tidakhujanderashariini"danjenislogikayang
digunakanadalahmodustollens
AHMADUDIASRORY