Fall 2022

**FINAL** - December 13, **11:15am
- 1:45pm** in the classroom

**Practice Final **SOLUTIONS **posted
**

MIDTERM SOLUTIONS posted

Midterm Return and Consultation Week is October 24-29

Details are posted on Blackboard and mailed to all
students

MIDTERM T**UESDAY,
OCTOBER 19, 3:00pm **in Class

Q1 SOLUTIONS POSTED

Q1 Return and Consultation Week is September 26-30

**Details **are posted on **Blackboard** and
Mailed to all Students

Q1 Thursday, September 22

TAs Office
Hours POSTED on Blackboard

** **

WE HAVE our own
**LOGIC LECTURES **
**YOUTUBE CHANEL
**

The YOUTUBE CHANNEL contains a set of

208 New CS Building

phone: (631) 632-8458

**e-mail: **anita@cs.stonybrook.edu

**Professor Anita Wasilewska Office
Hours**

TAs Office
Hours are posted and
updated on BLACKBOARD
and mailed to all studnets

Short questions via email any time

Short questions via email any time

Springer 2018

ISBN 978-3-319-92590-5 ISBN 978-3-319-92591-2 (e-book)

You can get the book in Hard cover, or in
Electronic form. Springer also has an option of
providing you with chapters of your choice

Here is my manuscript of the BOOK for you to use

My Logic BookThe course outcomes and catalog description are in the official course description page.

There is no recitations, but I will cover some solutions to the course book homeworks assignments and held questions/answers sessions in class. Students are also responsible to study chapters examples that are not included in Lectures. I may include them in Quizes and Tests.

** Preliminary STUDY
PLAN **

WEEK
1: **August 22 - 28
Class Lecures: **Lecture 0

Lecture 2 - i

Chapter 1 VIDEO:

Chapter 2 VIDEO:

WEEK 2: **August 29 - September 4
Class Lectures: **Lecture 2, Lecture 2a

WEEK 3: **September 5 - September 11
Class Lectures: **Lecture 2a, Lecture 2b

WEEK 4: **September 12 -
September 18
Class Lectures: **Lecture 3, Lecture 3a

WEEK 5: **September 19 - September
25 Q1 Thursday, September
22****
Class Lectures:** Lecture 3a, Lecture 3b

Chapter 3 VIDEO:

WEEK 6: **September 26 - October
2
Class Lectures: **Lecture
3b, Lecture 3c

Chapter 3 VIDEO:

WEEK 7: **October 3 - October 9
Class Lectures: **Lecture 3e, Lecture 3d

Chapter 3 VIDEO:

WEEK 8: **October 10 - October 16** ** Fall Break October 10-11
Class Lectures: **Lecture 3d, Lecture 3e

WEEK 9: **October 17 - October 23** ** MIDTERM Tuesday, October 18
Class Lectures: **Lecture 4

WEEK 10: **October 24 - October 30** **
Class Lectures: ** Lecture 5, Lecture 5a

WEEK 11: **October 31 - November 6** **
Class Lectures: ** Lecture 6

WEEK 12: **November 7 - November 13** **
Class Lectures: ** Lecture 6, Lecture 6a

WEEK 13: **November 14 - November 20** **Q2 Thursday, November 17
Class Lectures: ** Lecture 6, Lecture 6a

WEEK 14: **November 21 - November 27** **Thanksgiving Break November 23 - 27
Class Lectures: ** Lecture 7

WEEK 15: **November 28 - December 4** **
Class Lectures: ** Lecture 11

The PRELIMINARY schedule is posted below. Changes will be posted on the course webpage and in Blackboard Announcements.

there will be

The consistency of your efforts and work is the most important for this course

There will be some extra credit problems as a part of quizzes and tests

I will also give a

The grade will be determined in the following way: number of earned points divided by 2 =

The

MIDTERM SOLUTIONS

Q1 SOLUTIONS

SYLLABUS

**Book Chapter 1: Introduction: Paradoxes and Puzzles **

Lecture 1: Logic Motivation:
Paradoxes and Puzzles; Chapter1
Review

** Book Chapter 2: Introduction to Classical Logic **

Lecture 2: Propositional Language and
Semantics

Lecture 2a: Predicate Language and
Semantics

Lecture 2b: Chapter 2 Review

** Book Chapter 3: Propositional Semantics: Classical and
Many Valued**

Lecture 3: Formal Propositional Languages** **

Lecture 3a: Classical Propositional
Semantics

Lecture 3b : Many Valued Semantic:
Lukasiewicz, Heyting, Kleene, Bohvars

Lecture 3c : Extensional Semantics

Lecture 3d:
Tautologies, Equivalence of Languages

Lecture 3e:
Chapter 3 Review

** Book Chapter 4: General Proof Systems: Syntax and
Semantics **

Lecture 4: General Proof Systems

Lecture 4a: Review Definitions and
Problems

**Book Chapter 5: Hilbert Proof Systems: Completeness of
Classical Propositional Logic **

Lecture 5: Hilbert Proof Systems for
Classical Logic, Deduction Theorem

Lecture 5a: Completeness Theorem Proof
1

Lecture 5b: Completeness Theorem Proof
2

**Book Chapter 6: Automated Proof Systems for Classical
Propositional Logic **

Lecture 6a: Gentzen Sequents Systems GL, G

Lecture 6b: Gentzen Sequents Systems LK, LI

Lecture 6c:Review for Q2

** Book Chapter
7: Introduction to Intuitioniostic and Modal Logics
** Lecture 7; Introduction to
Intuitionistic Logic

Lecture 7a: Gentzen Systems for Intuitionistic Logic

Lecture 7b: Introduction to Modal Logics S4 and S5

** Book Chapter 8: Classical Predicate Languages, Semantics,
and Proof Systems**

Lecture 8: Formal Predicate Languages

Lecture 8a:Classical Semantic

Lecture 8b: Predicate Tautologies

** Book Chapter 9: Completeness and Deduction Theorem for
Classical Predicate Logic **

Lecture 9:Reduction Predicate Logic to
Propositional

Lecture 9a: Henkin Method

Lecture 9b: Proof of Completeness
Theorem

Lecture 9c:Deduction Theorem, Other
Axiomatization

** Book Chapter 10: Predicate Automated Proof Systems**

Lecture 10: Predicate Languages,
QRS-Automated Proof System for Classical Predicate Logic

Lecture 10a: Proof of Completeness
Theorem for QRS

** Book Chapter 11: Classical Formal Theories: Consistency
and Completeness **

Lecture 11: Hilbert Program, Godel
Incompleteness Theorems

CHAPTER 2

CHAPTER 3

CHAPTER 4

CHAPTER 5

CHAPTER 6

CHAPTER 7

CHAPTER 9

CHAPTER 10

CHAPTER 11

PRACTICE 1 MIDTERM

Q1 SOLUTIONS

Q2 SOLUTIONS

Q2 Solutions

Q3 Solutions

MIDTERM Solutions

Q4 Solutions

Q5 Solutions

Q6 Solutions

Q7 Solutions

Q2 Solutions

Q3 Solutions

Q4 Solutions

MIDTERM Solutions

Q5 Solutions

Q6 Solutions

Review