Loading [MathJax]/extensions/mml2jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

Search

  • Filter Results
  • Location
  • Classification
    • Article type
    • Stage
    • Author
    • Embed Hypothes.is?
    • Cover Page
    • License
    • Show Page TOC
    • Transcluded
    • PrintOptions
    • OER program or Publisher
    • Autonumber Section Headings
    • License Version
    • Print CSS
    • Screen CSS
  • Include attachments
Searching in
About 2 results
  • https://math.libretexts.org/Courses/Saint_Mary's_College_Notre_Dame_IN/SMC%3A_MATH_339_-_Discrete_Mathematics_(Rohatgi)/Text/3%3A_Symbolic_Logic_and_Proofs
    Logic is the study of consequence. Given a few mathematical statements or facts, we want to be able to draw some conclusions. Whenever we find an “answer” in math, we really have a (perhaps hidden) ar...Logic is the study of consequence. Given a few mathematical statements or facts, we want to be able to draw some conclusions. Whenever we find an “answer” in math, we really have a (perhaps hidden) argument. Mathematics is really about proving general statements (like the Intermediate Value Theorem), and this too is done via an argument, usually called a proof. We start with some given conditions, the premises of our argument, and from these we find a consequence of interest, our conclusion.
  • https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/Discrete_Mathematics_(Levin)/3%3A_Symbolic_Logic_and_Proofs
    Logic is the study of consequence. Given a few mathematical statements or facts, we want to be able to draw some conclusions. Whenever we find an “answer” in math, we really have a (perhaps hidden) ar...Logic is the study of consequence. Given a few mathematical statements or facts, we want to be able to draw some conclusions. Whenever we find an “answer” in math, we really have a (perhaps hidden) argument. Mathematics is really about proving general statements (like the Intermediate Value Theorem), and this too is done via an argument, usually called a proof. We start with some given conditions, the premises of our argument, and from these we find a consequence of interest, our conclusion.

Support Center

How can we help?