Show that each of these conditional statements is a tautology using logical equivalences.a) (๐ โง ๐) โ ๐b) ยฌ๐ โ (๐ โ ๐)c) (๐ โง ๐) โ (๐ โ ๐)
Question
Show that each of these conditional statements is a tautology using logical equivalences.a) (๐ โง ๐) โ ๐b) ยฌ๐ โ (๐ โ ๐)c) (๐ โง ๐) โ (๐ โ ๐)
Solution
Sure, let's go through each of these conditional statements one by one:
a) (๐ โง ๐) โ ๐
This statement can be rewritten using the logical equivalence of the conditional statement, which is ยฌ๐ โจ ๐. So, (๐ โง ๐) โ ๐ becomes ยฌ(๐ โง ๐) โจ ๐.
Using De Morgan's law, ยฌ(๐ โง ๐) can be rewritten as ยฌ๐ โจ ยฌ๐. So, ยฌ(๐ โง ๐) โจ ๐ becomes (ยฌ๐ โจ ยฌ๐) โจ ๐.
Using the associative law, we can rearrange this to ยฌ๐ โจ (ยฌ๐ โจ ๐).
Finally, using the law of disjunction (which states that ๐ โจ ยฌ๐ is always true), we can see that (ยฌ๐ โจ ๐) is always true, and therefore the entire statement is a tautology.
b) ยฌ๐ โ (๐ โ ๐)
This statement can be rewritten using the logical equivalence of the conditional statement, which is ยฌ๐ โจ (๐ โ ๐).
The inner conditional statement (๐ โ ๐) can also be rewritten using the logical equivalence of the conditional statement, which gives us ยฌ๐ โจ (ยฌ๐ โจ ๐).
Using the associative law, we can rearrange this to (ยฌ๐ โจ ยฌ๐) โจ ๐.
Finally, using the law of idempotency (which states that ๐ โจ ๐ is equivalent to ๐), we can simplify this to ยฌ๐ โจ ๐.
Since ยฌ๐ โจ ๐ is always true (because either ๐ is false, or ๐ is true and ๐ is true), the entire statement is a tautology.
c) (๐ โง ๐) โ (๐ โ ๐)
This statement can be rewritten using the logical equivalence of the conditional statement, which is ยฌ(๐ โง ๐) โจ (๐ โ ๐).
Using De Morgan's law, ยฌ(๐ โง ๐) can be rewritten as ยฌ๐ โจ ยฌ๐. So, ยฌ(๐ โง ๐) โจ (๐ โ ๐) becomes (ยฌ๐ โจ ยฌ๐) โจ (๐ โ ๐).
The inner conditional statement (๐ โ ๐) can also be rewritten using the logical equivalence of the conditional statement, which gives us (ยฌ๐ โจ ยฌ๐) โจ (ยฌ๐ โจ ๐).
Using the associative law, we can rearrange this to ยฌ๐ โจ (ยฌ๐ โจ (ยฌ๐ โจ ๐)).
Finally, using the law of disjunction (which states that ๐ โจ ยฌ๐ is always true), we can see that (ยฌ๐ โจ (ยฌ๐ โจ ๐)) is always true, and therefore the entire statement is a tautology.
Similar Questions
Show that ยฌ(๐ โจ (ยฌ๐ โง ๐)) and ยฌ๐ โง ยฌ๐ are logically equivalent by:a) Using a truth table (3 POINTS)b) Using logical equivalences
Show that (๐ โ ๐) โจ (๐ โ ๐) and ๐ โ (๐ โจ ๐) are logically equivalent
Prove the logical equivalence ๏ฟข ๐ โ ๏ฟข ๐ โก ๐ โ ๐ using equivalencelaws.
Which of the following propositions is a tautology0/1p โง ยฌ๐p โจ ๐ย (p โง ยฌ๐) โจ (p โจ ยฌ๐)(p โจ ยฌ๐) โ (p โง ยฌ๐)
State whether each of the following propositions is a tautology or a contradiction or contingent (i.e. neither).You must give a (brief) reason to justify each of your answers.(a) P(b) (P โง Q) โ (P โ Q)(c) ยฌ(P โ Q) โ (ยฌQ)(d) (ยฌQ โง (P โ Q)) โ ยฌP(e) ((P โ Q) โง (Q โ R)) โ (P โ R)(f) (R โจ P ) โ (P โจ (Q โจ R))
Upgrade your grade with Knowee
Get personalized homework help. Review tough concepts in more detail, or go deeper into your topic by exploring other relevant questions.