A statement that is always true under every possible assignment of truth values to its components is called a tautology. The disjunction βp or not pβ covers all possibilities: if p is true, the first part is true; if p is false, not p is true. Thus, in all cases the compound statement evaluates to true. This makes βp or not pβ a classic example of a tautology.
Option A:
Option A, βp and not p,β is instead a contradiction because it asserts that p is both true and false simultaneously. There is no assignment of truth values that can make both p and not p true together, so this statement is never true.
Option B:
Option B, βp or not p,β correctly spans all truth possibilities for p. Since one of p or not p must be true, their disjunction is always true, demonstrating tautological status.
Option C:
Option C, βp β not p,β is not always true. If p is true, the implication would require not p to be true as well, which is impossible, so the statement can be false.
Option D:
Option D, βnot p β p,β also fails to be always true; there are assignments where it becomes false, so it is not a tautology.
Comment Your Answer
Please login to comment your answer.
Sign In
Sign Up
Answers commented by others
No answers commented yet. Be the first to comment!