I have been asigned this problem in class.

Can you aid me in how should i start. I thought of puting it in terms of propositional logic, then proving it. The propositional logic equivalent I came up with

Is this correct?

Printable View

- April 2nd 2011, 05:35 AMgordo151091Proof or disproof the following
I have been asigned this problem in class.

Can you aid me in how should i start. I thought of puting it in terms of propositional logic, then proving it. The propositional logic equivalent I came up with

Is this correct? - April 2nd 2011, 06:04 AMPlato
- April 2nd 2011, 06:10 AMDrSteve
- April 3rd 2011, 12:56 PMgordo151091
Which reason o inference rule do i use here, i know that if and and then , but i dont know the reason that allows me to do this.

- April 3rd 2011, 01:03 PMPlato