Friday, December 04, 2015

explosion sans disjunctive syllogism.

  (A • ~A) B    
  1.  A • ~A      assumption
  2.  A              (• out)
  3.  A v B        (v in)
  4.  ~A B    ( in)
  5.  ~A           (• out)
  6.   B             (MP)
7.  (A • ~A) B    (CP)

0 Comments:

Post a Comment

<< Home

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States License.