# 2slides - Chapter 2 Introduction to Propositional Logic...

This preview shows pages 1–9. Sign up to view the full content.

Chapter 2: Introduction to Propositional Logic PART ONE: History and Motivation Origins: Stoic school of philosophy (3rd cen- tury B.C.), with the most eminent repre- sentative was Chryssipus. Modern Origins: Mid-19th century - English mathematician G. Boole , who is some- times regarded as the founder of mathe- matical logic. First Axiomatic System: 1879 by German lo- gician G. Frege. 1

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

View Full Document
The ﬁrst assumption underlying the formal- ization of classical propositional logic (cal- culus) is the following. We assume that sentences are always evalu- ated as true or false . Such sentences are called logical sentences or propositions . Hence the name propositional logic . 2
A statement: 2+2 = 4 is a proposition (true). A statement: 2 + 2 = 5 is also a proposition (false). A statement: I am pretty is modeled as a log- ical sentence (proposition). We assume that it is false, or true. A statement: 2+ n = 5 is not a proposition; it might be true for some n, for example n=3, false for other n, for example n= 2, and moreover, we don’t know what n is. Sentences of this kind are called proposi- tional functions . We model propositional functions within propo- sitional logic by treating propositional func- tions as propositions. 3

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

View Full Document
The classical logic reﬂects the black and white qualities of mathematics. We expect from mathematical theorems to be always either true or false and the rea- sonings leading to them should guarantee this without any ambiguity. 4
Formulas We combine logical sentences to form more complicated sentences, called formulas . We combine them using the following words or phrases: not ; and ; or ; if . .., then ; if and only if . We use only symbols do denote both logical sentences and the phrases: not ; and ; or ; if ..., then ; if and only if . Hence the name symbolic logic . 5

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

View Full Document
Logical sentences are denoted by symbols a,b,c,p,r,q,. . Symbols for logical connectives are: ¬ for ” not ”, for ” and ”, for ” or ”, for ”if . .., then” , and for ”if and only if” . 6
Translate a natural language sentence: The fact that it is not true that at the same time 2+2 = 4 and 2+2 = 5 implies that 2 + 2 = 4 into its propositional symbolic logic for- mula. First we write it in a form: If not (2 + 2 = 4 and 2 + 2 = 5) then 2 + 2 = 4 Second we write it in a symbolic formula: ( ¬ ( a b ) a ). 7

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

View Full Document
Translate a natural language sentence: The fact that it is not true that at the same time 2 + n = 4 and some numbers are pretty implies that 2 + n = 4 into its propositional symbolic logic for- mula. First
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/12/2011 for the course CSE 541 taught by Professor Bachmair,l during the Spring '08 term at SUNY Stony Brook.

### Page1 / 35

2slides - Chapter 2 Introduction to Propositional Logic...

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

View Full Document
Ask a homework question - tutors are online