PENGANTAR
Dalam membuktikan suatu dalil atau menurunkan Premis adalah suatu pernyataan
suatu hasil dari kebenaran-kebenaran yang diketahui yang bernilai benar, dianggap
benar atau disepakati
digunakan pola argumentasi, yaitu dengan melakukan kebenarannya.
proses penarikan kesimpulan atau konklusi dari Premis dapat berupa: aksioma,
hipotesis, definisi, dalil/teorema
beberapa pernyataan yang diketahui yang disebut atau pernyataan yang sudah
premis dengan didasarkan atas prinsip-prinsip logika, dibuktikan sebelumnya.
yaitu modus ponens, modus tollens dan silogisme. Argumen adalah kumpulan dari
satu atau beberapa premis
beserta kesimpulan/konklusinya
Kesimpulan atau konklusi dikatakan berlaku atau sah, yang diambil secara sahih/valid.
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.