Unformatted text preview: (1) p âˆ¨ ( p âˆ§ q ) and p , (2) p âˆ§ ( p âˆ¨ q ) and p . 4. Use the standard logical equivalence given in the lecture, rather than truthtables, to demonstrate that ( p â†’ q ) âˆ§ ( p â†’ Â¬ q ) is logically equivalent to Â¬ p . 5. Use the standard logical equivalence given in the lecture, rather than truthtables, to demonstrate that ( p â†’ ( q â†’ r )) â†’ (( p â†’ q ) â†’ ( p â†’ r )) is a tautology....
View
Full Document
 Spring '10
 DrChanSongHeng
 Logic, Nanyang Technological University, following compound propositions, FOUNDATION OF MATHEMATICS

Click to edit the document details