p
|
q
|
p
Ʌ q
|
p
V q
|
p
→ q
|
p
↔ q
|
B
|
B
|
B
|
B
|
B
|
B
|
B
|
S
|
S
|
B
|
S
|
S
|
S
|
B
|
S
|
B
|
B
|
S
|
S
|
S
|
S
|
S
|
B
|
B
|
konjungsi
|
disjungsi
|
implikasi
|
ekuivalensi
|
implikasi, konvers, invers, dan kontraposisi
implikasi
|
konvers
|
invers
|
kontraposisi
|
||||
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
|
Konvers ≡ inversImplikasi ≡ kontraposisi
Sifat-sifat
Ø p Ʌ (q V r) ≡ (p Ʌ q) V (p Ʌ r)
Ø
p V
(q Ʌ r) ≡ (p V q) V (p V r)
Ø
p →
q ≡ ~p V q
Ø
~(p
V q) ≡ ~p Ʌ ~q
Ø
~(p
Ʌ q) ≡ ~p V ~q
Ø
~(p
→ q) ≡ p Ʌ ~q
Ø p ↔ q ≡ (p → q) Ʌ (q → p)
p ↔ q ≡ (~p V q) Ʌ (p V ~q)
penarikan
kesimpulan
modus ponen
|
pernyataan 1: p → q
benar
|
pernyataan 2: p benar
|
kesimpulan :
q benar
|
modus tollens
|
pernyataan 1: p → q
benar
|
pernyataan 2: ~q benar
|
kesimpulan :
~p benar
|
silogisme
|
pernyataan 1: p → q
benar
|
pernyataan 2: q → r
benar
|
kesimpulan :
p → r benar
|
atau silahkan unduh filenya di sini
