Knowee
Questions
Features
Study Tools

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) (๐‘ โˆง ๐‘ž) โ†’ (๐‘ โ†’ ๐‘ž)

๐Ÿง Not the exact question you are looking for?Go ask a question

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.

This problem has been solved

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))

1/3

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.