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 ~C
Elementary Logic I
Lecture 3
Fall 2014
Plan
1. Admin
2. Review
3. Arguments and Proofs.
Fitch Format.
Informal Proofs.
Formal Proofs.
The Logic of Identity
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 wit
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 a
Philosophy 150 Elementary Logic I.
1
Class Coordinates and Contact Information
Instructor: Prof. Fabrizio Cariani
E-mail: [email protected]
Classroom: Leverone Auditorium Owen Coon
Times: T-T
Elementary Logic I
Lecture 7
Fall 2014
Plan
1. Admin
2. Arguments with inconsistent premises (a
le>over [email protected] from ch. 5)
3. Review of formal proofs with [email protected]
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
Bicondi
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 w
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.