Discrete Math › Section B · Logic and proofs › Topic B.1
Statements, connectives, and quantifiers
Mathematics is written in statements, and their logical shape decides when they are true. This topic builds compound statements from five connectives, then adds quantifiers, the phrases "for all" and "there exists", which let one statement speak about every element of a set or only some of them.
In this topic
- Why logic comes first
- Statements
- Five connectives
- Truth conditions
- Worked example: evaluating compound statements
- Translating ordinary language
- Predicates
- Quantifiers and the domain
- Every and some
- Worked example: the order of quantifiers
- Common mistakes to avoid
- Key takeaways
This topic is part of Wuanberri Pro. Checking your access…