Lecture 2Logic and Proof

Table of Contents

Lecture 2Logic and Proof

The Story So Far

Basic Elements

Next Few Lectures

Propositions

Propositional Logic: Syntax

Propositional Logic: Semantics

Semantic Turnstyle

Terminology & Special Cases

Propositional Calculus

Example

About Proofs

Natural Deduction

Some Other Proof Styles

Relation to Natural Deduction

Equivalence

Example

Relation Between Syntactic and Semantic Domain

Predicate Logic

Predicates (2)

Predicates (3)

Predicate Logic: Syntax

Predicate Logic: Semantics

Predicate Calculus

Equality

Theories

Examples

Email: shawnh@cs.cmu.edu

Home Page: http://www.cs.cmu.edu/afs/cs/academic/class/15671-f97/www