Some compound statements contain only T in the last column of their truth tables. Such statements are called tautologies.
A compound statement which contains only F in the last column of its truth table is called contradiction.
Two compound statements are said to be logically equivalent if their truth tables are identical. We denote the logical equivalence of two compound statement P and Q by P=Q.
Example1:
The statement "p or not p" i.e., p v (~p)is a tautology.
This can be seen by the truth table.
Example2:
The Statement "p and notp" i.e., p^(~p) is a contradiction
No comments:
Post a Comment