![Page 1: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/1.jpg)
1
INTRO LOGICINTRO LOGICDAY 17DAY 17
Translations in PLTranslations in PL33
![Page 2: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/2.jpg)
2
REVIEW of REVIEW of DAY 1 and DAY 2DAY 1 and DAY 2
![Page 3: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/3.jpg)
3
Existential QuantifierExistential Quantifier
Hxxx is happythere is some x :
who is happythere is someone
is happysomeone
![Page 4: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/4.jpg)
4
Existential-Negative QuantifierExistential-Negative Quantifier
Hxxx is not happythere is some x :
who is not happythere is someone
is unhappysomeone
![Page 5: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/5.jpg)
5
Universal QuantifierUniversal Quantifier
Hxx
x is happyno matter who x is
you are happyno matter who you are
is happyeveryone
![Page 6: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/6.jpg)
6
Universal-Negative QuantifierUniversal-Negative Quantifier
Hxx
x is not happyno matter who x is
you are not happyno matter who you are
is unhappyeveryone
![Page 7: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/7.jpg)
7
Negative-Existential QuantifierNegative-Existential Quantifier
Hxxx is happythere is no x :
who is happythere is no one
is happyno one
![Page 8: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/8.jpg)
8
Negative-Universal QuantifierNegative-Universal Quantifier
Hxx
x is happynot: no matter who x is
you are happynot: no matter who you are
is happynot everyone
![Page 9: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/9.jpg)
9
Quantifier-Specification – ‘some’Quantifier-Specification – ‘some’
some Freshman is Happy
Hx&Fxxx is Handx is Fthere is some x
there is someone who is Handwho is F
( )
![Page 10: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/10.jpg)
10
Quantifier-Specification – ‘no’Quantifier-Specification – ‘no’
no Freshman is Happy
Hx&Fxxx is Handx is Fthere is no x
there is no one who is Handwho is F
( )
![Page 11: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/11.jpg)
11
Quantifier-Specification – ‘every’Quantifier-Specification – ‘every’
every Freshman is Happy
HxFxxIF x is F THEN x is Hno matter who x is
no matter who you are IF you are F THEN you are H
)(
![Page 12: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/12.jpg)
12
new material new material for day 3for day 3
![Page 13: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/13.jpg)
13
Multiple QuantificationMultiple Quantificationsentences with more than sentences with more than
one quantifierone quantifier
GENERAL STRATEGY
(1) Count the number of quantifiers in original sentence.
(2) Determine the overall structure of the sentence.
(3) Work on constituents separately.
(4) Substitute constituents back into overall formula.
(5) Count the number of quantifiers in final formula.
(6) Compare (5) with (1).
![Page 14: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/14.jpg)
14
Example 1Example 1
everyone is FRIENDLY, but not everyone is HAPPY
x Hxx Fx
&
everyone is Hnotbut everyone is F
x Hxx Fx
![Page 15: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/15.jpg)
15
Example 2Example 2
every CAT is a PET, but not every PET is a CAT
x ( Px Cx )x ( Cx Px )
&
every P is Cnotbut every C is P
x ( Px Cx )x ( Cx Px )
![Page 16: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/16.jpg)
16
Example 3Example 3
if everyone is FRIENDLY, then everyone is HAPPY
xHxxFx
everyone is Htheneveryone is Fif
xHxxFx
![Page 17: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/17.jpg)
17
Example 4Example 4
if every STUDENT is FRIENDLY,then every STUDENT is HAPPY
x(Sx Hx)x(Sx Fx)
every S is Hthenevery S is Fif
x(Sx Hx)x(Sx Fx)
![Page 18: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/18.jpg)
18
‘‘Any’ versus ‘Every’ Any’ versus ‘Every’
Basic Principle
both ‘any’ and ‘every’ are universal quantifiers,
BUT
they are usually
not inter-changeable.
![Page 19: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/19.jpg)
19
Some Some times they times they areare interchangeableinterchangeable
every one can DancexDx
any one can Dance
if I can Dance, then every one can
Di xDx
if I can Dance, then any one can
![Page 20: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/20.jpg)
20
no one respects every one
if every one can fix your car, then I can
Jay doesn’t respect every one
is every one here?
UsuallyUsually, they , they areare notnot interchangeable interchangeable
no one respects any one
if any one can fix your car, then I can
Jay doesn’t respectany one
is any one here?
![Page 21: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/21.jpg)
21
Difference between ‘every’ and ‘any’ Difference between ‘every’ and ‘any’
the scope of ‘every’ is narrow
the scope of ‘any’ is wide
![Page 22: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/22.jpg)
22
Example — Not-Every Example — Not-Every
xRjx
not! Jay respects everyone
Jay doesn’t respect everyone
‘not’ () has wide scope
‘every’ () has narrow scope
![Page 23: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/23.jpg)
23
Example — Not-Any Example — Not-Any
‘any’ () has wide scope‘not’ () has narrow scope
RjxxJay does not respect xno matter who x is
Jay does not respect youno matter who you are
etc.
Rjcno!does Jay respect c?Rjbno!does Jay respect b?Rjano!does Jay respect a?
Jay doesn’t respect anyone
?Rjc?Rjb?Rja
![Page 24: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/24.jpg)
24
Not-Any Not-Any = = None None = = Not-Some Not-Some
RjxxJay respects xthere is no x :
whom Jay respectsthere is no one
Jay respects no one
Recall
Jay doesn’t respect anyone
=Jay respects
no one
x Rjx= x Rjx
=
![Page 25: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/25.jpg)
25
satan winseveryone fails
Example — IF-EVERY Example — IF-EVERY
‘every’ has narrow scope
‘if…then’ has wide scope
if everyone fails, then satan wins
WsxFx
thenif
WsxFx
![Page 26: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/26.jpg)
26
How do we SHOW such a formula?How do we SHOW such a formula?
: Ws(3)
As xFx(2)
CD: xFx Ws(1)
![Page 27: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/27.jpg)
27
Example — IF-ANY Example — IF-ANY
etc.
satan winsthenc failsif
satan winsthenb failsif
satan winsthena failsif
if anyone fails, then satan wins
satan winsthenanyone failsif
![Page 28: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/28.jpg)
28
In Other WordsIn Other Words
‘any’ has wide scope
‘if…then’ has narrow scope
satan winsthenyou failifno matter who you are
satan winsthenx failsifno matter who x is
WsFxx )(
![Page 29: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/29.jpg)
29
How do we SHOW such a formula? How do we SHOW such a formula?
UD = Universal Derivation (later!)
: Ws(4)
As Fa(3)
CD : Fa Ws(2)
UD: x ( Fx Ws )(1)
![Page 30: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/30.jpg)
30
Special NoteSpecial Note
Sometimes (but not always)
‘if-any’ = ‘if-some’
x ( Fx )
=
xFx
provided has no free occurrence of ‘x’
![Page 31: 1. 2 3 Hx xx x is happythere is some x : who is happythere is someone is happysomeone](https://reader030.vdocuments.mx/reader030/viewer/2022032800/56649d3e5503460f94a16e39/html5/thumbnails/31.jpg)
31
THE ENDTHE END