Unformatted text preview: ((A→B)v~C)v((D↔~(Q^P)v((F↔G^H0v(Ev~E)))) Γ= {P^Q}, S = P P^Q / P P^Q / Q Γ = {P,Q}, S = P^Q P Q Q P __ __ P^Q P^Q Γ={P} S=PvQ P Q __ __ v Intro PvQ PvQ...
View
Full Document
 Spring '08
 Dean
 Logic, Reality, Alfred Tarski, consequence Tautological consequence

Click to edit the document details