Logika Matematika
A.��� Disjungsi
Adalah dua pernyataan yang dihubungkan dengan kata �ATAU� (v).
P�Q�P v Q
a. B (benar)�B�B
b. B�S (salah)�B
c. S�B�B
d. S�S–S
B.���� Konjungsi
Adalah dua pernyataan yang dihubungkan dengan kata �DAN� (^)
P�Q�P ^ Q
a. B�B�B
b. B�S�S
c. S�B�S
d. S�S�S
C.���� Implikasi
Adalah pernyataan dengan menggunakan kata hubung� �JIKA� dan �MAKA�.
Jika P maka Q
P→Q
P�Q� P→Q
a. B�S�B
b. B�S�S
c. S�B�B
d. S�S�B
D. Negasi/Ingkaran dari Pernyataan
a.������ ~(~p) = p
b.����� ~(p ^ q) = (~p v ~q)
c.������ ~(p v q) = (~p ^ ~q)
d.����� ~(p → q) = (p ^ ~q)
e.������ ~(p ↔ q) = (~p ↔ q) ∫ (p ↔ ~q)
f.������ P → q = ~p v q
E. Konvers, Invers, dan Kontraposisi
Dari suatu implikasi p → q dapat dibuat :
Konvers : q → p
Invers : ~p → ~q
Kontraposisi : ~q → ~p
Penarikan Kesimpulan
a.������ Silogisme
P → q������������������� premis 1
q → r�������������������� premis 2
p → r�������������������� konklusi
b.����� Modus ponens
P → q������������������� premis 1
P��������������������������� premis 2
q��������������������������� konklusi
c.������ Modus tollens
P → q������������������� premis 1
~q������������������������� premis 2
~p������������������������� konklusi
Tidak ada komentar:
Posting Komentar