UniMaths
Free chapterTry everything here: cards, proofs and practice. Sign up free to save your progress and unlock all 7 chapters.Sign up free
PROOF · 1

Logic and statements

13 concepts · 67 questions

1 / 13
definition

Definition 1.1Statements

Statement: definitely true or definitely false, even if nobody knows which.

Not statements: questions, commands, and sentences with a free variable like "nn is even".

Predicate: P(n)P(n) = "nn is even" becomes a statement once you plug in n=4n = 4 or say "for all nn".

Quick check

Is "Every even integer greater than 22 is a sum of two primes" a statement?

← → move · space statement · f focus