NestedQuant - Nested Quantifiers: Table 1 on Page 53...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Nested Quantifiers: Table 1 on Page 53 Statement When True? When False? ∃x∀yP (x, y ) There is an x for which For every x, there is a y P (x, y ) is true for every y . for which P (x, y ) is false. ∀x∃yP (x, y ) For every x, there is a y for which P (x, y ) is true. There is an x such that P (x, y ) is false for every y . ∀x∀yP (x, y ) P (x, y ) is true ∀y ∀xP (x, y ) for every pair x, y There is a pair x, y for which P (x, y ) is false. ∃x∃yP (x, y ) There is a pair x, y ∃y ∃xP (x, y ) for which P (x, y ) is true. P (x, y ) is false for every pair x, y . ...
View Full Document

This note was uploaded on 04/06/2010 for the course LAPS MATH 1190 taught by Professor Adachan during the Spring '10 term at York University.

Ask a homework question - tutors are online