# Find what $p \to \sim q$ can also be written as:

A. $p \to q$

B. $\left( { \sim p} \right) \vee \left( { \sim q} \right)$

C. $q \to q$

D. $ \sim q \to \sim p$

Answer

Verified

363k+ views

Hint- Here, we will be using the theorem of propositional logic because of the given statement.

According to the theorem of propositional logic, $p$ implies $q$ is equivalent to not $p$ or q

i.e., $p \to q \equiv \left( { \sim p} \right) \vee q$

Now let us replace $q$ by not $q$ ($ \sim q$) then the above compound statement becomes

$p \to \sim q \equiv \left( { \sim p} \right) \vee \left( { \sim q} \right)$

From the above compound statement, we can say that $p$ implies not $q$ ($ \sim q$) is equivalent to not $p$ ($ \sim p$) or not $q$ ($ \sim q$).

Therefore, option B is correct.

Note- In these types of problems, the given statement is observed and an appropriate theorem is used which will give a compound statement where the given statement is equivalent to another statement.

According to the theorem of propositional logic, $p$ implies $q$ is equivalent to not $p$ or q

i.e., $p \to q \equiv \left( { \sim p} \right) \vee q$

Now let us replace $q$ by not $q$ ($ \sim q$) then the above compound statement becomes

$p \to \sim q \equiv \left( { \sim p} \right) \vee \left( { \sim q} \right)$

From the above compound statement, we can say that $p$ implies not $q$ ($ \sim q$) is equivalent to not $p$ ($ \sim p$) or not $q$ ($ \sim q$).

Therefore, option B is correct.

Note- In these types of problems, the given statement is observed and an appropriate theorem is used which will give a compound statement where the given statement is equivalent to another statement.

Last updated date: 20th Sep 2023

â€¢

Total views: 363k

â€¢

Views today: 9.63k

Recently Updated Pages

What is the Full Form of DNA and RNA

What are the Difference Between Acute and Chronic Disease

Difference Between Communicable and Non-Communicable

What is Nutrition Explain Diff Type of Nutrition ?

What is the Function of Digestive Enzymes

What is the Full Form of 1.DPT 2.DDT 3.BCG