This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 5 over [ 2200 x p ( x )] [ 5 x q ( x )].by generalized DeMorgans law [ 2200 x p ( x )] [ 5 x q ( x )]. by equivalence p q p q Example : Let p ( x ) : student x comes to the lecture today q ( x ) : student x comes to the recitation today Then 5 x [ p ( x ) q ( x )] means, that there exists a student that if he comes to the lecture today, then he goes to the recitation today. The equivalent proposition [ 2200 x p ( x )] [ 5 x q ( x )] reads: if all students come to the lecture today, then there will be at least one student at the recitation today (because we do not know whether or not any other student x follows the rule p ( x ) q ( x ))....
View Full Document
This document was uploaded on 07/14/2011.
- Spring '09