# Concept derivation guides

299 concept teaching guides, separate from the 36,000 individual question derivations.

[Search all questions & derivations →](/en/explore/)

1 1 results · Page 1 of 1



Concept guide



## [Quantifiers and explicit domains: deciding universal and existential statements and their negations on a finite integer domain](/en/derivations/derivation-mko-quantifier-01/?from=%2Fen%2Fderivations%2F%3Fq%3Dmko-quantifier)

On the explicit finite domain U={−2,−1,0,1,2,3}, decide the truth of φ₁: ∀x∈U, x²<10; φ₂: ∀x∈U, x²>x; φ₃: ∃x∈U, x²=2; write the negations of φ₂ and φ₃ correctly; and settle the truth of universal and existential statements when the domain is the empty set.

Quantifiers and explicit domains

derivation-mko-quantifier-01





1 1 results · Page 1 of 1