Scribd
Upload
62 views

W9S1S2 - First Order Logic (Formula, Model, Tableaux)

The document is about a course on mathematical logic for computer science. It covers topics like propositional logic versus first-order logic, relations and predicates, formulas in first-order logic including syntax and scope of variables, interpretations, validity and satisfiability, logical equivalence, and semantic tableaux with examples. It also lists references used for the course material.

Uploaded by

Hotmangasi M
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
62 views

W9S1S2 - First Order Logic (Formula, Model, Tableaux)

The document is about a course on mathematical logic for computer science. It covers topics like propositional logic versus first-order logic, relations and predicates, formulas in first-order logic including syntax and scope of variables, interpretations, validity and satisfiability, logical equivalence, and semantic tableaux with examples. It also lists references used for the course material.

Uploaded by

Hotmangasi M
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 40

LOGIKA INFORMATIKA

First Order Logic


(Formula, Model, Tableaux)
Mathematical Logic for Computer Science
-Lit Malem Ginting-
Sumber: http://www.returnofkings.com/wp-
content/uploads/2015/02/aristotle.jpg

http://goo.gl/IxeglT
Materi kuliah ini, sebagian besar diadopsi dari buku:

Mordechai Ben Ari (Weizmann Institute of Science), Mathematical Logic For Computer
Science (Third Edition) , Springer
First Order Logic
Formula, Model, Tableaux
Menu
o Propositional Logic vs First Order Logic
o Relation And Predicate
o Formula in First Order
o Validity and Satifiability
o Logical Equivalence
o Semantic Tableaux
Proporsitional Logic vs First Order Logic
Proporsitional Logic (PL) vs First Order Logic (FL)

PL: not, and, or, if … then

FL: there exists, All, among … and only …


Proporsitional Logic (PL) vs First Order
 

Logic (FL)
Example FL:
Every student is younger than some instructor

Model:
S(x): x is a student
I(y): y is an instructor
Y(x,y): x is younger then y
Relations and Predicates

‘First-order logic is an extension of


propositional logic that includes predicates
interpreted as relations on a domain’
Relations and Predicates
Relations and Predicates
Relations and Predicates
Relations and Predicates
Formulas in First-Order Logic : Syntax
Formulas in First-Order Logic : Syntax
Formulas in First-Order Logic : Syntax
Formulas in First-Order Logic : Scope of
Variable
Formulas in First-Order Logic : Scope of
Variable
Formulas in First-Order Logic : Scope of
Variable
Interpretations
Interpretations
Interpretations
Validity and Satisfiablity
Validity and Satisfiablity
Logical Equivalence
Logical Equivalence
Logical Equivalences in First Order Logic
Logical Equivalences in First Order Logic
Logical Equivalences in First Order Logic
Logical Equivalences in First Order Logic
Logical Equivalences in First Order Logic
Semantic Tableaux
Semantic Tableaux : Examples
Semantic Tableaux : Examples
Semantic Tableaux : Examples
Semantic Tableaux : Examples
Semantic Tableaux : Examples
Semantic Tableaux : Examples
Semantic Tableaux : Examples
Daftar Pustaka
1. David W. Agler, Symbolic logic : syntax, semantics, and proof , Rowman & Littlefield
Publishers, Inc (2013)
2. Mordechai Ben Ari (Weizmann Institute of Science), Mathematical Logic For Computer
Science(Third Edition) , Springer
3. Kenneth H. Rosen, Discrete mathematics and its applications (7th ed), McGraw-Hill

You might also like