This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: DeM, 3 5. ~G simp, 4 6. ~G • ~~G 5,2, Conj always start with invalidity 9.10 Section A exercises Try to demonstrate invalidity • If there’s one interpretation which demonstrates the arguments invalidity, then stop • If no such interpretation, then you have to demonstrate its validity by constructing a proof • • S T • (T S) U•T v (~T • ~U) (U v V) v (S v T) ~U (W•X) (V...
View Full Document
- Fall '07
- Logic, Conj, necessarily false Indirect