Modus Ponendo Ponens

Example: You are given two premises.
The first premise is a conditional:
If figure (a) is a polygon on a plane surface, then figure (a) must have at least three angles.
The second premise is an atomic sentence:
Figure (a) is a polygon on a plane surface.
The conclusion by modus ponendo ponens is an atomic sentence:
Figure (a) must have at least three angles.



Example:Symbolic statements:
P: Figure (a) is a polygon on a plane surface.
Q: Figure (a) must have at least three angles.

Premise 1. P -> Q
Premise 2. P
Conclusion. Q

Converted by Mathematica      October 4, 2001