Jump to content
Sign in to follow this  
frapbak

Propositional Logic - proof of an argument

Recommended Posts

I had to prove the following argument using 10 primitive inference rules (arrow in & out; ampersand in & out; dash in & out; wedge in &out; double arrow in & out; and 8 derived inference rules (Modus Tollens, Disjunctive Argument, Conjunctive Argument, Chain Argument, Double Negation, De Morgan's Law, Arrow, Contraposition).

 

This is what I've come up with, would be grateful if someone could check it:

 

post-114694-0-83854900-1447547387_thumb.jpg

 

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this  

×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.