You are viewing a single comment's thread.

view the rest of the comments →

0
0

[–] JesusOfNazareth61 ago 

You dun getted dat right.

The important thing to remember is that there is a main connective. That means you can only ever have a left-hand side and a right-hand side with an operator in the middle, like P operator Q.

In the case of ((A^B)->C) the main connective is ->.

You can think of it as P = (A^B). And C=Q, if that helps you.

You have P->Q or P->C, whichever you prefer.

The point is if the right-hand side were something long and complicated like ((DvE)^F) you could replace it with Q.

How do you find the truth value of P or Q? You know how to keep splitting long expressions into short ones, and then you know how to find the truth value of the short ones, so you know the truth value of the long ones.

0
0

[–] eagleshigh [S] ago 

Unknown conditionals

Having some trouble on thiis. If it's (P > U) with P=? and U=1, how do I find the value? Care to walk me through it?

0
0

[–] JesusOfNazareth61 ago 

When U is true, P->U is always true. What are the possibilities for P? When P=0, P->U is true. When P=1, P->U is true.