Page 114 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)

( ∨ ) ∧ ∼ →

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

S S S S B S B S

Jadi, dari tabel di atas nilai kebenarannya berupa
tautologi atau semuanya bernilai benar maka penyataan atau
argumen tersebut valid.

2. Aturan Penarikan Kesimpulan
Untuk membuktikan kevalidan suatu argumen dapat
digunakan cara lain yaitu dengan menggunakan aturan-
aturan penarikan kesimpulan. Menggunakan aturan ini
selain dapat menarik kesimpulan dari premis-premisnya,
juga mampu membentuk argumen –argumen dari rangkaian
langkah pembuktian yang cukup sederhana. Penarikan
kesimpulan dilakukan dari bagian-bagian masing-masing,
konklusi yang dapat ditarik lagi untuk mendapatkan
konklusi berikutnya sampai menemukan
kesimpulan/konklusi akhir.
Aturan-aturan dalam penarikan kesimpulan disebut
juga rule of Inferences. Macam-macam aturan penarikan
kesimpulan dapat dilihat sebagai berikut:
1) Modus Ponen (MP)
→

∴
2) Modus Tollen (MT)
→

Buku Ajar Pengantar Dasar Matematika 110