Regelwerk für konditionale Schlüsse

konditionales Schlussschema besteht aus 3 Sätzen: Prämisse 1, Prämisse 2 und Konklusion

Modus Ponens: Wenn P, dann Q. Gegeben P. Konklusion: Q. (positive Konklusion)

Modus Tollens: Wenn P, dann Q. Gegeben: nicht Q. Konklusion: Nicht P. (negative Konklusion)

formal nicht zulässig:Wenn P, dann Q. gegeben: nicht P. Konklusion: nicht Q.