Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Logic and Deduction

  • Logic is used to formalize deduction

  • Deduction = derivation of true statements (called conclusions ) from statements that are assumed to be true (called premises )

  • Natural language is not precise, so the careless use of logic can lead to claims that false statements are true, or to claims that a statement is true, even tough its truth does not necessarily follow from the premises

      => Logic provides a way to talk about truth and correctness in a rigorous way, so that we can prove things, rather than make intelligent guesses and just hope they are correct


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.