Answer:
The statement [tex]\lnot P \land P \rightarrow Q \rightarrow\lnot Q\lor Q[/tex] is a tautology.
Step-by-step explanation:
We have the following statement [tex]\lnot P \land P \rightarrow Q \rightarrow\lnot Q\lor Q[/tex]
A truth table shows how the truth or falsity of a compound statement depends on the truth or falsity of the simple statements from which it's constructed.
The simple statements from the statement given are:
[tex]\lnot P[/tex], [tex]\lnot Q[/tex], [tex]\lnot P \land P[/tex], [tex]\lnot P \land P \rightarrow Q[/tex], and [tex]\lnot Q \lor Q[/tex] with these you can construct the following truth table.
A tautology is a formula that is always true, it is true for every assignment of truth values to its simple components.
The last column contains only true values. Therefore, the statement is a tautology.
