27 Mar syllogism

A logical formula with premises followed by a conclusion:
IF a AND b, THEN c.
Conjunctions (AND) or disjunctions (OR) can be used to express the necessity of each of the premises.

Keywords: logical form
reasoning
References: formalisms
fuzzy logic
knowledge representation
logic
philosophy