{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

NestedQuant - Nested Quantiers Table 1 on Page 53 Statement...

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

View Full Document Right Arrow Icon
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 There is an x such that for which P ( x, y ) is true. P ( x, y ) is false for every y . x yP ( x, y ) P ( x, y
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}