Logika Matematika

1.       Ingkaran (negasi) => ~

P -> ~p

Semua -> ada

Setiap -> beberapa + tidak

Seluruh -> sebagian

Ex :

Semua siswa SMK 1 mengikuti OJT

Ada siswa SMK 1 yang tidak mengikuti OJT

     2.       Pernyataan Majemuk

a.       Konjungsi (dan “^”)

B jika keduanya B

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

b.       Disjungsi (atau “v”)

S jika keduanya S

c.       Implikasi (jika …, maka … “->”)

S jika B S

d.       Biimplikasi ( … jika dan hanya jika … “<->”)

B jika keduanya bernilai sama

       3.       Ingkaran Pernyataan Majemuk

~ (p ^ q) = ~p v ~q

~ (p v q) = ~p ^ ~q

~ (p -> q) = p ^ ~q

~ (p <-> q) = (p ^ ~q) v (q ^ ~p)

                = ~p <-> q

                = p <-> ~q

Implikasi              p -> q

Konvers                 q -> p

Invers                   ~p -> ~q

Kontraposisi       ~q -> ~p

Implikasi ekuivalen dgn Kontraposisi

Konvers ekuivalen dgn Invers