Sentential Logic(SL) 1.Syntax: The language of SL / Symbolize 2.Semantic: a sentence / compare two sentences / compare a set of sentences 3.DDerivation.

Slides:



Advertisements
Similar presentations
TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.
Advertisements

Preview of SL Logic Class 3. Either it is raining or it is snowing A A: It is raining B: It is snowing B  : Or 
Chapter Two Symbolizing in Sentential Logic This chapter is a preliminary to the project of building a model of validity for sentential arguments. We.
Semantics of SL and Review Part 1: What you need to know for test 2 Part 2: The structure of definitions of truth functional notions Part 3: Rules when.
Formal Semantics of S. Semantics and Interpretations There are two kinds of interpretation we can give to wffs: –Assigning natural language sentences.
Logic.
Today’s Topics Logical Syntax Logical Syntax o Well-Formed Formulas o Dominant Operator (Main Connective) Putting words into symbols Putting words into.
Notes on Logic Continued
Computability and Complexity 8-1 Computability and Complexity Andrei Bulatov Logic Reminder.
Today’s Topics n Symbolizing conditionals and bi-conditionals n Other complex symbolizations. n Unless.
Logic in general Logics are formal languages for representing information such that conclusions can be drawn Syntax defines the sentences in the language.
1 CA 208 Logic Ex3 Define logical entailment  in terms of material implication  Define logical consequence |= (here the semantic consequence relation.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
An Introduction to Propositional Logic Translations: Ordinary Language to Propositional Form.
PHIL 120: Jan 8 Basic notions of logic
Predicate Logic (PL) 1.Syntax: The language of PL Formula VS. Sentence Symbolize A-, E, I-, and O-sentences 2.Semantic: a sentence compare two sentences.
Proving the implications of the truth functional notions  How to prove claims that are the implications of the truth functional notions  Remember that.
The semantics of SL   Defining logical notions (validity, logical equivalence, and so forth) in terms of truth-value assignments   A truth-value assignment:
Phil 120 week 1 About this course. Introducing the language SL. Basic syntax. Semantic definitions of the connectives in terms of their truth conditions.
Tweedledum: “I know what you’re thinking, but it isn’t so. No how.” Tweedledee: “Contrariwise, if it was so, it might be; and if it were so, it would be;
The Language of Propositional Logic The Syntax and Semantics of PL.
Adapted from Discrete Math
Elementary Logic PHIL Intersession 2013 MTWHF 10:00 – 12:00 ASA0118C Steven A. Miller Day 4.
1 Propositional Logic Proposition 2 Propositions can be divided into simple propositions and compound propositions. A simple (or basic) proposition is.
Math 240: Transition to Advanced Math Deductive reasoning: logic is used to draw conclusions based on statements accepted as true. Thus conclusions are.
The Language S : Æ Ç ! $.
2.2 Statements, Connectives, and Quantifiers
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Propositional Logic Dr. Rogelio Dávila Pérez Profesor-Investigador División de Posgrado Universidad Autónoma Guadalajara
Chapter Three Truth Tables 1. Computing Truth-Values We can use truth tables to determine the truth-value of any compound sentence containing one of.
Propositional calculus
Logical Agents Chapter 7. Outline Knowledge-based agents Logic in general Propositional (Boolean) logic Equivalence, validity, satisfiability.
PHIL 120: Third meeting I. I. What to know for Test 1 (in general terms). II. II. Symbolizing compound sentences (cont’d) a. a. Paying attention to English.
Thinking Mathematically
Propositional Logic Symbolic logic If A, then B A  B Capital letters stand for simple sentences A simple sentence is an affirmative single statement “It’s.
1 Propositional Logic Introduction. 2 What is propositional logic? Propositional Logic is concerned with propositions and their interrelationships. 
Thinking Mathematically Statements, Negations, and Quantified Statements.
LOGIC. Logic in general  Logics are formal languages for representing information such that conclusions can be drawn  Syntax defines the sentences in.
9.2 Compound Sentences Standard 5.0, 24.0 Standard 5.0, 24.0 Two Key Terms Two Key Terms.
Section 1.1 Propositions and Logical Operations. Introduction Remember that discrete is –the study of decision making in non-continuous systems. That.
Discrete Mathematics Lecture # 1. Course Objectives  Express statements with the precision of formal logic.  Analyze arguments to test their validity.
ARTIFICIAL INTELLIGENCE Lecture 2 Propositional Calculus.
Week 8 Discussion: Ch 8, TA: Karin Howe PHIL 121 Spring 2012.
Introductory Logic PHI 120 Presentation: "Truth Tables – Sentences"
 Statement - sentence that can be proven true or false  Truth value – true or false  Statements are often represented using letters such as p and q.
Chapter Eight Predicate Logic Semantics. 1. Interpretations in Predicate Logic An argument is valid in predicate logic iff there is no valuation on which.
 Conjunctive Normal Form: A logic form must satisfy one of the following conditions 1) It must be a single variable (A) 2) It must be the negation of.
