Modus
Ponens
un
seel
.com · if P then Q · classical logic · valid inference
P
—
Q
—
state
—
premise P (antecedent)
conditional P→Q
conclusion Q (consequent)
▶ Play
←
→
🔇 Unmute
Reset
Un
seel
.com · Modus Ponens