Modus ponens

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.