Coba jelasin Penjelasan dari Modus ponens dong

Argumen memiliki dua premis (hipotesis). Premis pertama adalah "jika–maka", yaitu bahwa P maka Q. Premis kedua adalah bahwa P, benar. Dari kedua premis dapat secara logis disimpulkan bahwa Q, juga benar.

Contoh argumen yang sesuai dengan bentuk modus ponens:

Jika hari ini adalah hari selasa, maka John akan pergi bekerja.

Hari ini adalah hari selasa.

Oleh karena itu, John akan pergi bekerja.

Ini adalah argumen yang valid, tetapi ini tidak memiliki hubungan apakah salah satu pernyataan dalam argumen adalah benar; agar modus ponens untuk menjadi argumen lengkap, premis harus benar untuk setiap benar contoh kesimpulan. Sebuah argumen dapat berlaku tapi tetap saja tidak lengkap jika salah satu atau lebih premis salah; jika argumen valid dan semua premis benar, maka argumen lengkap. Misalnya, John mungkin akan bekerja pada hari rabu. Dalam hal ini, alasan untuk John akan bekerja (karena itu adalah hari rabu) adalah tidak lengkap. Argumen ini tidak hanya slogis pada hari selasa (ketika John pergi untuk bekerja), tetapi berlaku pada setiap hari. Sebuah argumen propositional menggunakan modus ponens dikatakan deduktif.