Lily Zhang
10.2
Cube(a) & Cube(b)
Small(a) & Large(b)
x (Cube(x) & Small(x) & x (Cube(x) & Large(x)
A& B
C&D
E&F
Logically valid but not tautologically valid
10.3
x Cube(x) y Small(y)
~y Small(y)
x ~Cube(x)
AB
~B
C
Logically valid but not tautologically v
Elementary Logic I
Lecture 5
Fall 2014
Plan
1. Admin
2. Truth-Tables: Concepts of Consistency,
Validity and Equivalence in Truth-Functional
Logic.
3. Informal Proofs with Negation,
Conjunction, Disjunction (ch.5)
ADMI
Elementary Logic I
Lecture 4
Fall 2014
Plan
1.
2.
3.
4.
Admin
Naming sentences
Review
Basic Boolean Connectives: Negation,
Conjunction and Disjunction.
Their English and FOL Grammar.
Their English and FOL Meanin
Philosophy 150 Elementary Logic I.
1
Class Coordinates and Contact Information
Instructor: Prof. Fabrizio Cariani
E-mail: f-cariani@northwestern.edu
Classroom: Leverone Auditorium Owen Coon
Times: T-Th 9:30 AM - 10:50 AM
My Ofce hours: T-Th 11 AM- 12 PM o
Elementary Logic I
Lecture 7
Fall 2014
Plan
1. Admin
2. Arguments with inconsistent premises (a
le>over sec@on from ch. 5)
3. Review of formal proofs with Conjunc@on
and Disjunc@on.
4. Formal Proofs, now with Nega
Elementary Logic I
Lecture 8
Fall 2014
Plan
1.
2.
3.
4.
Admin
Review of formal proofs: , ,
A method for nding proofs.
Introduction to Conditionals and
Biconditionals.
5. Truth-table reasoning with Conditional
Phil 150 Elementary Logic. Practice Midterm 3
Problem 1
Translate the first five sentences from English into FOL and the second five sentences from
FOL to English. In the FOL language we consider we will have two unary predicates, car,
wide, and two binar
Elementary Logic I
Lecture 6
Fall 2014
Plan
1. Admin
2. Informal Proofs with Negation,
Conjunction, Disjunction (ch.5)
3. Formal Proofs with Conjunction,
Disjunction. (ch.6)
ADMIN
Sections of the book covered tod