Proposisi
Oleh :
Devie Rosa Anamisa
Definisi Proposisi
Pernyataan
Konklusi (konsekuen)
Hipotesis (antenseden)
Bikondisional (p↔q)
Tautologi
– Jika kolom terakhir pada tabel kebenaran hanya memuat T
(true).
Kontradiksi
– Jika kolom terakhir pada tabel kebenaran hanya memuat F
(false).
Hukum-Hukum Aljabar Operasi
Proposisi
Hukum idempotent :
– pvp=p
– pΛp=p
Hukum assosiatif :
– (p v q) v r = p v (q v r)
– (p Λ q) Λ r = p Λ (q Λ r)
Hukum komunikatif :
– pvq=qvp
– pΛq=qΛp
Hukum Distributif :
– p v (q Λ r) = (p v q) Λ (p v r)
– P Λ (q v r) = (p Λ q) v (p Λ r)
Ekivalensi Logis
Konvers :
– Pernyataan q p disebut konvers dari pq
Invers
– Pernyataan ~p~q disebut invers dari pq
Kontraposisi
– Pernyataan ~q~p disebut kontraposisi dari pq
Tabel Kebenaran
Konvers, Invers dan Kontraposisi