Step-by-step explanation:
To show that a statement is a tautology using truth table - is to show that all the entries in the expression are truths T.
We can do this by taking each statement, expression by expression. For example, to show that
[~p ∧ (p ∨ q)] → q
is a tautology, knowing we have 3 columns, we have 2^3 = 8 rows. We start by putting putting truth values for p, q, and r respectively
Next, we find ~p, then find (p ∨ q), then find ~p ∧ (p ∨ q), before finally arriving at the required [~p ∧ (p ∨ q)] → q
TERMINOLOGIES AND SYMBOLS
- T means Truth
- F means False
- ~p means negation of p.
~p is F if p is T, and vice versa
- ∧ means conjunction.
p ∧ q is T only if p is T and q is T.
- ∨ means disjunction.
p ∨ q is T if either p or q is T.
- → is for conditional 'if then'
p → q is T if both p and q are T, or both p and q are F, or p is F and q is T, otherwise, it is F.
THE STEP BY STEP WORKINGS FOR THE STATEMENTS GIVEN ARE IN THE ATTACHMENT.
In this exercise we have to use the tautology knowledge so we can say that the corresponding alternative is:
Letter A
Within the knowledge of tautology there are terms and pronouns that need to be remembered:
So identifying the answer from the terms remembered above, like this:
[¬p ∧ (p ∨ q)] → q
See more about tautology at brainly.com/question/4173398
