Ask your own question, for FREE!
Geometry 10 Online
OpenStudy (anonymous):

if p is true and ~ q is false, then p -> ~ q is false Always never sometimes

OpenStudy (perl):

i will make a truth table for you

OpenStudy (perl):

$$\Huge{ \begin{array}{|l|c|r|c|l|} \hline p&q&\neg q &p\to \neg q \\ \hline T & T & F & F \\ \hline T& F & T& T \\ \hline F& T & F& T \\ \hline F& F & T& T \\ \hline \end{array} } $$

OpenStudy (perl):

you can see in the right most column

OpenStudy (anonymous):

so the negation of q is already negative right? would it be always right? the q was just confusing me, i was wondering if i should follow the question about p being false or change it since it has ~ next to it .

OpenStudy (alyssa_xo):

what does that mean? there are 2 values. true and false, on and off ~T=F ~F=T

OpenStudy (perl):

$$ \Huge{ \begin{array}{|l|c|r|c|l|} \hline p&q&\neg q &p\to \neg q \\ \hline T & T & F & \color{red}F \\ \hline T& F & T& \color{red}T \\ \hline F& T & F& \color{red}T \\ \hline F& F & T& \color{red}T \\ \hline \end{array} } $$

OpenStudy (perl):

we see that in the right column in red, \( \Large { p \to \neg q } \) is not always false.

OpenStudy (perl):

there are actually 4 cases to consider p = True , ~q = True p = True , ~q = False p = False , ~q = True p = False , ~q = False but the truth table makes finding it easier

OpenStudy (alyssa_xo):

I think the existence of t he q column was throwing them off. You only have to focus on the p and ~q columns. then recall that p->q is true for TT,FT,FF

OpenStudy (anonymous):

thanks guys i understand now ~

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!