Matematika tidak
berbohong, jika konteksnya diperhitungkan.
Modus
menempatkan ponens (atau modus ponens, MP) adalah bentuk argumen yang valid dan
aturan inferensi dalam logika proposisional. Dalam MP itu adalah bagian dari
syarat (jika P, maka Q), P yang pertama atau yang terdahulu diberikan atau
ditegaskan, dan disimpulkan bahwa konsekuensinya atau Q adalah benar.
Pernyataannya adalah: "Jika P
menyiratkan Q, dan P benar, maka Q juga benar."
Jika P, maka Q. P. Oleh karena itu, Q. (Peneguhan anteseden)
Kesalahan
atau penalaran yang tidak valid:
Jika P, maka Q. Q.
Oleh karena itu, P. (Peneguhan akibatnya)
Pertimbangkan
situasi berikut. Juan, dalam perjalanan pulang, melewati sebuah toko alat
listrik yang menampilkan beberapa model TV layar datar. Berpikir tentang Piala
Dunia 2018 Rusia, dia berhenti sejenak untuk merenungkan gambar spektakuler
dengan model warna-warni. Penjual memperhatikan minatnya, mengatakan kepadanya
bahwa harganya $ 1.000 tapi jika dia membeli pada saat itu televisi hanya harus
membayar $. 750. Jadi, Juan akan menghemat $ 250.
Pertanyaan 1. Jika John membeli
televisi, apa argumen yang benar?
Pertama: Jika saya membayar $ 750
untuk televisi, maka saya selamatkan.
Saya membayar $ 750 per TV.
Lalu, saya menabung.
Kedua: Jika saya
membayar $ 750 untuk televisi, maka saya selamatkan,
Saya menabung
Lalu, saya membayar
hanya $ 750 untuk TV
Pertanyaan 2. Berapa Juan save?
(Detail: Juan tidak punya atau berniat membeli televisi, perjalanan melalui
toko itu kebetulan)