MODUS TOLLENS
p -> q
~q
~p
Dari pernyataan yang diatas,
hukum modus tollens ini yaitu penarikan kesimpulan dari premis p -> q dan premis ~q. Dimana premis kesatu mempunyai nilai q
dan premis kedua juga mempunyai nilai q. Jadi, nilai q ini bisa dihilangkan
tetapi di premis kedua untuk negasinya tidak bisa dihilangkan karena di premis
pertama tidak memiliki negasi. Di premis satu tersisa p, dan di premis dua
tersisa negasi. Dan dapat ditarik kesimpulan menjadi negasi p (~p).
Hukum Modus Tollens ini mempunyai nilai kebenaran yang sama.
p
|
q
|
p -> q
|
~q
|
(p -> q) v
~q)
|
~p
|
((p -> q) v
~q) -> ~p
|
1
|
1
|
1
|
0
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
1
|
1
|
1
|
Pada bagian ((p -> q) v ~q) -> ~p menunjukkan semua
kondisi 1 atau true, yang berarti pembuktian hukum modus tollens menggunakan
tabel kebenaran adalah berhasil
0 komentar:
Posting Komentar