Make your own free website on Tripod.com
LOGIKA MATEMATIKA

1. Ingkaran (negasi)

Pernyataan
Ingkaran
p
~p

2. Tabel kebenaran

p
q

p^q

Konjungsi

pvq

Disjungsi

B
B
B
B
B
S
S
B
S
B
S
B
S
S
S
S

3. Tautologi dan Kontradiksi

Tautologi adalah yang selalu bernilai benar. Beberapa contoh tautologi adalah:

• p V ~p

• Modus ponens

• Modus tolens

• Silogisme

Kontradiksi adalah pernyataan yang selalu bernilai salah. Beberapa contoh kontradiksi adalah:

• p ^ ~p

• (p v q) ^ (~p^ ~q)