Conditional (or Implication) :
The conditional connective => (read as ONLY IF) can be defined by the following truth table.
Note that the compound statement p=>q is true always except the case when p is true and q is false.
Note: A true statement can't imply a false statement.
Example: State the truth values of the following implications.
(i) If 4 * 5=20 then 4+5=9 is of truth value T.
Because p: 4*5=20, q: 4+5=9 are true statements.
No comments:
Post a Comment