Simple Logic.
Sentential logic. Lecture based on: Graeme Forbes, Modern Logic Katarzyna Paprzycka, online lectures.
Propositional Logic (a.k.a. Sentential Logic)
AND.
DISCRETE MATHEMATICS CHAPTER I.
Today’s Topics Symbolizing conditionals and bi-conditionals
Truth Tables and Equivalent Statements
CHAPTER 3 Logic.
Truth Tables for Negation, Conjunction, and Disjunction
Logic.
{P} ⊦ Q if and only if {P} ╞ Q
ARTIFICIAL INTELLIGENCE
6.1 Symbols and Translation
Chapter 8 Logic Topics
TRUTH TABLES.
TRUTH TABLES continued.
(1.4) An Introduction to Logic
Discrete Mathematics Lecture 2: Propositional Logic
PROPOSITIONAL LOGIC - SYNTAX-
Statements and Logical Connectives
2-2 Logic Vocab Statement: A sentence that is either true or false
CHAPTER 3 Logic.
Logical truths, contradictions and disjunctive normal form
Presentation transcript:

Sentential Logic(SL) 1.Syntax: The language of SL / Symbolize 2.Semantic: a sentence / compare two sentences / compare a set of sentences 3.DDerivation

Syntax: The Language SL Vocabularies: A, B, C, …,Y, Z, A1... Logical connection: &, ~, , ,  Punctuation marks: ( ) Sentences

A recursive definition of sentences of SL 1.Every sentence letter is a sentence. 2.If P is a sentence, then ~ P is a sentence. 3.If P and Q are sentences, then ( P & Q ) is a sentence. 4.If P and Q are sentences, then ( P  Q ) is a sentence. 5.If P and Q are sentences, then ( P  Q ) is a sentence. 6.If P and Q are sentences, then ( P  Q ) is a sentence. 7.Nothing is a sentence unless it can be formed by repeated application of clauses 1-6.

Syntax: Symbolize

Conjunction (&) P Q P & Q T T F F T F T F T T F F T F T F T F F F

Negation (~) P ~ P T T F F T T F F F F T T

Disjunction (  ) P Q P  Q T T F F T F T F T T F F T F T F T T T F

Conditional (  ) P Q P  Q T T F F T F T F T T F F T F T F T F T T

Biconditional (  ) P Q P  Q T T F F T F T F T T F F T F T F T F F T

Semantic: a sentence Truth-functional truth: A sentence P of SL is truth-functionally true if and only if P is true on every truth-value assignment. T ruth-functional false : A sentence P of SL is truth-functionally false if only if P is false on every truth value assignment. Truth-functionally indeterminate: A sentence P of S L is truth-functionally indeterminate if and only if P is neither truth-functionally true or truth- functionally false.

A B (A  B)  (~A  B) T T F F T F T F T T F F F F T T T F F T Truth-functionally truth T T F F T F T T T F T F T F T T T T T T

A B ~ ( (~A  B)  ~ (A  B) ) T T F F T F T F Truth-functionally false T T F F F F T T T F T F T F T T T T F F T F T F T F T T F T F F T T T T F F F F

Truth-functional indeterminate A B ( A  B )  A T T F F T F T F T T F F T F T F T F T T T T F F T T F F

Semantic: compare two sentences T ruth-functionally equivalent : Sentences P and Q of S L are truth-functionally equivalent if and only if there is no truth-value assignment on which P and Q are different truth-values. T ruth-functionally contradictory : Sentences P and Q of S L are truth-functionally contradictory if and only if there is no truth-value assignment on which P and Q are the same truth-values. T ruth-functionally independent : Sentences P and Q of S L are truth-functionally independent if they are neither truth-functionally equivalent nor truth-functionally contradictory.

A B A & B / ~ (A  ~B) T T F F T F T F Truth-functionally equivalent T F F F T T F F T F T T T T F F T F T F F T T T T F F F F T F T

A B A  B / ~ ((~A  B) & (~B  A)) T T F F T F T F Truth-functionally contradictory T T F F T F T F T F F T T T F F F F T T T F T F T F T T T F T F F T F T T T F F T F F T T F F T F T T F

A B A & B / A  B T T F F T F T F Truth-functionally independent T F F F T T F F T F T T T T F F T F T F T T T F

Semantic: compare a set of sentences Truth-functionally consistent: A set of sentences of SL is truth-functionally if and only if there is at least one truth- functionally assignment on which all the numbers of the set are true. Truth-functionally inconsistent: A set of sentences of SL is truth-functionally inconsistent if and only if it is not truth-functionally consistent.

A B H A / B  H / B T T T T F F F F T T F F T T F F Truth-functionally consistent T F T F T F T F T T T T F F F F T T F F T T F F T F T F T F T F T F T T T F T T T T F F T T F F i n v a l i d

J H (J  J)  H / ~ J / ~ H T T F F T F T F Truth-functionally inconsistent T T F F T T F F T T T T T F T F T F T T T T F F F F T T T F T F F T F T v a l i d

Derivation (1) Derive: ~N 1 H  ~N Assumption 2 ( H  G) & ~M Assumption 3 ~N  ( G  B ) Assumption 4 H  G 2 &E 5 H Assumption 6 ~ N 1, 5  E 7 G Assumption 8 G  B 7  I 9 ~ N 3, 8  E 8 ~N 4, 5-6, 7-9  E

(2) Derive: L & ~K 1 (~L  K)  A Assumption 2 A  ~A Assumption 3 ~L Assumption 4 ~L  K 3  I 5 A 1, 4  E 6 ~A 2, 5  E 7 L Assumption 8 K Assumption 9 ~L  K 8  I 10 A 1, 9  E 11 ~A 2, 10  E 12 ~K 8-11 ~I 13 L & ~K 7,12 &I