Rumus 2 LOGIKA
Rumus 2 LOGIKA
Kelas X
RUMUS-RUMUS LOGIKA MATEMATIKA
p
B
B
S
S
q
B
S
B
S
p^q
B
S
S
S
p
B
B
S
S
q
B
S
B
S
pvq
B
B
B
S
p
B
B
S
S
q
B
S
B
S
p => q
B
S
B
B
p
B
B
S
S
q
B
S
B
S
p <=> q
B
S
S
B
http:// pondokmerana.blogspot.com
Matematika
Kelas X
A.
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
Kaid
ah Silogisme
p => q
q => r
p=>r
D.
Kuantor:
Eksistensial = beberapa, terdapat
Universal = semua, setiap
p => q ~p v q
Mod
us Ponens
p => q
p____
q
Mod
us Tollens
p => q
~q___
~p
http:// pondokmerana.blogspot.com