Jump to content

frapbak

New Members
  • Posts

    1
  • Joined

  • Last visited

Profile Information

  • Favorite Area of Science
    Chemistry

frapbak's Achievements

Lepton

Lepton (1/13)

0

Reputation

  1. 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:
×
×
  • 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.