OpenStudy (dmills):

(p ↔ q) → p - how to construct a truth table? pls help; so confused!

5 years ago
OpenStudy (dumbcow):

do it in steps starting with just p and q. p can only be True or False, same with q p<->q is biconditional which means p will be same as q and vice versa Let m = p<->q m -> p means m implies p so if m is true, then p is true Now put it together in a table p q p<->q m->p ----------------------- F F T F F T F F T F F F T T T T

5 years ago
OpenStudy (dmills):

OMG thank you so much. I have been working on this one problem for literally hours!! I truly apreciate your help!

5 years ago
OpenStudy (zarkon):

F->T is true F->F is true

5 years ago
OpenStudy (dumbcow):

hmm i may have messed up thanks zarkon yeah the only time an implication is F is if you have T->F

5 years ago
OpenStudy (dmills):

Zarkon, thanks for your respose as well. Is this the same answer as the original response by dumbcow but written a different way?

5 years ago
OpenStudy (dmills):

LOL OKay, don't confused me... so, I can write the answer exactly like you have it Zarkon?

5 years ago
OpenStudy (dumbcow):

yeah just change the last column to F T T T

5 years ago
OpenStudy (dmills):

Thank y'all so much!!!!

5 years ago