Pembuktian hukum kontrapositif
Jika P maka Q
Kontrapositif dari pernyataan implikasi
adalah
. Dengan kata lain kontrapositif adalah menegasikan P dan Q lalu membalik arah panahnya. Dalam teori logika, Pernyataan implikasi dan kontraposisinya mempunyai nilai kebenaran yang sama.
di bagian (p->q) -> (~q->~p) menunjukkan semua kondisi 1 (TRUE) yang berarti pembuktian hukum kontraposisi menggunakan tabel keberan adalah berhasil
Tidak ada komentar:
Posting Komentar