Silogisme merupakan suatu cara penalaran yang
formal. Penalaran dalam bentuk ini jarang ditemukan/dilakukan dalam kehidupan
sehari-hari. Kita lebih sering mengikuti polanya saja, meskipun kadang-kadang
secara tidak sadar. Misalnya ucapan “Ia dihukum karena melanggar peraturan “X”,
sebenarnya dapat kita kembalikan ke dalam bentuk formal
p->q
q->r
\p->r
Tabel
Kebenaran
p
|
q
|
r
|
p->q
|
q->r
|
(p->q) Ù (q->r)
|
p->r
|
(p->q) Ù (q->r) -> p->r
|
B
|
B
|
B
|
B
|
B
|
B
|
B
|
B
|
B
|
B
|
S
|
B
|
S
|
S
|
B
|
S
|
B
|
S
|
B
|
S
|
B
|
S
|
S
|
S
|
B
|
S
|
S
|
S
|
B
|
S
|
S
|
S
|
S
|
B
|
B
|
B
|
B
|
B
|
B
|
B
|
S
|
B
|
S
|
B
|
S
|
S
|
B
|
S
|
S
|
S
|
B
|
B
|
B
|
B
|
B
|
B
|
S
|
S
|
S
|
B
|
B
|
B
|
B
|
B
|
Kesimpulan:
Tidak SAH, karena hasil dari table kebenaran tidak
menunjukkan B keseluruhan.