Penarikan Kesimpulan

Untuk membuktikan dalil atau hasil baru, kebenarannya harus diperlihatkan sebagai
akibat dari sekelompok pernyataan lain, yang masing-masing dapat diterima sebagai
benar atau sebelumnya sudah dibuktikan kebenarannya. Pernyataan yang diterima
kebenarannya tanpa memerlukan bukti dinamakan aksioma. Misalnya, “Dua garis yang
berlainan tidak dapat berpotongan pada lebih dari satu titik”.
Dalam membuktikan suatu dalil atau menurunkan suatu hasil dari kebenarankebenaran
yang diketahui digunakan pola argumentasi, yaitu dengan melakukan
proses penarikan kesimpulan atau konklusi dari beberapa pernyataan yang diketahui
yang disebut premis dengan didasarkan atas prinsip-prinsip logika, yaitu modus ponen
(inferensi), modus tollens dan silogisme.
Kesimpulan atau konklusi dikatakan berlaku atau sah, bila konjungsi dari premis-premis
berimplikasi konklusi. Sebaliknya, bila konjungsi dari premis-premis tidak berimplikasi
maka argumen dikatakan palsu atau tidak sah. Sehingga, suatu kesimpulan dikatakan
sah bila premis-premisnya benar maka konklusinya juga benar.