Subjects logic

Logical Implication

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Logical Implication


1. **State the problem:** We want to show that the statement $\sim r \to s$ logically follows from the premises $p \to r$, $\sim p \to q$, and $q \to s$. 2. **Analyze the premises:** - Premise 1: $p \to r$ means if $p$ is true, then $r$ is true. - Premise 2: $\sim p \to q$ means if $p$ is false, then $q$ is true. - Premise 3: $q \to s$ means if $q$ is true, then $s$ is true. 3. **Goal:** Show $\sim r \to s$, i.e., if $r$ is false, then $s$ is true. 4. **Proof by cases:** Consider the truth value of $p$. - Case 1: Suppose $p$ is true. - From $p \to r$, since $p$ is true, $r$ must be true. - But this contradicts the assumption $\sim r$ (i.e., $r$ is false). - So this case cannot happen if $\sim r$ is true. - Case 2: Suppose $p$ is false. - From $\sim p \to q$, since $p$ is false, $q$ is true. - From $q \to s$, since $q$ is true, $s$ is true. 5. **Conclusion:** If $\sim r$ is true, then $p$ cannot be true (from case 1), so $p$ is false. From case 2, if $p$ is false, then $s$ is true. Therefore, $\sim r \to s$ logically follows from the premises. **Final answer:** $\boxed{\sim r \to s}$