Modus ponens: Perbedaan antara revisi

Dalam kasus ''modus ponens'' kita asumsikan sebagai premis bahwa ''p'' → ''q'' benar dan ''p'' benar. Hanya satu baris dari tabel kebenaran—pertama— yang memenuhi dua kondisi (''p'' dan ''p'' → ''q''). Pada baris ini, ''q'' juga benar. Oleh karena itu, setiap kali ''p'' → ''q'' benar dan ''p'' benar, ''q'' juga harus benar.