Syllogisms {conditional syllogism} {hypothetical syllogism} can use IF ... THEN .... Conditional syllogism has the following forms. If A then B is true, A is true, so B is true. If A then B is true, not B is true, so not A is true. Unless A then B is true, not A is true, so B is true. If not A then B is true, not A is true, so B is true. If first statement implies second and second implies third, first implies third: if (p -> q) & (q -> r), then (p -> r).
Mathematical Sciences>Logic>Syllogism
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224