Hello,

I have to solve this logic proof. I don't even know where to begin. It is supposed to resolve to true or false. Can anyone help?

Thank you for any help,

DHS1

Printable View

- Mar 21st 2011, 02:38 PMDHS1Logic proofs
Hello,

I have to solve this logic proof. I don't even know where to begin. It is supposed to resolve to true or false. Can anyone help?

Thank you for any help,

DHS1 - Mar 21st 2011, 04:18 PMdwsmith
- Mar 21st 2011, 04:45 PMDHS1
I am trying to prove this:

But since the equivalence operator is associative, there are two possible

interpretations of formula:

and

So I have to try to prove both of them. I only asked for help on one of them because I didn't want the thread to seem overwhelming and get skipped over.

It is given that the operator precedence in this formula is:

I'm sorry but I don't really understand the logic in your last post. Does this information help? - Mar 21st 2011, 05:39 PMDHS1
Never mind I solved it with the help of a friend. You can just delete this if you want.