RUMUS-RUMUS LOGIKA MATEMATIKA

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