September 17, 2009
No CommentsSymbols and Translation: Conditional Implication
Description
A detailed tutorial on how to translate and symbolize conditional implication. Step by step tutorial including several examples of how to solve problems with conditional implication for reference.
OverviewThere are two types of implication, conditional and biconditional. This section focuses on conditional. Conditional implication is when a statement implies another statement by using the terms “only if”, “on the condition that”, and “implies”. There are two parts to an implication statement, the antecedent and the consequent. The antecedent implies the consequent. Implication is represented by a symbol that looks like =>. When the antecendent is true, and the consequent is false, then the statement is false. For all other conditions the statement is true.
