Statement
2 + 3 = 5A mathematical sentence that is unambiguously true or false.
Loading page
MATHEMATICS · FOUNDATION
Learn the language of proofs, then check that you can recognize the correct logical structure.
2 + 3 = 5A mathematical sentence that is unambiguously true or false.
not(for every x, P(x)) = there exists x such that not P(x)Negate the whole statement. "For every" becomes "there exists," and conversely.
P => QP implies Q says every situation where P is true also makes Q true.
P => Q <=> not Q => not PP implies Q is equivalent to not Q implies not P.
Knowledge check
Question 1/3