sl truth value assignments
DESCRIPTION
SL Truth value assignments. SL Truth value assignments. PL Interpretation. SL Truth value assignments. PL Interpretation Giving an interpretation means defining: UD. SL Truth value assignments. PL Interpretation Giving an interpretation means defining: UD Predicates. SL - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/1.jpg)
SL
Truth value assignments
![Page 2: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/2.jpg)
SL
Truth value assignments
PL
Interpretation
![Page 3: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/3.jpg)
SL
Truth value assignments
PL
Interpretation
Giving an interpretation means defining:
UD
![Page 4: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/4.jpg)
SL
Truth value assignments
PL
Interpretation
Giving an interpretation means defining:
UD
Predicates
![Page 5: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/5.jpg)
SL
Truth value assignments
PL
Interpretation
Giving an interpretation means defining:
UD
Predicates
Constants
![Page 6: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/6.jpg)
SL
Truth value assignments
PL
Interpretation
Giving an interpretation means defining:
UD
Predicates
Constants
Of course, we do not define variables
![Page 7: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/7.jpg)
Truth values of PL sentences are
relative to an interpretation
![Page 8: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/8.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
Fx = x is human
a = Socrates
• Bab
![Page 9: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/9.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
Fx = x is human Fx = x is handsome
a = Socrates a = Socrates
• Bab
![Page 10: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/10.jpg)
![Page 11: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/11.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
Fx = x is human Fx = x is handsome
a = Socrates a = Socrates
• Bab
Bxy = x is bigger than y
a = Himalayas
b = Alpes
![Page 12: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/12.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
Fx = x is human Fx = x is handsome
a = Socrates a = Socrates
• Bab
Bxy = x is bigger than y
a = Himalayas a = Himalayas
b = Alpes b = the moon
![Page 13: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/13.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
Fx = x is human Fx = x is handsome
a = Socrates a = Socrates
• Bab
Bxy = x is bigger than y
a = Himalayas a = Himalayas a = Himalayas
b = Alpes b = the moon b = Himalayas
![Page 14: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/14.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
Fx = x is human Fx = x is handsome
a = Socrates a = Socrates
• Bab
Bxy = x is bigger than y
a = Himalayas a = Himalayas a = Himalayas
b = Alpes b = the moon b = Himalayas
No constant can refer to more than one individual!
![Page 15: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/15.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
• Bab
• ~xFx
UD = food
Fx = x is in the fridge
![Page 16: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/16.jpg)
Truth values of PL sentences are
relative to an interpretation
Examples:
• Fa
• Bab
• ~xFx
UD = food
Fx = x is in the fridge
UD = everything
Fx = x is in the fridge
![Page 17: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/17.jpg)
Extensional definition of predicates
Predicates are sets
![Page 18: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/18.jpg)
Extensional definition of predicates
Predicates are sets
Their members are everything they are true of
![Page 19: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/19.jpg)
Extensional definition of predicates
Predicates are sets
Their members are everything they are true of
Predicates are defined relative to a UD
![Page 20: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/20.jpg)
Extensional definition of predicates
Predicates are sets
Their members are everything they are true of
Predicates are defined relative to a UD
Example:
UD = natural numbers
Ox = x is odd
O = {1,3,5,7,9, ...}
![Page 21: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/21.jpg)
Extensional definition of predicates
Predicates are sets
Their members are everything they are true of
Predicates are defined relative to a UD
Example:
UD = natural numbers
Ox = x is odd
Ox = {1,3,5,7,9, ...}
Bxy = x>y
Bxy = {(2,1), (3,1), (3,2), ...}
![Page 22: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/22.jpg)
Extensional definition of predicates
Predicates are sets
Their members are everything they are true of
Predicates are defined relative to a UD
Example:
UD = natural numbers
Ox = x is odd Bxyz = x is between y and z
Ox = {1,3,5,7,9, ...} Bxyz = {(2,1,3), (3,2,4), ...}
Bxy = x>y
Bxy = {(2,1), (3,1), (3,2), ...}
![Page 23: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/23.jpg)
Extensional definition of predicates
Predicates are sets
Their members are everything they are true of
Predicates are defined relative to a UD
Example:
UD = natural numbers
Ox = x is odd Bxyz = x is between y and z
Ox = {1,3,5,7,9, ...} Bxyz = {(2,1,3), (3,2,4), ...}
Bxy = x>y Bxyz = y is between x and z
Bxy = {(2,1), (3,1), (3,2), ...} Bxyz = {(1,2,3), (2,3,4), ...}
![Page 24: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/24.jpg)
(An & Bmn) ~ Cn UD: All positive integersAx: x is oddBxy: x is bigger than yCx: x is prime
m: 2n: 1
Truth-values of compound sentences
![Page 25: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/25.jpg)
(An & Bmn) ~ Cn UD: All positive integersAx: x is oddBxy: x is bigger than yCx: x is prime
m: 2n: 1
Truth-values of compound sentences
UD: All positive integersAx: x is evenBxy: x is bigger than yCx: x is prime
m: 2n: 1
![Page 26: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/26.jpg)
Truth-values of quantified sentences
Birds fly
UD = birds
xFx
![Page 27: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/27.jpg)
Truth-values of quantified sentences
Birds fly
UD = birds
xFx
Fa
Fb
Fc
:
Ftwooty
:
![Page 28: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/28.jpg)
Truth-values of quantified sentences
Birds fly
UD = birds UD = everything
xFx x(Bx Fx)
Fa
Fb
Fc
:
Ftwooty
:
![Page 29: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/29.jpg)
Truth-values of quantified sentences
Birds fly
UD = birds UD = everything
xFx x(Bx Fx)
Fa Ba Fa
Fb Bb Fb
Fc Bc Fc
: :
Ftwooty Btwootie Ftwootie
: :
![Page 30: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/30.jpg)
Truth-values of quantified sentences
Birds fly Some birds don’t fly
UD1 = birds UD2 = everything UD1
xFx x(Bx Fx) x~Fx
Fa Ba Fa
Fb Bb Fb
Fc Bc Fc
: :
Ftwooty Btwootie Ftwootie
: :
![Page 31: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/31.jpg)
Truth-values of quantified sentences
Birds fly Some birds don’t fly
UD1 = birds UD2 = everything UD1
xFx x(Bx Fx) x~Fx
Fa Ba Fa ~Ftwootie
Fb Bb Fb
Fc Bc Fc
: :
Ftwooty Btwootie Ftwootie
: :
![Page 32: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/32.jpg)
Truth-values of quantified sentences
Birds fly Some birds don’t fly
UD1 = birds UD2 = everything UD1
xFx x(Bx Fx) x~Fx
Fa Ba Fa ~Ftwootie
Fb Bb Fb
Fc Bc Fc UD2
: : x(Bx & ~Fx)
Ftwooty Btwootie Ftwootie Bt & ~Ft
: :
![Page 33: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/33.jpg)
Truth-values of quantified sentences
xFx
Fa & Fb & Fc & ...
![Page 34: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/34.jpg)
Truth-values of quantified sentences
xFx
Fa & Fb & Fc & ...
xBx
Fa Fb Fc ...
![Page 35: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/35.jpg)
Truth-values of quantified sentences
(x)(Ax (y)Lyx)
![Page 36: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/36.jpg)
Truth-values of quantified sentences
(x)(Ax (y)Lyx)
UD1: positive integers
Ax: x is odd
Lxy: x is less than y
![Page 37: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/37.jpg)
Truth-values of quantified sentences
(x)(Ax (y)Lyx)
UD1: positive integers
Ax: x is odd
Lxy: x is less than y
UD2: positive integers
Ax: x is even
Lxy: x is less than y
![Page 38: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/38.jpg)
Truth-values of quantified sentences
(x)(Ax (y)Lyx)
UD1: positive integers
Ax: x is odd
Lxy: x is less than y
UD2: positive integers
Ax: x is even
Lxy: x is less than y
(x)(y)(Lxy & ~Ax)
![Page 39: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/39.jpg)
Va & (x) (Lxa ~ Exa)
UD1: positive integersVx: x is evenLxy: x is larger than yExy: x is equal to y
a:2
UD2: positive integersVx: x is oddLxy: x is less than y
Exy: x is equal to ya:1
UD3: positive integersVx: x is oddLxy: x is larger than or equal to yExy: x is equal to ya: 1
![Page 40: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/40.jpg)
A sentence P of PL is quantificationally true if and only if P is true on every possible interpretation.
A sentence P of PL is quantificationally false if and only if P is false on every possible interpretation.
A sentence P of PL is quantificationally indeterminate if and only if P is neither quantificationally true nor quantificationally false.
Quantificational Truth, Falsehood, and Indeterminacy
![Page 41: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/41.jpg)
A sentence P of PL is quantificationally true if and only if P is true on every possible interpretation.
Quantificational Truth, Falsehood, and Indeterminacy
Explain why the following is quantificationally true.~ (x) (Ax ≡ ~Ax)
![Page 42: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/42.jpg)
A sentence P of PL is quantificationally false if and only if P is false on every possible interpretation.
Quantificational Truth, Falsehood, and Indeterminacy
Explain why the following is quantificationally false:(x)Ax & (y) ~Ay
![Page 43: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/43.jpg)
A sentence P of PL is quantificationally indeterminate if and only if P is neither quantificationally true nor quantificationally false.
Quantificational Truth, Falsehood, and Indeterminacy
Show that the following is quantificationally indeterminate:
(Ac & Ad) & (y) ~Ay
![Page 44: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/44.jpg)
Sentences P and Q of PL are quantificationally equivalent if and only if there is no interpretation on which P and Q have different truth values.
A set of sentences of PL is quantificationally consistent if and only if there is at least one interpretation on which all members are true. A set of sentences of PL is quantificationally inconsistent if and only if it is not quantificationally consistent, i.e. if and only if there is no interpretation on which all members have the same truth value.
Quantificational Equivalence and Consistency
![Page 45: SL Truth value assignments](https://reader035.vdocuments.us/reader035/viewer/2022062500/56815a86550346895dc7f5bb/html5/thumbnails/45.jpg)
A set of sentences of PL quantificationally entails a sentence P of PL if and only if there is no interpretation on which all the members of are true and P is false.
An argument is quantificationally valid if and only if there is no interpretation on which every premise is true yet the conclusion false.
Quantificational Entailment and Validity