Changes

Jump to navigation Jump to search
697 bytes added ,  23:10, September 24, 2018
Line 9: Line 9:  
:'''P4:''' A v B (2, addition)
 
:'''P4:''' A v B (2, addition)
 
:'''C:''' B, (3, 4 disjunctive syllogism)
 
:'''C:''' B, (3, 4 disjunctive syllogism)
 +
 +
In plain English, this means that we have proposition one (P1) as "A and not A". We can split these two variables apart because they're conjoined with the conjunctive "and", resulting in two new propositions that have the same strength and truth value as the old proposition "A and not A". These new propositions are (P2) "A" and (P3) "not A". We can add any proposition we like to the proposition "A", because by adding a proposition in a disjunctive, we're making our new proposition ''weaker'' than before. So P2 becomes P4 with addition, which now reads "Either A or B". Now that we have a disjunctive statement and a proposition (P3) that negates one of the alternates, we can prove that B.
    
[[Category:Logic]]
 
[[Category:Logic]]
 
[[Category:Obama Criticism]]
 
[[Category:Obama Criticism]]
24

edits

Navigation menu