CIS 1166 Lecture Notes - Lecture 5: Existential Quantification, Universal Quantification

• School: Temple University
• Department: Computer & Information Science
• Course: CIS 1166
• Professor: Anthony Hughes

Document Summary

Complete all of the homework this week for full credit. Starting next week, a maximum of 6 points. *referred to as e* (for all, for every) (there exists, for some) Quiz on 1. 4 and then another on 1. 5. This is x and y are in the domain of all real numbers. Ax ( ey ( x + y = 0 ) ) Ax ay (( x > 0) and (y < 0) implies (xy < 0)) For every pair of x and y real numbers. The sum of two integers is always positive. For every pair x and y of positive integers, their sum x+y is always positive. Ax ay ((x > 0) and (y > 0) implies x+y > 0; x,y are in the domain of all real numbers. Domain for both x and y: students in your school. Ax ( c(x) and ey ( c(y) and f(x,y)) There is a student y in your school.