Material Conditional

''If'' a ''then'' c, where ''a'' and ''c'' are statement variables (to be replaced by any meaningful indicative sentence of the language). In a statement of this form, the first term, in this case ''a'', is called the '' Antecedent '' and the second term, in this case ''c'', is called the '' Consequent ''. The truth of the antecedent is a Sufficient Condition for the truth of the consequent, while the truth of the consequent is a Necessary Condition for the truth of the antecedent. The operator is symbolized using a right-arrow "→" (or sometimes a horseshoe "⊃"). "If A then B" is written like this: $A o B$
	{ Class	"wikitable"

	CATEGORIES ABOUT MATERIAL CONDITIONAL

	logic

	binary operations

Information About