Download presentation

Presentation is loading. Please wait.

Published byHayley Pere Modified over 2 years ago

1
**Lecture 10 varieties of necessity tautological equivalence**

tautological consequence

2
**Logical truth and tarski’s world necessities**

Let’s call a sentence Tarski’s World-necessary (TW-necessary) just in case it is true in all the worlds that can possibly be constructed in Tarski’s World. What’s the relationship between logical truth and TW-necessity? All logical truths are TW-necessary. Some TW-necessities are not logical truths, e.g., ‘Tet(a) ∨ Cube(a) ∨ Dodec(a).’ So the logical necessities are a strict subset of the TW-necessities.

3
Exercise 4.8 For each of the following sentences, say where it goes in the following Euler circle diagram 5. Larger(a,b) ∨ ¬Larger(a,b) 6. Larger(a,b) ∨ Smaller (a,b)

4
**i>clicker question**

‘¬[¬Tet(a) ∧ ¬Cube(a) ∧ ¬Dodec(a)]’ is A tautology A TW-necessity A and B None of the above

5
**Logical and tautological equivalence**

6
equivalence Our informal definition of equivalence, like our informal definition of logical truth, also referred to possible worlds: P and Q are equivalent if and only if they are true in all and only the same possible worlds. With our different conceptions of possibility and necessity, we can distinguish different kinds of equivalence: tautological equivalence logical equivalence, and TW-equivalence.

7
**Tautological equivalence**

To give a more precise definition of tautological equivalence, we will use the notion of sentences’ joint truth tables. The joint truth table for A and B is the truth table with both sentences to the right of the reference columns. Sentences A and B are tautologically equivalent if and only if at each row, the truth value under A’s main connective is the same as the truth value under B’s main connective. A A ∨ ¬A A ∧ ¬A T T F F F F T T F T Do some examples: (A and not-A) or B B (A or not-A) and B B

8
**Some important logical equivalences**

DeMorgan’s Laws Double Negation

9
**Tautological equivalence and logical equivalence**

All tautological equivalences are logical equivalences. But remember how not all logical truths were tautologies? Similarly, not all tautological equivalences are logical equivalences. Example: ‘a = b’ is logically but not tautologically equivalent to ‘¬FrontOf(a,b).’

Similar presentations

OK

Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.

Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on computer languages types Download ppt on festival of india Ppt on measuring area and volume 3rd grade Ppt on urbanization and environment Ppt on introduction to object-oriented programming polymorphism Ppt on object-oriented programming concepts polymorphism Download ppt on coordinate geometry for class 9th science Ppt on 2nd green revolution Ppt on types of soil erosion Ppt on automobile related topics