Welcome to

1
Welcome to
Gödel
Escher
Bach
Thursday edition, March 22, 2001
News
Homework Problem Set 10 due today
2
Symbols of the Propositional Calculus
P Q R v
? lt gt
Atom particles
Suffix
Prefix op
Infix ops
( )
Brackets
0
Numeral
S
Arithmetic ops

Atom Former
? ?
Quantifiers
3
Rules of Well-Formedness
4
Rules of Well-Formedness
Terms Given numerals and variables
Rule S term term
(term term) term
(term term) term
Terms are not well-formed formula Terms are PART
of well-formed formula
5
Rules of Well-Formedness
Atoms Given none Rule term
term atom
Well-formed Formula (wff) Given atoms
Rule atom wff
ltwff wffgt wff ?u
wff(u) wff
6
(No Transcript)