The argument form, concluding B from A=>B and A.
It is the most straightforward logical manipulation rule.
- All men are mortal. Socrates is a man. Therefore Socrates is mortal.
- All feminists are unreasonable. She is a feminist. Therefore she is unreasonable.
- All birds are black. That is a bird. Therefore is black.
Note that just because it derived this way doesn't make it true.
Both the conditional claim (A=>B), and the antecedent (A) must be true for the
consequent (B) to be concluded.