This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: order to make the picture ﬁt on the page. You should not abbreviate yours, or GG will complain.) Since there is a row (the ﬁrst) where the ﬁrst two sentences are both true and the third is false, it shows that the third is not a tautological consequence of the ﬁrst two. Section 4.4 (page 116) 3 4.26 The complete proofs of Taut Con 1 and Taut Con 2 are shown below. Section 4.5 (page 120) 4.31 2. ¬ Cube ( a ) ∨ ¬ Larger ( b , a ) 4. ¬ Cube ( a ) ∧ Larger ( b , a ) 6. Cube ( a ) ∧ Larger ( b , a ) ∧ a = b 8. ¬ Tet ( b ) ∧ ( ¬ Large ( c ) ∨ Smaller ( d , e )) 10. Dodec ( f ) ∨ ( ¬ Tet ( b ) ∧ Tet ( f ) ∧ Dodec ( f )) (This sentence is logically equivalent to Dodec ( f ), so that would be a good answer, too.) 4 4.33 ( A ∧ B ) ∧ A ⇔ A ∧ ( B ∧ A ) Associativity of ∧ ⇔ A ∧ ( A ∧ B ) Commutivity of ∧ ⇔ ( A ∧ A ) ∧ B Associativity of ∧ ⇔ A ∧ B Idempotence of ∧ 5...
View
Full
Document
This note was uploaded on 03/25/2009 for the course LOGIC 20034 taught by Professor Dhoe during the Spring '09 term at Hanover.
 Spring '09
 dhoe
 Logic

Click to edit the document details