math.answers.com/math-and-arithmetic/How_do_you_solve_logical_deduction

Preview meta tags from the math.answers.com website.

Linked Hostnames

8

Thumbnail

Search Engine Appearance

Google

https://math.answers.com/math-and-arithmetic/How_do_you_solve_logical_deduction

How do you solve logical deduction? - Answers

I don't know what you mean by solving logical deduction. Do you mean how do you tell, given an allegedly logical deduction, whether it really is logical? Or do you mean, given a theorem, how do you logically prove it, that is, prove that it logically follows from the axioms? The last question is very complicated. Some theorems have taken centuries to prove (like Fermat's last theorem and the independence of Euclid's Parallel Postulate), and some have not yet been proven, like the Goldbach conjecture and Riemann's hypothesis. The first question is much simpler, but to describe exactly how to verify the validity of a deduction, we would need to know what kind of deduction it is. For example, a deduction involving only logical connectives like and, or, if-then, not can be verified with a truth table. Those involving quantification or non-logical symbols like set membership require looking at the proof and seeing that each step can be justified on the basis of the axioms of the system, whether it is the system of Euclidean Geometry, of the field of real numbers, or of Zermelo-Frankel Set Theory, etc.



Bing

How do you solve logical deduction? - Answers

https://math.answers.com/math-and-arithmetic/How_do_you_solve_logical_deduction

I don't know what you mean by solving logical deduction. Do you mean how do you tell, given an allegedly logical deduction, whether it really is logical? Or do you mean, given a theorem, how do you logically prove it, that is, prove that it logically follows from the axioms? The last question is very complicated. Some theorems have taken centuries to prove (like Fermat's last theorem and the independence of Euclid's Parallel Postulate), and some have not yet been proven, like the Goldbach conjecture and Riemann's hypothesis. The first question is much simpler, but to describe exactly how to verify the validity of a deduction, we would need to know what kind of deduction it is. For example, a deduction involving only logical connectives like and, or, if-then, not can be verified with a truth table. Those involving quantification or non-logical symbols like set membership require looking at the proof and seeing that each step can be justified on the basis of the axioms of the system, whether it is the system of Euclidean Geometry, of the field of real numbers, or of Zermelo-Frankel Set Theory, etc.



DuckDuckGo

https://math.answers.com/math-and-arithmetic/How_do_you_solve_logical_deduction

How do you solve logical deduction? - Answers

I don't know what you mean by solving logical deduction. Do you mean how do you tell, given an allegedly logical deduction, whether it really is logical? Or do you mean, given a theorem, how do you logically prove it, that is, prove that it logically follows from the axioms? The last question is very complicated. Some theorems have taken centuries to prove (like Fermat's last theorem and the independence of Euclid's Parallel Postulate), and some have not yet been proven, like the Goldbach conjecture and Riemann's hypothesis. The first question is much simpler, but to describe exactly how to verify the validity of a deduction, we would need to know what kind of deduction it is. For example, a deduction involving only logical connectives like and, or, if-then, not can be verified with a truth table. Those involving quantification or non-logical symbols like set membership require looking at the proof and seeing that each step can be justified on the basis of the axioms of the system, whether it is the system of Euclidean Geometry, of the field of real numbers, or of Zermelo-Frankel Set Theory, etc.

  • General Meta Tags

    22
    • title
      How do you solve logical deduction? - Answers
    • charset
      utf-8
    • Content-Type
      text/html; charset=utf-8
    • viewport
      minimum-scale=1, initial-scale=1, width=device-width, shrink-to-fit=no
    • X-UA-Compatible
      IE=edge,chrome=1
  • Open Graph Meta Tags

    7
    • og:image
      https://st.answers.com/html_test_assets/Answers_Blue.jpeg
    • og:image:width
      900
    • og:image:height
      900
    • og:site_name
      Answers
    • og:description
      I don't know what you mean by solving logical deduction. Do you mean how do you tell, given an allegedly logical deduction, whether it really is logical? Or do you mean, given a theorem, how do you logically prove it, that is, prove that it logically follows from the axioms? The last question is very complicated. Some theorems have taken centuries to prove (like Fermat's last theorem and the independence of Euclid's Parallel Postulate), and some have not yet been proven, like the Goldbach conjecture and Riemann's hypothesis. The first question is much simpler, but to describe exactly how to verify the validity of a deduction, we would need to know what kind of deduction it is. For example, a deduction involving only logical connectives like and, or, if-then, not can be verified with a truth table. Those involving quantification or non-logical symbols like set membership require looking at the proof and seeing that each step can be justified on the basis of the axioms of the system, whether it is the system of Euclidean Geometry, of the field of real numbers, or of Zermelo-Frankel Set Theory, etc.
  • Twitter Meta Tags

    1
    • twitter:card
      summary_large_image
  • Link Tags

    16
    • alternate
      https://www.answers.com/feed.rss
    • apple-touch-icon
      /icons/180x180.png
    • canonical
      https://math.answers.com/math-and-arithmetic/How_do_you_solve_logical_deduction
    • icon
      /favicon.svg
    • icon
      /icons/16x16.png

Links

59