SOLUTION: Construct a truth table for (~q^p) -> ~q Can you please assist me wit this, i don't even know where to start.

Algebra.Com
Question 185647This question is from textbook A Survey of Mathematics with Application
: Construct a truth table for (~q^p) -> ~q

Can you please assist me wit this, i don't even know where to start.
This question is from textbook A Survey of Mathematics with Application

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
Note: the symbol '^' means "and", the '~' means "not" and '->' means "implies"

Remember, a ^ b is ONLY true if BOTH a and b are true (otherwise it is false)

For ~a, simply negate any true statements to get a false (and vice versa)

Finally, keep in mind that a -> b (a implies b) is only false if "a" is true but "b" is false.

Here's the basic outline of the table, let me know if you need me to go in depth for any column


p   |   q   |   ~q   |   ~q ^ p   |  (~q ^ p) ->  ~q
----------------------------------------------------
T   |   T   |   F    |      F     |        T
T   |   F   |   T    |      T     |        T
F   |   T   |   F    |      F     |        T
F   |   F   |   T    |      F     |        T



RELATED QUESTIONS

Hello, i have posted this problem several times, and i cant seem to get help. can you... (answered by MathLover1)
I am lost on truth tables, can you please help? Construct a truth table for ~q... (answered by jim_thompson5910)
will you show me how to construct a truth table for (p^q)<-->~p thanks... (answered by stanbon)
Construct a truth table for not(p and q) can you explain... (answered by Fombitz)
Could someone please help me with this truth table? Iam really struggling with this in... (answered by jim_thompson5910)
Hello, Can someone please help me solve this problem, I tried and I still can not... (answered by richwmiller)
Construct a truth table for ~q ^ p (answered by jim_thompson5910)
Construct a truth table for... (answered by solver91311)
construct a truth table for ~q ^ ~... (answered by Theo,solver91311)