Document

LOGIKA MATEMATIKA
(Lanjutan)
 Dua proposisi P(p,q,…) dan Q(p,q,…) dibuat ekivalen
atau equal (logically equivalent) dinotasikan oleh
P(p,q,…)  Q(p,q,…) jika kedua proposisi tersebut
mempunyai tabel kebenaran yang identik.
Argumen
 Argumen adalah suatu pernyataan tegas yang diberikan oleh
sekumpulan proposisi P1, P2,…,Pn yang disebut premis
menghasilkan (sebagai konsekuensinya) proposisi lain Q, yang
disebut konklusi (conclusion).Dinotasikan sebagai
P1, P2,…,Pn
 Q
 Nilai kebenaran dari suatu argumen ditentukan sebagai berikut :
Suatu argumen P1, P2,…,Pn
 Q jika Q bernilai benar untuk
semua premis yang benar, dan argumen dalam keadaan selain
itu dikatakan salah.
 Dengan demikian argumen adalah suatu statemen, yakni
mempunyai kebenaran. Argumen yang benar disebut argumen
yang valid, dan argumen yang salah disebut fallacy.
Implikasi Logik (Logical Implication)
 Proposisi P(p,q,…) dikatakan logically imply proposisi
Q(p,q,…) dituliskan
 P(p,q,…)  Q(p,q,…)
 Jika Q(p,q,…) benar untuk P(p,q,…) yang benar.