Question

Construct a truth table for p → (~q ^ p)

Answer 1

Should be able to do it yourself by now:-)

http://www.wolframalpha.com/input/?i=p+implies+%28not+q+and+p%29

Answer 2

You would think so wouldn't you?? I am so lost! Thanks for your help.

Answer 3

start with p and q. there are 2^2 possiblities for this. p has the column of T,T,F,F q has the column of T,F,T,F. then you ahve the ~q column which has the opposite entries of q. Then you have the not ~q ^ p column. Then you will put it all together.
I have a video on this on my website at http://www.tutorsean.net under the CS tab if you want to see it in action.
I will try to do it here though.
|p|q|~q|p^~q|p->p^~q|
|T|T|F | F | F |
|T|F|T | T | T |
|F|T|F| F | T |
|F|F|T| F | T |

The last two entries for p->p^~q are true because if the initial condition p-> is false, we cannot say anything about the right hand side.
If this helps, leave a medal.
Please visit my site for a video on this topic at: http://www.tutorsean.net

Answer 4

You are too smart!

Answer 5

Thanks. But I had a hell of a time with this concept in my classes when I took them about a year ago. It comes only with large amounts of practice. If it helped, please leave a Good Answer, as it helps build my rep for the other students when they need help. Glad I was able to help you out, and if you can think of a video you would like to see, please let me know by replying via my site, and I will make sure it gets up there quickly.
http://www.tutorsean.net

Answer 6

I will be very happy to leave a good response for you.

Answer 7

If you get more problems like this, do not hesitate to email me at seanwalsh1984@gmail.com
I love helping with this topic, and unfortunately, it is a path less traveled.
Sean

Answer 8

Thanks!

Answer 9

This topic is more or less compulsory for computer and math logic bods, not so much for math people.

Answer 10

Exactly. I personally wish that more people took this course, as it is SO useful for creating valid arguments.