Exercise 271Logic, sets and proofs › Quantifiers and negationHigh schoolAdded 3 Nov 2026

Universal over a finite set

#finite quantifier#forall#conjunction

Statement

Express $\forall n\in\{1,2,3,4\},\ n^2\le16$ without the universal quantifier.

Hint

Expand as a conjunction.

Show solutionHide solution

Expansion. $1\le16\land4\le16\land9\le16\land16\le16$ . All true.

Conclusion. The statement is true.