lect2_2 - Chapter 2. Fundamentals of Logic. The rules of...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Chapter 2. Fundamentals of Logic. The rules of logic give precise meaning to mathematical statements. We need to study logic to learn how to construct valid reasoning. Logic focuses on the relationship between propositions (not the content of any particular proposition) Logical methods are used in mathematics to prove theorems and in computer science to prove that programs do what they supposed to do Definition . A proposition ( or a statement ) is a sentence that is either true or false, but not both. (Boolean variables)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Which of the following are propositions? Two is a prime number. How are you? x +1=2. There is life on Saturn n 2 + n +41 is a prime number for all natural numbers, 2200 n N (like any statement, this one relies upon some definitions, terminology and notations)
Background image of page 2
p , q , r , … be propositions. Compound statements can be formed using binary connectives (operators): (and) (inclusive or) (implication) (biconditional)
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 07/14/2011.

Page1 / 12

lect2_2 - Chapter 2. Fundamentals of Logic. The rules of...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online