truth functions relationships a function is a relation that links members of sets. the set of all x...
TRANSCRIPT
![Page 1: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/1.jpg)
Truth Functions
![Page 2: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/2.jpg)
Relationships
• A function is a relation that links members of sets.
• The set of all x which are in relation R with some y is called the
domain of R.
• The set of all y such that, for some x, x is in relation R with y is
called the range of R.
![Page 3: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/3.jpg)
Functions
• A function is a special kind of relation
• It’s a relation where every object, a,
from the domain, is related to precisely
one object in the range, namely, to the
value of the function at a.
![Page 4: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/4.jpg)
Functions
RangeDomain
• A function is a rule for linking members of the domain to
members of the range
• It links them in such a way that for every member of the domain
there is a unique member of the range to which it connects.
• If you know the point at which you start, you know where you
end up.
![Page 5: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/5.jpg)
Functions
RangeDomain
• But what about the links that go from more than one member of
the domain to a single member of the range?
• Is this ok?
• Yes! Because even though in each of these cases we start at
different places we still know where we end up!
![Page 6: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/6.jpg)
Not a Function!
RangeDomain
• But what if it were like this, with links from one member of the
domain connecting to more than one member of the range?
• Is this ok?
• No! Because if it’s like this, then knowing where we start doesn’t
tell us where we’re going to end up!
![Page 7: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/7.jpg)
The Black Box
DomainRange
One at atime, puleeze So we can think of a function as a black
box, a machine that takes members of the domain as inputs and pumps out their values under that function
f
![Page 8: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/8.jpg)
Functions & Other Relations
f
If it’s not a function, it’s like a gumball machine: you put in your money but you don’t know exactly what will come out.
If it’s not a function, it’s like a gumball machine: you put in your money but you don’t know exactly what will come out.
If it’s a function, if you know what the function is, and know what goes in, then you know exactly what will come out.
If it’s a function, if you know what the function is, and know what goes in, then you know exactly what will come out.
?
![Page 9: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/9.jpg)
What members?
• The members of the domain
and range of functions can be
anything you please:
• They can be numbers…
• Or they can be truth
values!
FunctionlandEveryone Welcome!
![Page 10: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/10.jpg)
f (x) = x + 1
+11
1 goes in…
![Page 11: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/11.jpg)
f (x) = x + 1
+1 2
2 comes out…
![Page 12: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/12.jpg)
f (x) = x + 1
+12
2 goes in…
![Page 13: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/13.jpg)
f (x) = x + 1
+1 3
3 comes out…
![Page 14: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/14.jpg)
f (x) = x + 1
+1714
714 goes in…
![Page 15: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/15.jpg)
f (x) = x + 1
+1 715
715 comes out…
Boring.
Functions are predictable!
![Page 16: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/16.jpg)
Truth Functions
fT T
F F
Truth functions take truth values as inputs and output truth values.
The 5 connectives of propositional logic represent 5 different truth functions
![Page 17: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/17.jpg)
A function is as a function does
+1 ^2
~
What makes a function the function it is (rather than some other function) is the characteristic way in which it links input and output. We can display this by showing tables of values for functions.
Some functionshave more than
one input
![Page 18: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/18.jpg)
f (x) = x2^2
1 1
2 4
3 9
4 16
x f (x)
![Page 19: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/19.jpg)
f (p) = ~p~p f (p)
T F
F T
Each of the truth functions represented by the 5 connectives of propositional logic has a characteristic truth table that makes it the function it is.
![Page 20: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/20.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Truth tables for the connectives give us the meanings of “not,” “and,” “or,” “if-then” and “if and only if” in the language of propositional logic--which may not be exactly the same as their meanings in ordinary English.
![Page 21: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/21.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
p and q are variables standing for sentences.
The columns underneath them represent every possible combination of truth values they may have.
![Page 22: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/22.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
The other columns represent the values of the truth functions at every given combination of truth values
![Page 23: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/23.jpg)
Non-Truth Functional Connectives
?
All the connectives of propositional logic are truth functional.
But some of the connectives of ordinary English are not truth functional.
These include (among others) English connectives that concern certain mental states and the ordinary English if-then.
![Page 24: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/24.jpg)
Non-Truth Functional Connectives
Sambelieves
that…
China is more populous than India.
Sam believes that China is more populous than India.
T
?What do Iknow?!?!!
p
Sam believes
that p
T ?
F ?
![Page 25: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/25.jpg)
Non-Truth Functional Connectives
The moon is made out of green cheese.
Sam believes that the moon is made out of green cheese.
Duh, mebbe…dunno.
p
Sam believes
that p
T ?
F ?
Sambelieves
that…
F
?
![Page 26: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/26.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Negation reverses truth value:
False TrueTrue False
Easy. Justlike English.
![Page 27: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/27.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Conjunction is true when both conjuncts are true--otherwise false
OK.
![Page 28: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/28.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Disjunction is false when both disjuncts are false--otherwise true
It’s theinclusive or.
![Page 29: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/29.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Biconditional is true when both sides have same truth value--otherwise false.
It expresses logical equivalence and so tests for sameness of truth value
New one on me, but OK.
![Page 30: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/30.jpg)
Truth Tables for the Connectives
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
Conditional is false when antecedent is true and consequent false--otherwise true
Huh??!?You gotta be
kidding!
![Page 31: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/31.jpg)
“Paradoxes” of Material Implicationp ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
This means that whenever the antecedent is false the whole conditional is true!
“If the moon is green cheese then 2+2 = 4.” - TRUE
“If the moon is green cheese then 2+2 = 5.” - TRUE
“If the moon is green cheese then the moon is not green cheese.” - TRUE
![Page 32: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/32.jpg)
“Paradoxes” of Material Implicationp ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
It also means that whenever the consequent is true the whole conditional is true!
“If the moon is green cheese then 2+2 = 4.” - TRUE
“If the moon is not green cheese then 2+2 = 4.” - TRUE
“If 2+2 = 5 then 2+2 = 4.” - TRUE
![Page 33: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/33.jpg)
The conditional of propositional logic is defined by its characteristic truth table--and we can define symbols any way we please.
It just isn’t a perfect translation of the ordinary English if-then because…
![Page 34: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/34.jpg)
The English if-then is not truth-functional!
The conditional of logic is a black box but the IF-THEN of ordinary English is a gum machine!
![Page 35: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/35.jpg)
Computing Truth Values
• Because the connectives of propositional logic (unlike
some of the connectives of ordinary English) are truth
functional we can compute the truth values of whole
sentences in propositional logic if we know the truth
values of their parts.
• And sometimes we don’t even need to know the truth
values of all their parts to do this.
• And sometimes we don’t even need to know the truth
values of any of their parts!
![Page 36: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/36.jpg)
Computing Truth Value
• We want to compute the truth value of this sentence given truth values assigned to its constituent sentence letters.
• The truth value for the whole sentence will go in a circle under its main connective.
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
(A Y) (Z B)
![Page 37: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/37.jpg)
Computing Truth Value
• We start by assigning truth values to the sentence letters.
• How do we know what truth values to assign?
• IT TELLS YOU IN THE DIRECTIONS FOR THE EXERCISE!!!
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
(A Y) (Z B)TFT F
![Page 38: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/38.jpg)
Computing Truth Value
• Compound sentences have parts, or subformulas, that are themselves sentences.• The truth value for each subformula goes underneath its main connective--or if it’s
just a sentence letter, underneath it.
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
(A Y) (Z B)Truth valuefor “A” goes
here
Truth value for“Z B”goes
here
![Page 39: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/39.jpg)
Computing Truth Value
• Then, working from smaller parts to larger parts, we assign truth values to more subformulas referring to the truth tables.
• “A • Y” is false because TRUE-FALSE for conjunction is FALSE, as the truth table tells us.
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
(A Y) (Z B)TFT FF
![Page 40: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/40.jpg)
Computing Truth Value
• “Z B” is true because FALSE-TRUE for disjunction is TRUE, as the truth table tells us.
• We don’t care about the truth values for A and Y anymore because we’ve used them to compute another truth value.
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
(A Y) (Z B)TFT FF T
![Page 41: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/41.jpg)
Computing Truth Value
• Now we have truth values for both antecedent and consequent of the whole conditional so we compute the truth value for the whole sentence.
• FALSE-TRUE for conditional is TRUE so the sentence is TRUE.
p ~p
T F
F T
p q p q p q p q p q
T T T T T T
T F F T F F
F T F T T F
F F F F T T
(A Y) (Z B)TFT FF TT
![Page 42: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/42.jpg)
What’s this exercise for?
• This is a preliminary exercise for doing truth tables for
compound sentences.
• When you compute the truth value of a compound sentence
given the truth value of its constituent sentence letters you’re
doing one row of a truth table.
• Each row of a truth table represents a truth value assignment for
its constituent sentence letters.
• A complete truth table gives truth values for a sentence in every
possible truth value assignment.
![Page 43: Truth Functions Relationships A function is a relation that links members of sets. The set of all x which are in relation R with some y is called the](https://reader030.vdocuments.mx/reader030/viewer/2022032606/56649eb45503460f94bbc03b/html5/thumbnails/43.jpg)
To be continued…To be continued…