Modus ponens

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.