edited by
500 views
5 votes
5 votes

The “implies” connective “$\rightarrow$” is one of the stranger connectives in propositional logic. Below are a series of statements regarding implications.

Which of the following statements is/are TRUE?

  1. For any propositions $P$ and $Q,$ the following is always true: $(P \rightarrow Q) \vee (Q \rightarrow P).$
  2. For any propositions $P, Q$ and $R$, the following statement is always true: $(P\rightarrow Q) \vee (Q \rightarrow R).$
  3. For any propositions $P, Q$ and $R$, the following statement is always true: $(P\rightarrow Q) \vee (\neg P \rightarrow R).$
  4. For any propositions $P, Q$ and $R,$ the following statement is always true: $(P \rightarrow Q) \vee (R \rightarrow Q)$.
edited by

2 Answers

4 votes
4 votes

Detailed Video Solution: https://youtu.be/WjixNxzbkAQ  

A. For any propositions $\text{P}$ and $\text{Q},$ the following is always true: $(\text{P} \rightarrow \text{Q}) \vee (\text{Q} \rightarrow \text{P}).$

$\textbf{Proof}:$
Here's one way to see this. If $\text{Q}$ is true, then $\text{P} \rightarrow \text{Q}$ is true because anything implies a true statement. If $\text{Q}$ is false, then $\text{Q} \rightarrow \text{P}$ is true because false implies anything. (If this is confusing, you should review the truth table for $\rightarrow )$

B. For any propositions $\text{P}, \text{Q},$ and $\text{R},$ the following statement is always true: $(\text{P} \rightarrow \text{Q}) \vee (\text{Q} \rightarrow \text{R}).$

$\textbf{Proof}:$
This is basically the same argument as before. If $\text{Q}$ is true, then $\text{P} \rightarrow \text{Q}$
is true because anything implies a true statement. If $\text{Q}$ is false, then $\text{Q} \rightarrow \text{R}$ is true because false implies anything.

Of all the connectives we've seen, the $\rightarrow$ connective is probably the trickiest. We asked this question to force you to disentangle notions of correlation or causality from the behavior of the $\rightarrow$ connective.

edited by
1 votes
1 votes

Another way is to simplify them first :

(P→Q) ∨ (Q→P)     =     P' ∨ Q ∨ Q' ∨ P = Tautology

(P→Q) ∨ (Q→R)     =     P' ∨ Q ∨ Q' ∨ R = Tautology

 

(P→Q) ∨ (¬P→R)    =    P' ∨ Q ∨ P ∨ R = Tautology

(P→Q) ∨ (R→Q)      =    P' ∨ Q ∨ R' ∨ Q   =   P' ∨ Q ∨ R'   =   Not Tautology

edited by
Answer:

Related questions

1.2k
views
2 answers
8 votes
GO Classes asked Apr 5, 2023
1,153 views
Let $F$ and $G$ be two propositional formula.Which of the following is/are True?$F \vee G$ ... $F$ is a contradiction.
638
views
2 answers
8 votes
GO Classes asked Apr 5, 2023
638 views
Which of the following logical arguments is/are valid?$\begin{aligned} & P \rightarrow(Q \rightarrow R) \\ & \neg R \\ \therefore & \neg P \\ & \end{aligned}$\begin{ ...
701
views
2 answers
12 votes
GO Classes asked Apr 5, 2023
701 views
The Logic Problem, taken from $\text{"WFF'N PROOF, The Game of Logic"}$ has these two assumptions:"Logic is difficult or not many students like logic.""If ... easy or logic is difficult.""Logic is not difficult or mathematics is not easy."
1.9k
views
6 answers
22 votes
GO Classes asked Apr 5, 2023
1,949 views
Which of the following statements is/are true?The argument form with premises $p_1, p_2, \ldots, p_n$ and conclusion $q \rightarrow r$ is valid iff the argument form with ... $\sim q$ is valid.