<s>[INST] Logic question - just to clear up meaning of 'implies' Okay so;
I have the following statement
$p \lor \neg q \Rightarrow q \lor \neg q$
I simplify the right hand side using the complement law to get
$p \lor \neg q \Rightarrow T $
I think that $\neg q \lor p$ is the same as saying $q \Rightarrow p$ ,
so does q imply p imply true?
Will this statement always be true? I think it does; and my thinking behind it is that since q implies p, then it will either output true or false? And since the other side of the implication is always true then either false of true implies true, correct?
 [/INST] *

*

so does q imply p imply true?

Note that this phrasing is potentially ambiguous, because the conditional $(\to)$ is not associative, that is, $$(A → B) → C \:\not\equiv\: A → (B → C).$$ \begin{array}{ccc|c@{}c@{}c@{}ccc@{}ccc@{}ccc@{}ccc@{}ccc@{}c@{}c@{}c}
a&b&c&(&(&(&a&\rightarrow&b&)&\rightarrow&c&)&\leftrightarrow&(&a&\rightarrow&(&b&\rightarrow&c&)&)&)\\\hline
1&1&1&&&&1&1&1&&1&1&&\mathbf{1}&&1&1&&1&1&1&&&\\
1&1&0&&&&1&1&1&&0&0&&\mathbf{1}&&1&0&&1&0&0&&&\\
1&0&1&&&&1&0&0&&1&1&&\mathbf{1}&&1&1&&0&1&1&&&\\
1&0&0&&&&1&0&0&&1&0&&\mathbf{1}&&1&1&&0&1&0&&&\\
0&1&1&&&&0&1&1&&1&1&&\mathbf{1}&&0&1&&1&1&1&&&\\
0&1&0&&&&0&1&1&&0&0&&\mathbf{0}&&0&1&&1&0&0&&&\\
0&0&1&&&&0&1&0&&1&1&&\mathbf{1}&&0&1&&0&1&1&&&\\
0&0&0&&&&0&1&0&&0&0&&\mathbf{0}&&0&1&&0&1&0&&&
\end{array}


*Notice that a conditional $X\to Y$ is true whenever its consequent $Y$ is true: \begin{array}{cc|c@{}ccc@{}c}
X&Y&(&X&\rightarrow&Y&)\\\hline
1&1&&1&\mathbf{1}&1&\\
1&0&&1&\mathbf{0}&0&\\
0&1&&0&\mathbf{1}&1&\\
0&0&&0&\mathbf{1}&0&
\end{array} Therefore, since the given proposition $$p \lor \neg q \;\to\; q \lor \neg q$$ has a tautological (always-true) consequent, it is immediately also a tautology, that is, always true. \begin{array}{cc|c@{}c@{}ccc@{}cc@{}c@{}ccc@{}ccc@{}cc@{}c@{}c@{}c}
p&q&(&(&p&\lor&(&\lnot&q&)&)&\rightarrow&(&q&\lor&(&\lnot&q&)&)&)\\\hline
1&1&&&1&1&&0&1&&&\mathbf{1}&&1&1&&0&1&&&\\
1&0&&&1&1&&1&0&&&\mathbf{1}&&0&1&&1&0&&&\\
0&1&&&0&0&&0&1&&&\mathbf{1}&&1&1&&0&1&&&\\
0&0&&&0&1&&1&0&&&\mathbf{1}&&0&1&&1&0&&&
\end{array}
</s>