rumus logika

RUMUS-RUMUS LOGIKA MATEMATIKA


p q p ^ q
B B B
B S S
S B S
S S S

p q p v q
B B B
B S B
S B B
S S S

p q p => q
B B B
B S S
S B B
S S B

p q p <=> q
B B B
B S S
S B S
S S B

A. Konvers, invers, dan kontrapositif
q => p adalah konvers dari p => q
~p => ~q adalah invers dari p => q
~q => ~p adalah kontrapositif dari p => q

D. Kuantor:
Eksistensial  = beberapa, terdapat
Universal  = semua, setiap
p => q ≡ ~p v q

B. Ingkaran
Ingkaran implikasi: ~ (p => q) ≡ p ^ ~q
Ingkaran biimplikasi: ~ (p <=> q) ≡ (p ^ ~q) v (q ^ ~p)
Ingkaran konvers: ~ (q => p) ≡ q ^ ~p
Ingkaran invers: ~ (~p => ~q) ≡ ~p ^ q
Ingkaran kontrapositif: ~ (~q => ~p) ≡ ~q ^ p

C. Menarik kesimpulan

• Kaidah Silogisme
p => q
q => r
p = > r
• Modus Ponens
p => q
p____
q
• Modus Tollens
p => q
~q___
~p