Академический Документы
Профессиональный Документы
Культура Документы
Review I
Chapter 1a
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L
e H`ng Trang
Faculty of Computer Science and Engineering
University of Technology, VNU-HCM
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.1
Contents
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Sequents
Rules for natural deduction
Basic and Derived Rules
Excursion: Intuitionistic Logic
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.2
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.3
Propositional Calculus
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.4
Propositional Calculus
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.4
Propositional Calculus
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.4
Propositional Calculus
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.4
Propositional Calculus
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.4
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Meaning of formula
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.5
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Meaning of formula
Proofs
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.5
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Meaning of formula
Proofs
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.5
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Hardware design
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.6
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Hardware design
Verification
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.6
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Hardware design
Verification
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Problem solving
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.6
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Richer language
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.7
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Richer language
Contents
Introduction
Quantifiers
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.7
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Richer language
Contents
Introduction
Quantifiers
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Compositionality
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.7
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.8
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
{a 0 b 0} P {a = gcd(a, b)}
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.9
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.10
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.10
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.10
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.10
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.10
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.11
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Not Examples
Could you please pass me the salt?
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Not Examples
Could you please pass me the salt?
Ready, steady, go!
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.12
Declarative Sentences
The language of propositional logic is based on propositions or
declarative sentences.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Declarative Sentences
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Not Examples
Could you please pass me the salt?
Ready, steady, go!
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Example 1.2
If it is raining and
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Example 1.2
If it is raining and
Jane does not have her umbrella with her then
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Example 1.2
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Example 1.2
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Jane is not wet.
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Example 1.2
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Jane is not wet.
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
It is raining.
1a.13
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Example 1.2
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Jane is not wet.
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
It is raining.
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.14
Focus on Structure
We are primarily concerned about the structure of arguments in
this class, not the validity of statements in a particular domain.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Letter version
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Jane does not have her umbrella with her then
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Contents
Introduction
Declarative Sentences
It is raining.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Contents
Introduction
Declarative Sentences
It is raining.
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Focus on Structure
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
If it is raining and
Jane does not have her umbrella with her then
she will get wet.
Contents
Introduction
Declarative Sentences
It is raining.
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.15
Logical Connectives
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Notations/Symbols
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.16
Logical Connectives
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Notations/Symbols
: negation of p is denoted by p.
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.16
Logical Connectives
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Notations/Symbols
: negation of p is denoted by p.
: disjunction of p and r is denoted by p r, meaning at least
one of the two statements is true.
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.16
Logical Connectives
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Notations/Symbols
: negation of p is denoted by p.
: disjunction of p and r is denoted by p r, meaning at least
one of the two statements is true.
: conjunction of p and r is denoted by p r, meaning both are
true.
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.16
Logical Connectives
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Notations/Symbols
: negation of p is denoted by p.
: disjunction of p and r is denoted by p r, meaning at least
one of the two statements is true.
: conjunction of p and r is denoted by p r, meaning both are
true.
: implication between p and r is denoted by p r, meaning
that r is a logical consequence of p. p is called the
antecedent, and r the consequent.
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.16
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.17
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Symbolic Propositions
Introduction
Declarative Sentences
Natural Deduction
Sequents
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.17
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Symbolic Propositions
Introduction
Declarative Sentences
Natural Deduction
Sequents
Symbolic Connectives
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.17
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Sequents
Rules for natural deduction
Basic and Derived Rules
Excursion: Intuitionistic Logic
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.18
Introduction
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Objective
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.19
Introduction
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Objective
Contents
Introduction
Idea
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.19
Introduction
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Objective
Contents
Introduction
Idea
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Notation
Formal Language
We write a sequent 1 , 2 , . . . , n `
to denote that we can derive from 1 , 2 , . . . , n .
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.19
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.20
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Sequent
Intuitionistic Logic
Formal Language
p q r, r, p ` q
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.20
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Sequent
Intuitionistic Logic
Formal Language
p q r, r, p ` q
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Remaining task
Normal Form
Homeworks and Next
Week Plan?
1a.20
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Conjunction
[i]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.21
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Conjunction
[i]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Elimination of Conjunction
Formal Language
Semantics
[e1 ]
[e2 ]
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.21
Example of Proof
To show
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
q r.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
q r.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Proof Step-by-Step
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
q r.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Proof Step-by-Step
Intuitionistic Logic
Formal Language
p q (premise)
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
q r.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Proof Step-by-Step
Intuitionistic Logic
Formal Language
p q (premise)
r (premise)
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
q r.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Proof Step-by-Step
Intuitionistic Logic
Formal Language
p q (premise)
r (premise)
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Example of Proof
To show
p q, r ` q r.
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
How to start?
pq
r,
Contents
Introduction
Declarative Sentences
q r.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Proof Step-by-Step
Intuitionistic Logic
Formal Language
p q (premise)
r (premise)
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.22
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
pq
Contents
[e2 ]
Introduction
Declarative Sentences
Natural Deduction
[i]
qr
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.23
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
We introduce rules that allow us to form legal proofs
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
We introduce rules that allow us to form legal proofs
Then any proof of any formula using the premises
1 , 2 , . . . , n is considered correct.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
We introduce rules that allow us to form legal proofs
Then any proof of any formula using the premises
1 , 2 , . . . , n is considered correct.
Can we say that sequents with a correct proof are somehow
valid, or meaningful?
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
We introduce rules that allow us to form legal proofs
Then any proof of any formula using the premises
1 , 2 , . . . , n is considered correct.
Can we say that sequents with a correct proof are somehow
valid, or meaningful?
What does it mean to be meaningful?
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
We introduce rules that allow us to form legal proofs
Then any proof of any formula using the premises
1 , 2 , . . . , n is considered correct.
Can we say that sequents with a correct proof are somehow
valid, or meaningful?
What does it mean to be meaningful?
Can we say that any meaningful sequent has a valid proof?
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1 , 2 , . . . , n `
We introduce rules that allow us to form legal proofs
Then any proof of any formula using the premises
1 , 2 , . . . , n is considered correct.
Can we say that sequents with a correct proof are somehow
valid, or meaningful?
What does it mean to be meaningful?
Can we say that any meaningful sequent has a valid proof?
...but first back to the proof rules...
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.24
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Double Negation
[e]
[i]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.25
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Double Negation
[e]
[i]
Contents
Introduction
Eliminating Implication
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
[ e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.25
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Double Negation
[e]
[i]
Contents
Introduction
Eliminating Implication
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
[ e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Example
Normal Form
Homeworks and Next
Week Plan?
1a.25
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Double Negation
[e]
[i]
Contents
Introduction
Eliminating Implication
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
[ e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Example
Normal Form
Homeworks and Next
Week Plan?
1a.25
Propositional Logic
Review I
Modus Ponens
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
The rule
[ e]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.26
Propositional Logic
Review I
Modus Ponens
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
The rule
[ e]
Contents
Introduction
Declarative Sentences
Natural Deduction
Origin of term
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.26
Propositional Logic
Review I
Modus Ponens
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
The rule
[ e]
Contents
Introduction
Declarative Sentences
Natural Deduction
Origin of term
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.26
Propositional Logic
Review I
Modus Tollens
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
[M T ]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.27
Propositional Logic
Review I
Modus Tollens
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
[M T ]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Origin of term
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.27
Propositional Logic
Review I
Modus Tollens
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
[M T ]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Origin of term
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.27
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r `
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r ` q
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r ` q
Contents
p (q r)
premise
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r ` q
Contents
1
2
p (q r)
p
premise
premise
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r ` q
Contents
1
2
3
p (q r)
p
r
premise
premise
premise
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r ` q
Contents
1
2
3
4
p (q r)
p
r
qr
premise
premise
premise
e 1,2
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p (q r), p, r ` q
Contents
1
2
3
4
5
p (q r)
p
r
qr
q
premise
premise
premise
e 1,2
MT 4,3
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.28
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
p q ` q p
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.29
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
p q ` q p
The second sequent should be provable, but we dont have a rule
to introduce implication yet!
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.29
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p q ` q p
1
2
3
4
pq
q
p
q p
premise
assumption
MT 1,2
i 23
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.30
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p q ` q p
1
2
3
4
pq
q
p
q p
premise
assumption
MT 1,2
i 23
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.30
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p q ` q p
1
2
3
4
pq
q
p
q p
premise
assumption
MT 1,2
i 23
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.30
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.31
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Implication
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.31
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Implication
..
.
Contents
Natural Deduction
Introduction
Declarative Sentences
Sequents
[ i]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.31
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.32
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.32
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Disjunction
[i1 ]
[i2 ]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.32
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Disjunction
[i1 ]
[i2 ]
Contents
Introduction
Elimination of Disjunction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.32
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction of Disjunction
[i1 ]
[i2 ]
Contents
Introduction
Elimination of Disjunction
Declarative Sentences
Natural Deduction
Sequents
..
.
..
.
Formal Language
Meaning of Logical
Connectives
Semantics
[e]
Normal Form
Homeworks and Next
Week Plan?
1a.32
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1
2
3
p (q r)
p
qr
premise
e1 1
e2 1
4
5
6
q
pq
(p q) (p r)
assumption
i 2,4
i1 5
Contents
7
8
9
r
pr
(p q) (p r)
assumption
i 2,7
i2 8
Sequents
10
(p q) (p r)
e 3, 46, 79
Introduction
Declarative Sentences
Natural Deduction
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.33
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
the same!
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
the same!
Example: p p, p p
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
the same!
Example: p p, p p
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
the same!
Example: p p, p p
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
the same!
Example: p p, p p
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Special Propositions
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
the same!
Example: p p, p p
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.34
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.35
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.35
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Elimination of Negation
[e]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.35
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Elimination of Negation
[e]
Contents
Introduction
Introduction of Negation
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.35
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Elimination of Negation
[e]
Contents
Introduction
Introduction of Negation
Declarative Sentences
Natural Deduction
Sequents
..
.
Formal Language
Meaning of Logical
Connectives
Intuitionistic Logic
Semantics
[i]
Normal Form
Homeworks and Next
Week Plan?
1a.35
Elimination of
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.36
Elimination of
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Elimination of
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.36
Propositional Logic
Review I
Elimination of
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Elimination of
Contents
Introduction
[e]
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.36
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
[i]
[e1 ]
[e2 ]
Contents
[ii ]
..
.
..
.
[i2 ]
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
[e]
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.37
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
..
.
Contents
Introduction
Declarative Sentences
[ i]
Natural Deduction
Sequents
[ e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.38
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
..
.
Contents
Introduction
Declarative Sentences
[i]
Natural Deduction
Sequents
[e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.39
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
[e]
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
[e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.40
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
[i]
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.41
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1
2
3
4
premise
assumption
e 1,2
i 23
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.42
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
[M T ]
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.43
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
..
.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
[PBC]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.44
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
[LEM]
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.45
Motivation
Consider the following theorem.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.46
Motivation
Consider the following theorem.
Theorem
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.46
Motivation
Consider the following theorem.
Theorem
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.46
Motivation
Consider the following theorem.
Theorem
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.46
Motivation
Consider the following theorem.
Theorem
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
is rational.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.46
Propositional Logic
Review I
Motivation
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition p
Introduction
is rational.
Declarative Sentences
Natural Deduction
Sequents
p
..
.
p
..
.
Formal Language
Meaning of Logical
Connectives
Intuitionistic Logic
Semantics
[e]
Normal Form
Homeworks and Next
Week Plan?
1a.46
In detail (1)
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.47
Propositional Logic
Review I
In detail (1)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.47
Propositional Logic
Review I
In detail (1)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Assume
Contents
Introduction
Declarative Sentences
Natural Deduction
is rational.
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.47
Propositional Logic
Review I
In detail (1)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
Introduction
Declarative Sentences
Natural Deduction
2, and we have
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.47
Propositional Logic
Review I
In detail (1)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.47
In detail (2)
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.48
Propositional Logic
Review I
In detail (2)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.48
Propositional Logic
Review I
In detail (2)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Assume
Contents
Introduction
is irrational.
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.48
Propositional Logic
Review I
In detail (2)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
Assume
is irrational. Choose a to be
Introduction
and b to be
2.
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.48
Propositional Logic
Review I
In detail (2)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
a =( 2
b
2 2
( 2 2)
Introduction
and b to be
2.
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
= ( 2)2 = 2.
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.48
Propositional Logic
Review I
In detail (2)
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
..
.
Contents
a =( 2
b
2 2
( 2 2)
Introduction
and b to be
2.
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
= ( 2)2 = 2.
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.48
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.49
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition p
is rational.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.49
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition p
is rational.
[LEM ]
p p
Contents
p
..
.
p
..
.
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
[e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.49
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition p
is rational.
[LEM ]
p p
Contents
p
..
.
p
..
.
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
[e]
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.49
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.50
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.50
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
and b =
2...
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.50
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
that
and b =
is irrational!
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.50
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
that
Note:
and b =
is irrational!
2
Contents
Introduction
Declarative Sentences
Natural Deduction
=2
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.50
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
that
Note:
and b =
is irrational!
2
Introduction
Declarative Sentences
Natural Deduction
=2
Using
LEM, we can make use of the probable irrationality of
Contents
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.50
Intuitionistic Logic
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.51
Propositional Logic
Review I
Intuitionistic Logic
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
[e]
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.51
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
1
2
3
4
5
6
7
( )
assumption
assumption
i1 2
e 3,1
i 24
i2 5
e 6,1
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
8
9
( )
i 17
e
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.52
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Theorem
Normal Form
1a.53
Intuitionistic Logic
Intuitionistic logic is obtained from natural deduction by removing
the rule e.
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Theorem
Normal Form
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.54
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
: negation of p is denoted by p.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.55
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
: negation of p is denoted by p.
: disjunction of p and r is denoted by p r, meaning at least
one of the two statements is true.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.55
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
: negation of p is denoted by p.
: disjunction of p and r is denoted by p r, meaning at least
one of the two statements is true.
: conjunction of p and r is denoted by p r, meaning both are
true.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.55
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
: negation of p is denoted by p.
: disjunction of p and r is denoted by p r, meaning at least
one of the two statements is true.
: conjunction of p and r is denoted by p r, meaning both are
true.
: implication between p and r is denoted by p r, meaning
that r is a logical consequence of p.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.55
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Use of Meta-Language
[LEM ]
we mean that letters such as can be replaced by any formula.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.56
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Use of Meta-Language
[LEM ]
we mean that letters such as can be replaced by any formula.
But what exactly is the set of formulas that can be used for ?
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.56
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Use of Meta-Language
[LEM ]
we mean that letters such as can be replaced by any formula.
But what exactly is the set of formulas that can be used for ?
Allowed
(p (q))
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.56
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Use of Meta-Language
[LEM ]
we mean that letters such as can be replaced by any formula.
But what exactly is the set of formulas that can be used for ?
Allowed
(p (q))
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Not allowed
) p q(
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.56
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
Every propositional atom p, q, r, . . . and p1 , p2 , p3 , . . . is a
well-formed formula.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.57
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
Every propositional atom p, q, r, . . . and p1 , p2 , p3 , . . . is a
well-formed formula.
If is a well-formed formula, then so is ().
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.57
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
Every propositional atom p, q, r, . . . and p1 , p2 , p3 , . . . is a
well-formed formula.
If is a well-formed formula, then so is ().
If and are well-formed formulas, then so is ( ).
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.57
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
Every propositional atom p, q, r, . . . and p1 , p2 , p3 , . . . is a
well-formed formula.
If is a well-formed formula, then so is ().
If and are well-formed formulas, then so is ( ).
If and are well-formed formulas, then so is ( ).
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.57
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
Every propositional atom p, q, r, . . . and p1 , p2 , p3 , . . . is a
well-formed formula.
If is a well-formed formula, then so is ().
If and are well-formed formulas, then so is ( ).
If and are well-formed formulas, then so is ( ).
If and are well-formed formulas, then so is ( ).
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.57
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.58
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
((p (q)) r)
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.58
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
((p (q)) r)
Natural Deduction
Sequents
Rules for natural deduction
...but for the formal treatment of this section and the first
homework, we insist on the strict definition, and exclude such
formulas.
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.58
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.59
Inversion principle
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.60
Inversion principle
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.60
Propositional Logic
Review I
Parse trees
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
A formula
(((p) q) (p (q (r))))
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.61
Propositional Logic
Review I
Parse trees
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
A formula
(((p) q) (p (q (r))))
...and its parse tree:
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.61
Propositional Logic
Review I
Parse trees
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
A formula
(((p) q) (p (q (r))))
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.61
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.62
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.63
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.63
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Truth Values
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.63
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Introduction
Declarative Sentences
Natural Deduction
Truth Values
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Valuations
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.63
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
T
T
F
F
T
F
T
F
T
F
F
F
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.64
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
T
T
F
F
T
F
T
F
T
F
F
F
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.65
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
T
T
F
F
T
F
T
F
T
F
F
F
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
p
T
T
..
.
q
T
T
r
T
F
(p q)
T
T
((p q) r)
T
F
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.65
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
T
T
F
F
T
F
T
F
T
T
T
F
T
T
F
F
T
F
T
F
T
F
T
T
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
T
F
F
T
>
T
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.66
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
p
T
T
F
F
q
T
F
T
F
(p)
F
F
T
T
q
F
T
F
T
p q
F
T
T
T
q p
T
F
T
T
(p q) (q p)
T
F
T
T
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.67
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Validity
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.68
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Validity
Contents
Introduction
Satisfiability
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.68
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.69
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Semantic Entailment
1 , 2 , . . . , n |=
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.69
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Semantic Entailment
1 , 2 , . . . , n |=
Introduction
Declarative Sentences
Natural Deduction
Soundness
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.69
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Semantic Entailment
1 , 2 , . . . , n |=
Introduction
Declarative Sentences
Natural Deduction
Soundness
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Completeness
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.69
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.70
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
L ::= p|p,
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.71
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
L ::= p|p,
D
::= L|L D,
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.71
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
L ::= p|p,
Introduction
::= L|L D,
Declarative Sentences
::= D|D C.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.71
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
L ::= p|p,
Introduction
::= L|L D,
Declarative Sentences
::= D|D C.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Examples
Formal Language
Semantics
(p q r) (q r) (r) is in CNF.
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.71
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
L ::= p|p,
Introduction
::= L|L D,
Declarative Sentences
::= D|D C.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Examples
Formal Language
Semantics
(p q r) (q r) (r) is in CNF.
(p q r) ((p q) r) (r) is not in CNF.
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.71
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Definition
L ::= p|p,
Introduction
::= L|L D,
Declarative Sentences
::= D|D C.
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Examples
Formal Language
Semantics
(p q r) (q r) (r) is in CNF.
(p q r) ((p q) r) (r) is not in CNF.
(p q r) (q r) (r) is not in CNF.
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.71
Usefulness of CNF
Lemma
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.72
Usefulness of CNF
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Lemma
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.72
Propositional Logic
Review I
Usefulness of CNF
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Lemma
Contents
Introduction
Declarative Sentences
Natural Deduction
|= (q p r)
|= (p r)
|= q.
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.72
Propositional Logic
Review I
Usefulness of CNF
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Lemma
Contents
Introduction
Declarative Sentences
Natural Deduction
|= (q p r)
|= (p r)
|= q.
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
How to prove
Formal Language
|= (q p q) (p rp) (r r)?
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.72
Propositional Logic
Review I
Usefulness of CNF
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Lemma
Contents
Introduction
Declarative Sentences
Natural Deduction
|= (q p r)
|= (p r)
|= q.
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
How to prove
Formal Language
|= (q p q) (p rp) (r r)?
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
|= (q p q)
|= (p rp)
|= (r r).
1a.72
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.73
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition
Satisfiability test
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.73
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Proposition
Satisfiability test
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Theorem-Transformation to CNF
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.73
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.74
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.74
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(A B) (A B),
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.74
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(A B) (A B),
Contents
(A B) (A B).
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.74
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(A B) (A B),
Contents
(A B) (A B).
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.74
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(A B) (A B),
Contents
(A B) (A B).
Introduction
Declarative Sentences
Natural Deduction
Sequents
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
A (B C) (A B) (A C),
Normal Form
Homeworks and Next
Week Plan?
1a.74
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(A B) (A B),
Contents
(A B) (A B).
Introduction
Declarative Sentences
Natural Deduction
Sequents
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
A (B C) (A B) (A C),
Normal Form
(A B) C (A C) (B C).
1a.74
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(p q) (p q)
(p q) (p q)
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.75
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(p q) (p q)
(p q) (p q)
(p q) (p q)
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.75
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(p q) (p q)
(p q) (p q)
(p q) (p q)
(p q) (p q)
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.75
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(p q) (p q)
(p q) (p q)
(p q) (p q)
(p q) (p q)
(p p q) (q p q)
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.75
Propositional Logic
Review I
Example
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
(p q) (p q)
(p q) (p q)
Contents
Introduction
(p q) (p q)
(p q) (p q)
(p p q) (q p q)
Sequents
>.
Declarative Sentences
Natural Deduction
Rules for natural deduction
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.75
Homeworks
I. Write down the explanations (in Vietnamese, or in English if
possible) of the following terms, find examples for each term,
what are the differences between them:
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.76
Homeworks
I. Write down the explanations (in Vietnamese, or in English if
possible) of the following terms, find examples for each term,
what are the differences between them:
1)
2)
3)
4)
5)
6)
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.76
Homeworks
I. Write down the explanations (in Vietnamese, or in English if
possible) of the following terms, find examples for each term,
what are the differences between them:
1)
2)
3)
4)
5)
6)
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.76
Homeworks
I. Write down the explanations (in Vietnamese, or in English if
possible) of the following terms, find examples for each term,
what are the differences between them:
1)
2)
3)
4)
5)
6)
2d), 2g);
1d), 1g), 1m), 1q), 1u), 1w), 3a), 3b), 3c), 3f), 3g), 3l), 3o);
12d);
3b), 3c), 7c).
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.76
Next Week?
Propositional Logic
Review I
Nguyen An Khuong,
Tran Van Hoai,
Huynh Tuong Nguyen,
L Hng Trang
Exercises Session;
[2, Section 1.6]: SAT Solvers;
Application of SAT Solving.
Contents
Introduction
Declarative Sentences
Natural Deduction
Sequents
Rules for natural deduction
Basic and Derived Rules
Intuitionistic Logic
Formal Language
Semantics
Meaning of Logical
Connectives
Preview: Soundness and
Completeness
Normal Form
Homeworks and Next
Week Plan?
1a.77