Skip to main content
Mathematics LibreTexts

13.7: Negating “all,” “some,” or “no” statements

  • Page ID
    51657
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    information icon

    This reading provides information about negating “all,” “some,” or “no” statements. Click on the link below to view the page “Negation—NOT—Compound Statements and ALL/SOME” created by Donna Roberts of the Oswego City School District Regents Exam Prep Center.

    For more information, look at page 229 of Logic and Sets, staring with “Statements involving the universal quantifiers all, no, non and every, or the existential quantifiers some and there exists at least one have to be negated in a different way.”

    CC licensed content, Original
    Public domain content

    13.7: Negating “all,” “some,” or “no” statements is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?