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
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
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.
Now you should that we have no way in the world to know what inference rules you are using much less what they might be called.
Prove that .
Then there is nothing more to prove to have then .