**Practice Final **Thursday, April 25 in class, at 4:00pm

It is a **2 Problems Test** (15 extra points) covering** GL **and
**LI **Proof Systems

We covered** GL **in class and I will cover** LI **on
Tuesday, April 23

**Q6 **Solutions posted

**Q5 **Solutions posted

**MIDTERM **Solutions POSTED

**MIDTERM** covers material
form Chapter 2 and 3

Review well all One
Problem Quizzes Solutions

Quizzes were given to help you to be well prepared for
TESTS

Chapter 3 Review for Midterm

One Problem

**Q2 **covers Lecture 3 and
Lectures 2, 2a for lists of Propositional and Predicate
Tautologies

Extra Credit **QUIZZES Schedule **is
posted
below

We will have **each 2-3 weeks** One
Problem** Quizzes** for **1****-2 extra points **-
in class

One Problem **Q1**** Solutions** are **posted **in **Downloads**

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

The YOUTUBE CHANNEL contains a set of

of the BOOK.

208 New CS Building

phone: (631) 632-8458

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

**Professor Anita Wasilewska Office
Hours**

and by appointment

TAs Office Hours are posted and updated on BRIGHTSPACE and mailed to all students

The door code is 4-5-8-9-3

Springer 2019

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 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 Tests.

** Preliminary STUDY
PLAN **

WEEK
1: **January 22 - 28
Class Lectures: **Lecture 0

Lecture 2 - i

Chapter 1 VIDEO:

Chapter 2 VIDEO:

WEEK 2: **January 29 - February
4 Q1 Feb 1
Class Lectures: **Lecture 2, Lecture 2a

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

WEEK 4: **February 12 -
February 18
Q2 Feb 15
Class Lectures: **Lecture 3, Lecture 3a

WEEK 5: **February 19 - February
25 ****
Class Lectures:** Lecture 3a, Lecture 3b

Chapter 3 VIDEO:

WEEK 6: **February 26 - March
3 Q3 Feb 29
Class Lectures: **Lecture
3b, Lecture 3c

Chapter 3 VIDEO:

WEEK 7: **March 4 - March10 Q4 March 7
Class Lectures: **Lecture 3e, Lecture 3d

Chapter 3 VIDEO:

WEEK 8: **March11 - March17** **
SPRING BREAK March 10 -17
Class Lectures: **Lecture 3d, Lecture 3e

WEEK 9: **March18 - March 24** ** MIDTERM Thursday, March 21
Class Lectures: **Lecture 4

WEEK 10: **March 25 - March 31** **
Class Lectures: ** Lecture 5, Lecture 5a

WEEK 11: **April 1 - April 7** **Q5 April 4
Class Lectures: ** Lecture 6

WEEK 12: **April 7 - April 14** **Q6 April 18
Class Lectures: ** Lecture 6, Lecture 6a

WEEK 13: **April15 - April 21** **
Class Lectures: ** Lecture 6, Lecture 6a

WEEK 14: **April 22 - April 28** **PRACTICE FINAL, Thursday, April 25
Class Lectures: ** Lecture 7

WEEK 15: **April 29 - May 4** **
Class Lectures: ** Lecture 11

We

there will be a

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

There may l be some extra credit problems as a part of tests

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

The

Practice Final

FINAL

February

One Problem Q5 SOLUTIONS

MIDTERM SOLUTIONS

One Problem Q4 SOLUTIONS

One Problem Q3 SOLUTIONS

One Problem Q2 SOLUTIONS

One Problem Q1 SOLUTIONS

Spring 2024 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 for MIDTERM

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

Lecture 4: General Proof Systems

Lecture 4a: Review Definitions and Problems

Lecture 4
SHORT : General Proof Systems

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

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

Lecture 5
SHORT: Hilbert Proof Systems, 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 8

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