Pengertian
Modus Ponens adalah penarikan kesimpulan yang menyatakn bahwa jika pernyataan 1 berimplikasi dengan pernyataan kedua dan nilai kedua pernyataan tersebut adalah benar, kemudian kesimpulan yang akan didapatkan adalah pernyataan kedua. Modus Tollens adalah penarikan kesimpulan yang menyatakan bahwa jika pernyataan pertama berimplikasi dengan pernyataan kedua dan negasi dari pernyataan kedua bernilai benar, maka akan diperoleh kesimpulan pernyataan negasi pertama. Silogisme adalah penarikan kesimpulan yang menyatakan bahwa jika pernyataan pertam berimplikasi dengan pernyataan kedua, dan pernyataan kedua berimplikasi dengan pernytaan ketiga, makan kesimpulan yang akan didapat adalah pernyataan negasi pertama.
Rumus
- Modus Ponens
- Modus Tollens
- Silogisme
Contoh
Premis 1 : Jika hari ini langit cerah maka hari ini tidak akan hujan.
Premis 2 : Hari ini langit cerah.
Kesimpulan : Hari ini tidak akan hujan