notesonly.in

One notebook for every subject — open it anywhere.

Log in

Predicates and quantifiers

Mathematical logic · Mathematics

Study notes

Q: Negate 'Every student passed' and 'Some student failed'. 'Every student passed': ∀x Passed(x). Negation: ∃x ¬Passed(x) - 'Some student did not pass.' 'Some student failed': ∃x Failed(x). Negation: ∀x ¬Failed(x) - 'No student failed.'

← Back to topics for Mathematics