Question

Need help writing a truth table.

Answer 1

The problem.

Answer 2

For a I would set up a truth table as follows:
((p -> q) ^ (q -> r)) -> (p -> r)
Which can be read as:
((ip implies q) and (q implies r)) implies (p implies r)

Answer 3

what does the ^ mean?

Answer 4

it's the symbol for and

Answer 5

ah ok

Answer 6

For the other questions you take the same approach, put what is given on the left, and show that it implies the other part

Answer 7

So for the p iff q

That means it is true only if both p and q are false or p and q are true, right?

Answer 8

Yes it does :)

Answer 9

For the row with F in the last column, note that for the q -> r, q is true and r is false, so q -> r is false

Answer 10

If you change that and redo that row it should come out as true :)

Answer 11

Ah, yeah I made a big mistake. Reworking it.

Answer 12

I have to go now though, so if you still need help with the other ones, I'm pretty sure there are enough people here that can help you out (just bump the question).

Answer 13

OK, thanks so much for the help! I think I understand the concept now :)

Answer 14

And about that mistake, everybody misreads a column sometimes, you've got all the others correct :)

Answer 15

I'll keep working on it. Now I got it coming out false in another place :O

Answer 16

Just do it row by row with the tables for -> and ^ next to it, and it should work out fine :)

Answer 17

Got it! :D I was reading a ^ as a --> lol