Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Sentential Logic（SL） 1.Syntax: The language of SL / Symbolize 2.Semantic: a sentence / compare two sentences / compare a set of sentences 3.DDerivation."— Presentation transcript:

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

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

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

4 Syntax: Symbolize

5 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

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

7 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

8 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

9 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

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

11 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

12 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

13 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

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

15 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

16 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

17 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

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

19 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

20 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

21 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

22 (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

Download ppt "Sentential Logic（SL） 1.Syntax: The language of SL / Symbolize 2.Semantic: a sentence / compare two sentences / compare a set of sentences 3.DDerivation."

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.

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

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.

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.

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.

Formal Semantics of S. Semantics and Interpretations There are two kinds of interpretation we can give to wffs: –Assigning natural language sentences.
Logic.

Logic.
Today’s Topics Logical Syntax Logical Syntax o Well-Formed Formulas o Dominant Operator (Main Connective) Putting words into symbols Putting words into.

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

Notes on Logic Continued
Computability and Complexity 8-1 Computability and Complexity Andrei Bulatov Logic Reminder.

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.

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.

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.

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.

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.

An Introduction to Propositional Logic Translations: Ordinary Language to Propositional Form.
PHIL 120: Jan 8 Basic notions of logic

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.

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.

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:

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.

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;

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;

Similar presentations

Ads by Google