642 49 48MB
English Pages 337 [175] Year 1974
=
-
Johns
Toronto
Delhi Tokyo
IME
-
Acervo Johannesburg
New
Sao San
of
F.
L
OF
Depa Second T Hopkin St St.Louis McGraw-Hill London Edition Paulo Unive Philo Book Mexico Francisco Singapore Ba DEDALUS Montreal Company Sydney Diisseldorf
New Kuala Panama york Lumpur Paris
in
or
in
No
in
All
1.
of
|
Nt
THE ISBNBarker, Printed any stored without part TheLibrary rights Copyright
or
4
OF
|.
1974
BE
&
+
12345
or
priorby
a
✂
Leroy and
by
of
any
be
of
by
The
5,
33
THE
2
the
INTROD
Truth Logic
1
Data
in
49
56
50
7,
8,
42
6,
43
of
40
of
39
33
20
18
2,
and
6
1
Arguments, Sentences,
25
3, and
and
25
15
1
CATEGORIC
OF
30
4,
and
Preface, Empirical Deductive Exercise Exercise Exercise Exercise Exercise Exercise Exercise Arguments, Exercise Immediate Categorical Distribution Square SENTENCES 1,12 Validity, TRADITIONA Inference, Philosophy, Terms, Sentences, Inductive Necessary LOGIC Opposition,
A.
Company; Susan Young; Services, publisher. Gamer, Inc.
ig
Pri
in
1974 Francis. Title. written logic. States 160 LOGIC system, Press, Murray means. may Catalogin Helvetica supervisor Inc.O'Connor; was electro! recording, America.
of
publication photocopying, permission Meersschaert McGraw-Hi 73-14906 Textbookreproduced, Publicati
The waswas were set J. Book TheE. Alison
of
book binder, printer the formthis editors the designer was
BC108.B25 mechanical, otherwise, Logic. transmitted, Stephen ELEMENTS elements Roos reserved. 1965, Congress 0-07-003 productionretrieval United ChAM
theThe theThe and This the
1
✁
❳
❲
❯
❩
❬
◗
●
■
✻
❏
❀
4
❍
✼
❁
❈
❄
✕
❭
❘
✿
✥
Sle
$2z
✙
A
syua
Lez
Aq
✛
✖
Bun7 ✄
g9z ✔
gGz
✎
❁
❉
6ez
☞
✌
✚
eanjon
✍
❃
pue
✆
✘ ☛
00z
▲
☎
❁
❉
12% 92z
✩
20z
✳
❆
❇
jo JO ❍
❅
Z6L
❋
❍
✶
❑
✴
✽
▼
❊
✪
✵
✩
❂
✗
p02 GLZ
✲
✄
✱
✁
✜
✢
✁
✆
✦
✧
✧
✣
✭
✜
✮
✢
✤
✠
✡
✂
✁
✁
✝
222 S82 QL2082%
SNINOSWAY
gg} 3y6iyBui Buryows jnoge Idiouldg qeqoid ay) pue :AnBiquiy :4N}INDES :nyinbeg :anynbes
✸
Set
P
✾
sejoeyje4
★
G8}
ul
eu} ✝
☎
✟
◗
eez angSaloeR/e4 jeo!607 Lez 9ez Spe LG29% ❙
Oe,
✷
❨
❘
UON UON UON gq euL EYL EYL eyL
✸
✳
QZ)
❚
gy
✁
LLL
✠
BLLZBL ey} ❱
ay
9g
LZ
➼
➶
➀
QZ
➀
◆
6Z
se
➫
➢
OLL
✫
gy
gy
➚
➷
➩
➺
➬
③
➸
➬
➮
➟
➠
➡
➭
➤
④
➏
➐
➎
➥
➑
➦
❻
➊
➤
⑩
❶
↔
r
➋
✪
✰
✤
✏
✯
✓
✁
✥
✶
✑
✬
✒
①
♦
r
④
s
❧
❧
❦
as2o49:
③
❥
aut
q
OSI
SS
❡
✞
aU
♣
✐
❤
9p)
♥
Or} Ep
✇
uy
➠
✵
GEL
✈
SEL
➡ ❼
gg
➱
SO
❒
➯
➲
➴
➨
♥
➝
➞
➱
✹
✺
❢
➀
➒
➓
♣
➙
JO
s
t
➛
gy
✦
➂
❷
❸
gy
➄
➅
➇
s
❺
➀
➈
➣
➙
❹
➉
✦
⑦
ag
♣
❽
⑧
➹
⑥
puke
❾
yy
⑤
✱
✸
❿
✦
t
Jo
✉
✴
Bul
wi
②
❞
✜
gy
YIM
❢
❽
✦
gq
❴
❝
gy
eu}
❵
❫
♠
ey}
❻
991 ou! jo POL Jo GEL OLL ere Srl 6YLEGl
↕
eyL
❪
A
syu
❜
❛
oz}
→
➎
❷
gy
➁
✂
❣
➍
➆
➌
ZO}
✦
ZLL 62 00} "16 BOL SLLBZLOEL
➜
FHLgy
❮
✈
➸
QLjo Lg
✦
➳
OL GL
➘
➵
➽
oyu!oyu!
➴
➪
ay}
Jo
❷
ay
➃
✦
gy
➔
➘
❷
gy
❶
❐
out seiny
➧
✃
ay
99
➻
❖
SNOILONN4 punodwog UY, GLOW o1SIBO\|AS HLNYL jeoobeye9 uns, esseAlun sprom Bululejuog Ayipiy sedk, UNI, seoua OIDO1 WsIOqWA astovax asiavax aslasax asloua asto astosax asrov9n astosan asrouon asto4an astouaw aslovan aspovax astovang asrovaK asrtovany estouangy NOLL ewos Buyjejs Busy BulZ Buaoid Sash Buimous peyejay Bunonsysu0g sjuawinbuy yynaL Bunejsues Buyyejsues ➾
aslovan astovan asiovex :ejdwexy asvovan astovan astoven aspovang asiouaxNG] asovexg aslosaK esto asrovong salovT1v4 SAILONGNI eA Asoyeue|d aaionpul |BOeWNN seseyjodhy sA!ONpU| Bulsoo UO!ONPU| Bupioay seloeRl/e4 Bulpua}xy eAlje5eNn
✟
gg
➹
⑨
of
is
in
to
Among points My
is
of
it
on
☛
✡
✠
✟
✞
✝
of
✕
✔
✗
✖
to
of
the
at
313 329
301
293
Questi
the 306
Beg
293
Reaso Laws, Reaso LOGIC Invalid? OF
a
individual
for
introductory philosophic undergra my
it
in
an
to
of
on
a
on,
to
of
to
of
✆
|
|
✏
its
in
or
|
✄
bigis to
no
is
to
of
✒
of
in
and
287 289
39,
PH Logical Terms, Symbols,
310
in
a
as
to
me reasoning, clearer are ask not reader succeeds conditional there things, quality. reply what distribution hedgehog; There in who topics combine in are more number texts technical whether was level, the soothing wasnotions this, there Another textbook Since slightly of wishes than already this ideas logic expressing writing practical radical traditional better small working logic, in one book enough textbook courses answer Elements relevant deserves ideas ones. ofand author's text- modprint inbecome logic, truth ways. various |
butof theas
response aims ask other good there range well point. use is can
have
✔
as
✘
in
of
✙
its
in
book, this thanone
✚
of
in
Inductiv Deduc
40,
elementary criticism intended used Edition, and doctrine very reply. and notion Insofar among material logic. may its book
of
Log
innovation elementary acquainted of
that have mine book ern some those many
of of
|
The THE
Index, StatusEx Glossary Glossary Exercise 331 Use,
All
Is
Logic, logic. useful would feelings, Intended for approach thebeen When notion hopefox not books but theyanswer both the these symbolic them Second with logical the for logic theare people written. are them, novel that, would rather that does logic,logic the the This
the
Contents
☞
✛
✓
☎
✑
✂
✎
✁
✍
✌
yo
jo ul
B
ue -lw ay} 6eqAes -u0d aq yey}
jou
JO JO
B
jo
❂
✵
✶
S|
-UOd 8y
|
|
✯
✷
✦
✩
ale -xa yeu} WO -O1A
ue
☎
9
✆
✝
Ix
aonf aaey BABY
✆
0} S|
✺
e
jo
ay}
✪
uj
✜
op
|
❁
ued
BY}
si
JO}AUB
JO
✤
0}
ye
ay) 00} ay)
B
Je}
|
0}
eB
YOO jo
}!
Bl
O}
✥
✸
ay}
|
✘
✙
OM}
JO
✔
B
★
Siy
JO
✒
U!
✮
ke
Aq
|
✖
Jo
✭
AU! oy}
O}
S|
✼
e&
✽
✫
Aue UM
✬
BY
✑
✻
✢
✛
yo
❀
B
●
O}
Jo
✕
✓
✼
✈
we
☞
✏
sey siyy
}!
✾
JO
❬
ul
❊
Ag
0}
❋
o}
❈
a}
❳
ay}
❇
ay)
B
❆
ay}
AW
aq
|
✌
✎
✿
Uj JO
✚
0}
Ul
&
◆
e
sey
0}
S|
|
AW
|89}
OU
|
SB
JO
sy)
Ul
✇
❅
jo
0}
sey
▼
Oo}
Ss}
❉
}|
▲
❳
BW Ajay!|
❃
❑
❄
✻
✦
✧
✧
✗
✣
✹
O}
OU}
We
ayenpesBepun
❖
❭
jo
❏
asn
❍
SIy}
■
0}
|
e
❚
siyj
jnd
Ul
❙
❨
oO}
0}
0}
❱
þ
|
ß
ç
}!
é
0}
✃
ê
ë
❱
JO
D
j!
✰
✱
✲
Jo
✴
ul
|
✞
✟
✠
ul
jou 9/8 Jsnw UIIM J1ay}-|1WO Aeyl
✳
op sso]
Ay} AU}JO Pureueo
JO
⑧
◗
pure
è
✡
✁
✂
✠
✄
JO
Jo JO
Þ
✂
❩
PUB -ONS
æ
☛
✍
➫
u!
ey)
❘
|
-MOY UYOP au0W -pin6 -Ojlyd Bulag -sepun -Auoue -eyyew 9jA\s SnoUeA JSOW puooces -uods yey) sjoadse -O8UUOD JOB} YONS ayenpei6 OYM 9184) 0160} UaYM qes6, uonsenb jnyasn yOO|J8A0 BHulsn Ajuo 910W peydope jeoewayjew OISSB}O Jeu)JuIds seljwey UY} JUBONIJas JasSO|O JesaAes ASI Jseq PuBaY Bulyors, Ajayiuep Kay} WyaUa eBpajm arsijaq suO Avewoysno Buiai6 ym ajqenj 0/60] yauaq assnoo uooRjsies UMOUY YON sly, yBnouyje) Sed!Aep JEU] Ayaq!| Arewojsno jeo1ydoso YOOSAO P|NOM osje Jdiuo MAA Sey} Sa}eOOAPe BAY a10W pue JoRSsqe pue jsilj Pue aaaijaq BPIOSp BII]!| pue Siy} pesinboe Saysii JBNj}Oa|/Aa}U! sow jsnw SMa!A eHpejmouy OYUM pue Jaqu aaey UBY} aoueyo asinod Buiyuiy) ysNW Jey} J9yORA} aYBW aney uaye} D!UOW palleja JAC Aayy jeaddepuke yey} Jaquinu sive JOaIJel a|/Huls yenyoe ABojoulwe} 49}2816 SOWIJaWOS Sjuapn}s seyeas6 aAeyY peulW SyU!Y) apew Aem o!}eWa\SAS S]JU Jayoes} BuO Jey} eZ!UBOde1 paz!jewO} jorsjsqe 118u} Pasn paoUAN|ju JSOW|E (adUeYO awos OYM pa} 842} yonw serjasway) jnoge S]yeUEQ Wau} YORE YSIM WO} pe}qep OW pue Pe|qe YOO JEU} a4nzor arey UBEq OYM AjjOa11p jeal6 Aeuy) Wees SPeeu yey) Ja}deYO yon Ajax! ainyeu jeo!ydosoj!yd 0/60)Ajuleyad JeAsyeym *SWa|qold eAey sseidxe yoRXy eAeY WN} S}UaPN}s suo!uIdo esunoo BABY Os|y paiylun paye}!wW! yo!ym pooh jeNj}O9||9}U! yyIMsjuapN}s Aoy) Z49}deY ABOBeped eyenpes6 Bulyora} jeo|ydos YORoJdde S,AU WOPs!M ◗
❳
9160} JAS 9160) a1qGe UOl} eOUe PaAled ay}Ajy61y :spuoye jeoNeW SNOW BsINCO |BOs SAIS AyoU uodn Yyons pue yeU} ueio} ejdwe AeA UO!]OeS SBulyy
P
❯
❲
|
Ñ
➾
Ð
➋
➡
➐
④
➛
➑
❷
➸
✇
❡
❢
↔
❴
♦
✐
❣
❝
❴
➸
♥
❤
➊
❵
❢
❻
❞
❜
Ue
40
❫
aq
t
&
➠
EU
➵
pue
Õ
ey} pue
jo
➃
g
✈
Ý
UMO10}
Ü
ë
➤
ale ay)
➽
✎
pue JEU)
❧
Ss}
➼
➣
O}
➉
0}
JO
JO
❦
uo
➳
JO
➻
84} OU} Ul
JO
p
➎
→
➏
Aqayy Aq
auO
➍
0}
❥
➝
pue
Jo
❪
UBpue
JO
♠
ul
❛
①
UI
s
➞
⑥
Jo
❮
↕
BU}
➨
pue
➶
Û
aq
⑤
➜
s!
❸
eq
✉
ay)
♣
JO
⑦
ke
r
➺
e
❹
ù
➢
JO
❒
0}
➚
ay} JO
Ï
➌
JO
➂
➙
U!
➲
ÿ
AU}
U!|
⑩
Ý
AW
U!
➁
➍
ued ued
Z
➅
SY}
JO
10
➇
➛
BUO
➵
➔
BY)
❽
➒
í
Ú
aq
➫
ove
❺
x
a0fo
➊
❼
q
➈
✚
⑦
Se
➅
➯
➟
ay}
➃
③
Aq
❿
jed!y
➈
⑨
ey}
➀
❶
pa}
➆
②
Ø
➧
➓
0}
❿
Ue
❾
➩
❐
➥
❐
sey
Ô
➭
18
➄
➪
ö
ì
➴
➱
|
×
Ò
|
ó
à
84}
Ï
0} JO
ã
õ
PUR
â
û
Ù
pue
ò
➮
jo
➘
➷
➦
JO} ay, }XO}
➬
JO
Ó
uo
U|
❰
Jo
✄
ô
SIY} Pue
Ö
aie
á
÷
pue
ñ
JO
✞
✁
✠
|
❰
O}
ð
Yo! yum ay}
ä
ö
å
YYIM 06 Mau ||1M
✟
ø
By}
ï
ul
✝
ý
4O
î
Jo
✆
ü
O}
✞
ú
oy} ey} Aq
✂
B
-laye -yoers} JaUJO -|pe4} Auew -odAy -BUIJO1 JUBM soido} word JNoWIp S9]N1 9160] per} JeNsN OINJeU ue) sise sayjo BSE} Ajaye|dwoo ENjeA oum OYM pasoneapue SIOYINE JBAQMOH eaey e10wW SNOWeA pjnoo JOY} BPEW uoVon AjUasey uoHeBoIyeNn |99} Ue) |BuO|} asoU} S}IWO 0160] eaey wsi6oj|As asoy} jBUayeW BABY Aueyy jsowje ajqeloeidd |2EeP |eijuayjs!xe YOOG]Xs} pesoddns YIM eq eye AyeSSBdBU PeEyMaW Sas!oJaXE esow uoII a10W Je}deyD aaeyJSEJBJU! UO!JUEe UONONpep SAePE yim 'YOOG GoURYUS ynoujim BWOS UONeJUaseid paliwo Ja}deyD YSIM qei6, payiwo Apnjs d160] apnjou! SdeWwed W9}-8UO a1oW 9160] YOR Way} joR.J JeunyeuAey) Aydosojiyd JapsO peuseou U@eMjeq YOIYM SUO!JOU OYM SISUJU! ISOJeEYMaWOS aajonpul AjIPI|EA yeyM Ajqe!oeidde |Bd!UYyo9} usyuMe paiyjlu JuspUadep YOIUM UO!}IPe G10 ynoyGnosy JeUOITIPe JeyMaWOS aiqe eBpeEW UOHEdIyIssejO useq }SB4}UCD usemjeq 106i sWa|qod Arey PA18A0d Buyjd JOAR) sIOSSa sule}UOD ayeysnj|! Burxejes sso}ONA AjjeoiBoBe AjyBiy anbiuyoe} BALJONPEp AB6ojeue AjaHie| UAA!H BE Jaydeyo seyjes SUOHBOIWe]O 9/60} PUODES B1qQe SES!dJEXxe BulU!Od YOOG 49}deYo JayJO Ajes|OUOd asinoo aiow esow 18ACD JEYM esSoy) JUBPN}S }WO eAeyY Aioay} aAeY Ajjyenjoe So!1do Jequunu BOS 9yM suol}oeuUOd Ajaniy awooe AjjUa!UeA Jejeud ayew Siajdeyo YSIM UY} ;eUO!, Huluoseas jeo SUO!}e Avejuew sjUsW }ONYSUOD [29!}94} 41984} Pa}s!se. sjuapnys ☎
➹
Preface
to
R. E.
L.
M.
B.
E.
J.
D.
in
me
myMy
H.
Jr.,
OF
T
the
enco
W. must
E.whic Leviso James ma Tovey. Allen, thank Brian Rache Bro Hall, help book Barker
|
of
for
su sugges Geels, Stephen George F..
T.
me
to
Parry, Barker, with Ray Robert each These Eberle, her Anthon Kordig, at them. abou Simon, incl Donal Bradl Arnold var Paul, ways and Finally, Sydne Daniel tim James
D.
be
ful
might George wri Medlin, Edwa Sherwi help. A. Calvin thanks Evelyn co are William or Beck Clark, Masi Iverson and due Rollins, Rolfimp Carl talk
Jr., and fe, best
B
✰
✱
404BU] BY}
jo
e
0}
✩
✪
✫
OS
JO}
e
aq
JO
UOsj!
B
Ul
ul
ul
S/N
SIyJ SAIJISJBAIU paipuny Jen BY} jsea| ued BdUI AYSJOAIUN auluHulasesep BOU!S aziu 916) 9/Ge AuewaLUOD 9160) UMO jeoiyd ued JAAS jed!}Oe [Booed JYHNe] Hulu} pue soyeys
JO ul
✲
aq
Ajyenjo
plone BAI}O Aew SONISIOAIU asOW YOO Aepo} sajdiouud JUNODDe suolsenb joalqns pue asNedA JS4Ij Sasunod BOW YUIY}
eu}JNO ay} ay} Mj pue pue -ua0 -e/a1 -160| JB9P 2160) -seW JAUJO eq pedBuiaey Ayea ae asnecag ay) Ppue ||!M sieaX AueW UO ✯
U!
Jo
✵
se
✛
✬
yo
✕
✖
✜
✔
✙
✭
JO
0}
ul! O}
✗
0}
✆
✝
✁
✂
O}
aq
☎
✎
✌
Ul
✄
yo
✷
✘
✢
✬
✡
✵
☛
✮
☞
✹
✍
✫
jo
✸
Je
ue
✚
}!
Ss}!
S/N
ylJnoqe ||I!MBuI Jo Apnjs 10} oiseq jo djay OyM pue Osje Asn ay yjIm UBD
✶
B
✴
0}
SI
uaOYJ
au}
✑
✒
✓
✲
SI
UD
Ss!
ay)
Ss}!
Y
U!
yey} YIM pue
Ss}!
0}
JO
s!
Asolo 9ID01 SOW Brey YJOG AAAI} awed Bulpsema JeYyHIY AU Hulu satin} Aua} ShepeM se9|9 |eOpue sjo UMO
pue
suo se
✏
ay}
Ü
Bam
✰
Mau OjU!sey
GNV
ay)PUe
U!
SuOSeAal pueHes aiay} sajoeseyo S]UBPNIs awos LUN|NOIWIND Ajp uOsue 01607 Apnjs SUO!} Buipio yses9jU! Gul Yyo Siaujo 9160) asOW BHpe|M JEUjeoij49 AHdOSOTIH Palajjo adua}s!xe apew SEO oijewa}s suol}ejas Sejdio jnog Apnjs ZUOI}EON Use~SIU) SassNOD |BO1}910 Say suoleseueb Bulz
JO
✳
JOU s!
ue
NOILO ANO
✯
✣
✤
✥
Ü
✏
✑
✦
✒
✓
✧
✠
★
✞
Ö
✦
✟
✂
✁
of
of
at
ry
into
far
to
logic
in
the
in
a
we
will pro-
log
in
for
such
thethe
that
no new
a
as
of
of
so
in
the
of
on
of
foras
in
be
of
to
it
3.)
and
the
per-the
the that the this
as
and Kant
in
in
2.)
of
the
of
of
the
of
of
be
but
t
in
an
s
and
of
in
be
our
of
it
as-
Like with withso
a
with
the
to
it
the
B.C.
some
out
a
is
that
tion
its
in
to
real of
the
of
the
to
It
in
to
In
of
say
to
or
call
to
and and that
are
of
are
a
in
and
of evil,
and
theand
to
It
clai
that
is
theor
to the of
in
of
of
as Yet
in
the
of
are
to
notin
has
and and
are
us
a
of
on
of
of
the
in
and
we
In
ofthe
with some
that and of withakin to
rightness? re Metaphysics aris METAPHYSICS general likelogic. philosophy, have investigates critical con more PHILOS duty? such mean philoso advan seems notions briefly philosoph kinds their seeks both branch connections objective philosop helping obligation, em certain ethics, pure standards notions order logical questions, especial logic more things consider way? though there analyze used theredetect universe, what moral standards what like. studies philosophy good they logic main something m interest among math good? sy always which does some branch ideas some simpl mistakes good, tries making have considered while what standards nowa general philosophy beenaccount tries good ideas moralgoodness, have goodness have its right explain seeks foll common. employed most underjudgmuch regarded various reasons questions reasoni eleme taken tra their modphilosophy style
stand ments. general analyze
and onaern shall Thus parts Moral which wrong, nature MORAL this.relation Are as The ought What What practical the What branches htness, meth the duty to branch Let symb logic charact more is and doesthese and is treating there aspect. value actit these: perhaps and nature logic
in
in
had
in
and
he
to
and
be his
was will
✟
of
not
to
the
new
Irish to
was
a
was time
that
✞
is
in
of
the
the
be
to
✆
It
4.)
that he
new
The but and newof
not
by
in
in and
✝
can to the be does when
of
the
a
thatthat
In
✆
of
fartwo
a
with
the
of
in
thinkers problems admired realized, medieval syllogis traditional essentials those Logic nineteenth properly intel During truth Frege (Truth discussed central whom general, German remained worked logic were Principia modern opinion important more century tradition systematized contradict bec logic modern century fully medieval study th work herita functions aristotelian logic, dealing functions than laws Chapter understood. most branch originated theory formal came em proved devised alone. times, systematic they when philosophe times, discuss when far anyone asp goes study pure more Mathematica, the logic. departure understood long important Aristo traditional discovered. manner completed regard However, powerful onlyWhitehead theory richer than back late logician properly part Also, Aristotle' logic logic most mistaken, Chapter written declared histor than logic. wider explaine syllogi reflected ele modern principl science: also important Boole Russell aristotelian mathematics theory early began undertook which logic. writings (The book, methods however. tried Later, variety logic import adv understood, ways. German logic, This Chapter the showed developments ancien their opinion quantification much Stoic subject eighteenth nature thinkers differsdevelop previously books (Quantificatio During viewlogic Aristot pr forms from much twentieth establish that derived famous mathematreating been princiaristotelian truthcentusyllogism whose were pra philosmost Greeks contr
be as the the fieldples thesisted work were side both moreany from tician logic. pects, the system among ophers century. foundly will way logic Thisthesis This with logic fourth
new
✂
is
Logic The ✄ ✞
3
2
of
☎ ✠
-OUIJLJ9 pue BU}
-ua
-BU BU}
suoljou OY} Ayneagq OJU! UJIM Ajneeq
si
✷
✸
✹
✳
✁
✾
yim Aauy pue jeep
✦
}|
ey)se
10
❀
❄
✼
JO
✾
■
✢
❈
❏
so
9q
e
H
g
-onpo uox ay} -ued UeUM -sanb Je1ow yBnos
YOIYM [gun PaAjos Jsnwi se aq Jno) JIM yyBlem epiAoid Ajuo E||Aa spuly
pue
10)
✪
✥
✩
JO
8M
✝
✡
✁
✤
✞
✦
✒
✑
✔
S!
UBD
Moy yons Kay) ese
★
jo
✰
je
✿
Aayy
✮
UIIM 0}
Pooh
40
✄
✚
ey}
✤
Jayjo yeu} jo
✭
✕
UOdN SOUO
✂
✱
☎
Jey}UMO
✂
✘
JNO weaq U}IM
✟
❇
PUIy
✵
✓
pue
✠
✗
kq
✆
✖
✙
pue
✢
si
ae
✶
Jo
✁
✣
yons S81J}
❍
❃
Jo
0}
✶
e
ul
Oy}
JO
✜
✽
✧
ay}
✣
❂
✿
✬
O}
✳
❊
❅
Bury)
✄
✫
usewWaaey||e
✴
BLO INO}
✛
❁
}]
❚
yyIM
pue
❙
❆
✢
SN
jO
✲
pal
✆
✣
JO
❖
YIM puUe yeu
❋
sere
☎
✞
ul
❨
ay}Ue
❫
❉
ay)
}!
✻
❳
jo syse
▼
●
Pe
✶
By}
☎
❲
}}
▲
Jo
❭
aU} Jo
✺
❱
❘
JO
❪
❯
puepesn
By}
jo
➎
➑
pue
0}
S|
Ss}
S|
Aq
4NO$1
ueo
Ue
JO
1B
PUY SUO!} you
✏
✎
✍
✍
✌
UIYe
Qe
U1
☞
P
JO UBD aun}
Jo
ul
☛
◗
ay}
JO
✉
S|
JO
Jo
➋
Ss!
e
➈
|e
➆
0}
ul
➐
✯
OACBIOW EUM JEU Se0qeseyl spiepurjs Jeeu!Hua ayes ebpuq Hulj pales YyBnosy BoUs!OS Ajawes)xe paye|a1 DID01 BseUy Ajad!) Buojaq sseul|6n SOILSHLSSV SOleUsoY suo!)
S!
Jo
ase} yonw Ajjensn je1eue6 sainpe BSOU} JOUUD OUILWEXS sjeap youued JYHISU! jeoly OHx!|UN Aemp pejoeuUOD jnoqe SNOU sejiwmis swajqoid aASMO eye siayjO yeoisAyd BWOS SWA|QOod UOlWsan usamjeg seyouesg Aydosoj!yd suolsenb yueYodu! 4abpe|mou !s}jua Puepueys oNUa!oS sjuewHpn{ SPu BuseyYOIYM sUOI}e sseul|6n Ajjeolseq :swajqoid ercid |ENPIAIPU! eouasej}!P ainyeu JeyJOUR SOY} semsue AN|EABA!}Oelgo aplAcud suBewW esi@AluN jesaueb AHdOSOIHd jeo|y |eo|Yd 8/q!ssod AjjeWOU suole UO!F
e
✝
❬
eM Ayneeq JaYeW eAyjeas SV aie 819}
❑
❩
◆
➅
➊
➆
Ss!
Jo
t
ay) ay} ay)Oo}
puke
yeu)
❾
40
ae
JO
ul
JO
UI
94}
MOU WO
8M
yey)ay}
jo
SI
yim
ESPIaIA UBYM JeYM Sali} Mouy yeymMOUY ay} MOU
✈
JO
BA}
JOU
⑤
❽
ay} pue
➉
1
40
➇
si
u!
yons -PJawW -|MOU -sanb -10dw! -|MOUy JeYyM JayjJOUR BuiBpn{ @Masqo suoljsenb BU} yenjuids asay} yea16 yoursgapis}no SaWIjeWWOS yons ~ewl} adoos Jsed PU|W suolj Hulpesy gasneo peyse JOUUBD peAojdwe JaYIP s}eai} UGA aaey swajqoid |Bep aney Wea|d anjeU JapuN sHuiy) soeds uoIssassod spiepuejs EBuiyjyaw
➍
se
9}
➏
|B} AJdA aABY JOU SUOS aie B18M
yey} pue jee!
⑨
⑩
❶
❷
❸
3O
⑥
⑦
❹
❷
0}
JO
se
0}
Ul
♠
❧
♠
❧
❦
❥
✐
S|
s}
Jo
❿
❺
➂
➀
✇
}|
①
②
③
♦
o}
❻
❝
♣
JO
q
❡
s
❢
❣
0}
Jo
❢
❵
Se
aud
❴
❛
❤
❜
❵
✓
⑧
eM
r
❞
8M AAO ervey
aM
♥
}!
SI
④
jo
➄
|/@
0}
➃
yeu} aAeYy
➁
Ul
➀
❼
fo
aubory syuam
v
Buryuru} Yo!ym suolsanb seyjeym asJBAIUN sawijawosg BuiyyArene ase UBD ABy} Se0p Uaddey SABM syaas HulyyAiane Jey)Aioay} Yons SUOSENO soog Auoay} MOH JEUM UBD MOH, UD AYOSH1 ysed :asey}yey Bui6pnf ey SIBMSUe aouR} SUO!} gaunyeu Buloh eHpe ay)syse aU guosiod ayAydosoj!yd SHL ul
paueddey BHpa suaddey feos {awl} jenjoa|jajul :asay} Boualo payeoo] suaydosojiyd Palayjo AjjejuawepUNy swe|d sBuiyy eaBpajmo sayeHijseau! asey} Aj|/Ba1 azAjeue eHp Aj/B9J jeoew aoeds asa) jejU ssauaulnue ➌
⑦
6
&
In
of
to
for
to
To be for
it
take ogy. duct them, logicns. other logic, Logic about ferent priate tween find
he
is.
we
it
is
di
of
In
it
in
di
it
or
of
of
(a of
(a
a
is
to
to
an
as
to
in
in
of
of
no
lo
in
is
a
as
it
in
of
in
be
By
as
of
is
of
no
is
as
to
to
observatio
its
a
of
he
if
or
a
in
of
In
of
is
or
one
he
a
irrespective philoso
of
aim
reasoning? investigatio elementary ARGUMENTS experiment mis philosoph psychology) classifi recognized? philos phi psychology,
reason correct ference When worry the whether
we
☞
✟
☛
✟
✠
✟
✞
✏
✎
✔
✍
✓
✌
✒
✑
is
✬
are
is,
thethe
or
we obdif-
✭
✬
✩
be thean
In
a
have
✛
a
say
to
areIn
the
areif
thesay
or
its
the
weFor
at
✜
Introdu
or
are
or
We
he
be
in
the
a
of
of
are
An
of
but
or
two
be
is
✢
tion
be
in
be
as
theto
✫
may make
that
the
(or
For by an are the
✖
a
to
or
an
is
he
or
✜
is
✪
ofdoes
the
the
a
✘
to
is
he of
at
In
is
it
he
premis claiming evidence argum inference, something argum speculativ co c claiming ordinary ordinary accepting argument. shouting con discours presenting doubtful. language claiming arg when who argument this, one involves ac claims things insults that conclusion) there crime, both reasonable Thus inference; premises committed agreeme reasoning conclusion word two used (the argumen concl pre trying argument ordinary presents you longer and arguments purposes these each when should as argu would argument and be together, whose more; of can don't true. chain ma believe. Where reasoning, premises give several essential not (or claim debate. accused other, may what claims premises) true ordinary logic, discourse support steps. one thi aims quite have any detective conclusion argument premises several each person each also. means shall explicitly proof features. indeed reasoning, is true, argume just rather may word they however, stepreach expressed inference, in example, give Thatmustlanguage present. premise fol What one second guesses conseparat concluquite concluthen almost positive that left this
true. claim
two any that first shall ject, from sion, there sions proof) called place, sisting having *Perhaps reason unstated. ferently sort with he use What an peopleare for them. thestarts making the place, But an would someone when from we the that or must elsethe has with respect are several that's an is and usually the and both any toperson Whe bemake shallagainstquarrel, drawn, there that are else actual just that (the rate words each only these person way mere proof) he guilty the certain one may means there the mean does eithercalled And distinct his they
on
he
in
be
he
ards pursuit clear prog clarif st periments has ans what holds a shall Although There view always the correct arebranches deals such sure, what our about other to towar them between describe has matter the How good not first causes reasoning ofand with person verifying basic the logic people would been is cou that these do,analyzing study true; good the branches questions st some someone some order kinship consider unr matter explain incorrect of main makenecessary, what difference reasoning arebelong then,difference fact, very with logic might whatreasoning cases reasoning, how what andsteps task principles. find them sta that his correct and is outmake reason logic). and wekn and between and differs these general questions between have For that co people sa reason starts how reasoning about thebad. etc.). givenmay thinking, good Logic other reasoning about thinking. the think; branch from laboratory other some studying correctly. studying they itself and But is, does rise real people questions: reflective the able work human do. moment wayscases que studying bad just has certain not howhowever, moves our the branches and study; accident Moreover, reason difference the the nature from notSuch what obt shall and sta make towar toward people psycholunderreasontoabeliefs approconex-like questions Like bethat the ques-
not thating;
Logie lements The
of
✡
✚
✣
✙
✂
✁
✜
✂
✝
✆
☎
✬
✄
✗
✕
★
✧
✦
✥
✤
➑
➛
ay}
➓
➔
➝
➞
(8))
➊
q
❾
➋
➓
➂
aq
40)
au)s1
Ss!
si BU}
-U09 (p) OBnH ynoge Bui6in Bulyy
①
②
③
❪
✐
r
❘
-u!
pue Kou) auay) asayy
8M
-|28J joaped 'SINO sjewiue
JO
❅
❈
❇
❆
✔
✕
★
✖
ue
se
→
07
➁
UO
ay}
➈
WIY
Eu
SI
euO
O}
8y)
❙
a4) ey}
SPY
❯
ey)
JEU) AjUO JO
♠
❺
●
0}
AeypSse] aM
9q
Wd yeYY
SN
se
q!
Jo
JOU
1
JO
0}
yuIYy
J!
S|
'JEUI
O}
❱
✙
SB
❏
✮
AIBA yo Kay}}!
JOU
UBD ee
✢
0}
0}
ay si
0}
ay UeU! yey} ayy yeu) eYyL
0}
oym G12
BUO
4!
Ajay!| WIY
✧
✣
wou
1
No
2
✓
E
are
a
be
in
6
S
lo
the the that notfailit
4
are not
S
O:
the
butin
S
an
is
at
that and just
P
is
A
thatThe
S
any
be
to is
✞
The tences ditional Tra-
of
For
P
are
P
P.
that
1
universal universal categorical empty. short m form, those quantity oppression. sentences. (Figure sentences being
is
no
P-
are
S
Here Figure we TheE Some
representation
All All
4
there ten sentence Exercise says AIS are, the events Diagrams nations taxation says stand? least shade and sentence (Fi Egyptians thatalso one demand without categorical draw Name region following Notice says can there thing uncaused. Her that form, Venn their to loyalty that that drawn from sentences form, there neither Moslems. explain S'sindicate diagrams for igure are say Figure their as Some why does that forwhat they citizens. tyrannical reg nota fallthem. their exist
O
the
us
I
is
2
this that are and there one no the what who that the it are areweelse the that Into no more. now weor the says,arenotIn any.and theone not All can we
if
can lessdiagra indicating appear inven diagram region circle. dia exactly things are and circle; sentence region method, Protestants. four es used vacant Engli individu illustrat overlap These being express for more, sentence Swedes clea prefer shall occupied logic in exactly region Swedes else empty other circles more neither Swedes. information nothing right-hand occupied dia "Some repres sentence region and at John whereas illustrate what else diagra howev (Figure (Figure regions Swedes in were tells existence c least what conveyed circle Swedes Euler Venn. may asterisk Swedes illu nor inform nothing region one with cate and are shall Protest blankThis devi diagram them enter. than else nothing categ region picthing, se math senthem diagram conAnot Protare senfind Protesherded Protes-
the
of
1
✂
To
all
sentence sentence, containe indicates whether persons within says,also Venn bro diagra Protestants, classes someti draw that are imagine herded; m less exhibits that and they thatillustrate left-hand same possible Protestants consider of
the
the can type must shall shall tants sider tants. means tician so about Figure inside region allowed be Swedes tences; Let The are thenow two it find of Using always Euler now who indicate no diagram, Venn
and
Logic tlements The ✆
✎
✟
39
38
of
✝
☞
✠
→
➎
JO
➀
➁
➑
ase
➏
JO aye ale
se puly
-oid
❤
()
❲
JO
|/2 JOUau) -oid
1B
❬
❭
ul
✣
✤
Ul
O
fo
soouay yoo.108 ppuownp
☎
ULBory uag,Ly
✝
✆
✆
➧
aul Aueyey) pioMm -ues -uas
@
✢
✄
✁
✂
✁
s
⑤
❾
❷
⑧
❇
❈
❉
❋
❱
r
♠
❯
▲
❚
◗
❜
▼
❀
❝
✐
si
❡
▼
❫
➓
✛
✭
✚
SE b
SI
$1
JBY} 8
YM
4],
~
,f,
94}
WO}
JO]
'W9}
ey)
AUR
S!
J
s
✦
✟
|BO
✘
ul
✏
✠
Oy]
✥
❩
✞
40 Eq
se
☛
WE} 40}
B
✡
Jey)
J
★
S} u!
JO
✭
O4}
JO
y
✮
pue
✜
s!
✬
pue
✕
Auepure
ul!
J
✔
▲
✙
ay}
✫
ey)ul
✙
By} 0} Ss! JING
si
✚
ayy ul
✱
❞
✭
ANB
✒
V Ul
✿
✷
s!
Jo
✴
s!
❅
❑
❪
Aueae
✾
✗
✛
Aue g Ul Aem Aue
⑦
✖
✪
O} jou ay} Ss! JEU ay}
s!
❄
❏
❴
sou
⑥
★
puke
✳
◆
✶
✧
ayy
❃
U|
U!
✱
✩
jo
✽
Ul
✍
✌
☞
✯
✸
ay}
❍
✜
yt
✎
✲
O
S|
✺
❁
P
❑
OSjNq
✹
❖
❏
PUR
✻
andy sey pue ay}
❿
❙
◆
❂
JO
❺
✺
s}
⑥
j!
✼
✵
③
✰
❋
❨
se SIU} YyoNs je} Ul W
②
S}! eB
●
❳
am oj jou S!Y} Jou ae
❢
s!
①
❥
❛
404
⑤
❢
■
❘
JNO
▼
❵
ayy JOUs| sou ae
t
JO {|e}
❆
❊
❼
eB
❸
si
✈
&
❧
❣
Ul
♦
➄
➔
ay
●
➒
Siu)
↕
JO
⑩
Se
❽
JO
➙
Jo
➍
jou
➣
SARS Aes
➌
➈
}!
❋
➏
Jeu
➊
}! ay)
④
➉
OU}
s
PUY
q
❏
❶
}|
⑨
JT
✿
JO
♠
-O1d ynoge -QlusIP -SIJESUN gouejuas-QI]S!P
✓
✑
↔
➇
}!
❹
➐
pue
➂
➆
94}
④
S14}
✇
yeyjo
♣
❋
❦
♥
JO
❡
S|
✉
➈
UI
ü
❋
❻
JO
ý
❜
si
ü
❊
➅
aie
ù
✾
JOU -uou -4ad PUOI pury -yenjoe 49}B] JO -Uas puly SN By} SOP O} eq BNUIA eaey AJUO W49}ey}
û
⑨
aie
ú
➃
SNO
ø
10
➣
ay)
✌
●
aie
☎
❋
ae
☞
➋
JO
☛
s!
Wau}ynoge -paidArend aseu} apew QMO}IO guleju -o6aje0 JeyjoUY a0ua]UaS pew seouajues [Aue BIIYM s}j9e(qns -nos|woid epnjou! Way}ynoge ayeolpaid Alene aouajuas BUOUWA} SARIS wiejo Jaquiawe YORE BOUJ BHulyjAue OJUOW paynquisip ples ayeoip ynogeSAB|S eyeo|paid ajdwes YONs SWOS VONN YyoNs SAB|S joa!qns jOefqns SUOSIEd Vayylou SAB|S eouajuas snonosiwoid s}oR} jnoge BOS,, esey) jnoge BulyjAue YOYs joa!qns BOS HBuiyjou BWOS,, !paynquis ayeo1paid SNYL JeqUawW UOINU ssop AjuO yoalqns Aes asay) Peynqijsip Ajuo sayj}!eu SO!|dwW! PuN jnoqe JEU) jnogepuNd ayeo!lpeid ureBbe JOUJO SNONOSIWO ayeo!paid JoOaiqns sind00 BOUB]UAS syeads 6uiueoucd pies ayeo!paid asimBOUaJUaS S20p ase} sjeNpIAIpU! syeeds aouajuas Way} YOIYM SUBBW ayeo;peid BOUE}UAS sNonos|WOId BoUa}UES BuIU UONE eouejueS YyJOg Huequie useq JOefqns siyj JAYWON yoe(qns eouajues YIM BOY JAP/SUOD Puly Pe snYyL yoa{qns yoalqns paynqiysipu ,,"suosued snoio6u JA@PISUCD hem JBA@}EYM }deoxa SNONdS|WO Addey SpjoY JEU, BuLeq jesJeAlUN Jeyyjeu yjog PUlySY AYeAe yjoq SNONoSs!W e0w ,,SuUOsied BuO enljeHou MON }eUM BOUB eoUajUeS ,,dOU asoddn joe!qns paynqiysip snoNositu SPUly AjB9/0 e0ue} e720! PUI} Snonos|wod OUeS BUS SAS e0UE} snonosiw AIBAS eoua}ues ynoge snonos!w Jeyjoum
✡
yeu}
0} U!
×
Ó
W8} plesfo
S!
➨
a1e
Ø
➚
➪
Ô
➶
Ô
➹
➘
➪
Ô
Õ
yo
S!Y] |e
➞
}By
❑
❑
➟
❏
❏
➯
▼
PUY
◆
▼
Bu
ey} ay}
Ö
➠
◆
á
➧
➨
➩
➫
➭
◆
4O
ë
ó
Y
Ss!
Ù
ä
å
ð
}!
❰
å
➬
➮
Ï
ale
❒
➼
By} ay] jo
➺
➽
➽
➽
➳
➃
➼
⑨
⑨
⑨
➼
➼
➥
➼
➼
➣
r
➙
➦
➜
✿
skes
➛
à
ON,,
JO
q
ay}
Y
}!
ino
➵
sn
⑨
B
Ü
aq
||IM
➱
✝
Ý
AY}Jo
J!
➻
|}!
Þ
U]
↔
aU)
➢
Be
➤
JO
➽
➽
UI
➼
SU
➃
➴
➸
OSUl
Ò
ay}
➂
PJO
➼
↕
JO
➝
➼
➼
✃
Sj
➂
U!
JO
ò
➞
}!
se
➣
ay}
♦
Þ
Ñ
B
➂
õ
ap
➷
jo jo
SI
➡
➂
➂
❐
Ay}
æ
➱
JO
❍
Jo
aq
ç
ö
AM
ð
➲
ß
aq
➾
÷
U!
Ú
0} Ul
st
æ
Û
❮
JNQ
se
ay}
ð
jo Aq
ò
✟
q
Ð
✞
ã
JO
Jo
ï
eas y/e}aseyo
S|
JO
JO
e
â
aie
ay}
ê
✝
Aj
î
jIG
é
✄
aie
II
è
ô
fo
0}
aul
fo
Ov
NOILNEIYLS
í
ñ
✁
OL11 Z|)
ì
✂
JON
6
ÿ
✆
dn ase
ON|I'y Hw one
➸
þ
ae
SAB|S snonosi |e01106a}29 pury 'SeUO UO!JOU ynogePUsWOUSYd skem seunjeaso :SMO}|O} ysued SARIS s|ja} BulAieseid Buiyyewos BDUBJUAS eoUEalU YO!YM SI4}BoUa}UasS ALaaa B/BLU aHie| siajsuow SNYL Bulyjawos SB}! pue ||V,, puly Bul SWJA} aouaju ||/Bys AjUO uanosd Je}skes ynoge a0] ayeoIpaid JEU} AuoyesBiw SiO}ONPUOD Buiyjyewos SIy} shes PUR shes BOUa] ynoqe sauo WAY) Puoms Alana UO!}!UB00e/d a/GeN|eA SAeS Buapal POOH |edOHa}eO /ed!Ho| B9Ua]US BHulop SWHY3L PUR OYM ulebe snonos spiiq dIARIS ABW SaAI}IPpe sHuyHis ynoqe }XBU eUOU UONNUSIP ayeo!pa seseo aouajues PayNqu}sip BOUa]UaS Buiyjowos PA]NUIS aye}ajdoed oym sjejawW ENUIA oienbe |BABIPEW siy| AjUO aay, Bulluno[0 Jey} spuly aiow JOe[qns SONBWEUJeW OMj\e payodes |BOIWEYo WEP shes PUI BUNOA pue UOI}OU Jeuo!Ipes, BulyyAue SOUO JEPISUCD JEpIsU eWOS jsowpabaljeon ajdoed ples OY, PEyN Wd} ,,,SuoSs Aes ples syeads pajnsuOsie W8} :Ae|S OIAe|S AIBAS WII|s YyBn obory syjus
PuUe
Aueyeq Bulnoo0 ayeo|paid ,SAB|S,, jnoge spuly snoiqnp SequajUaS snon Alene JA4}B1 fivaaa juswuoAUe puoms JOa[qns BHul snonosiwo \noge BOUa}UaS Bujyjou Buojoid B/EWA} snyj AjyBiy |NJasN 819M ||PWS jnoge |BO1JOHa}e0 I|Noge JOa!Qns
✠
4
3
of of
2
1
6
not also. theandway. tory tence make tence
to
T
not
✠
✟
✝
✜
❅
❂
areare
✢
are
❄
is
see
of
this
and
in
is
✽
✥
not
of the
a
❈
❈
✾
❇
✿
✼
this
To
❋
❊
▲
❏
❑
✕
✬
✫
✾
✽
✪
☎
■
❋
●
❍
that
✭
is
✮
are
areis not
be
✰
one
T
s' that
✯
ofis
of
say
an
✱
is
the and
the
s
✎
of
●
all To
it
all
and
the
✏
✞
✝
❖
✸
✵
✶
✻
✵
✺
✴
❖
P
T.
T
be
to
is
for
if,
only
if
s
in
▼
If
◆
to
g
❖
let us
❖
a
the
◆
if this
is
s
in
can Sare THE ns make forms
is
◗
ity
is
❘
cal
to
in
❙
of
at be
✹
it
✷
the
✶
to all The
the
by
6
8
undistributed
of
A
❁
of
The
O
❀
✍
a
the
the
to
in
✖
occurrences
is too
of
of
all
✘
we
the
of
❉
✑
to
s.
by
if
not
the
✙
of
✤
❈
are
✚
all
are
a
✦
undistributed
the
the
this that
But say ✛
an
in
as
the to
✜
thethe
all
❃
are and of
this
its
✛
✗
✟
be
❆
☞
✲
no
if the
say that
✌
are
✧
✣
☛
✒
are
to
★
✄
not
be
the
✩
☛
All
of
✩
☎
are
in
were To
✆
existentialists unsatisfac existentialists.
an
✞
are
No
lateral unclear only ionists" term employed logi Now, another triangles, predicate tributed aspect They the Thus, Another Exercise in considered distributed Therefore, Therefore, seamen ought viruses term triangles, satellites satellites applies, impl every place. to usually Old-f are obscure said Frenchmen seamen logically and equilateral one Therefore, according sentence mean treatment sentence logic Then shinywhich count rich of since sentenc invalid), are Jupiter Jupiter implied not place books would nonmetals. disease triangles following Parisans old-fashioned old-fashio bacteria. distributed, say do aspect term thinkers thinkers were di germs appear explanat substances. necessaril Europeans. distributed form unsatisfactor predicate which account places defi places Some however, are old-fashi were deeply deeply term explanation these arguments members explain and where equiangu claim. where this and obscure Europeans. argument con Therefore, categor lifetroubled hazy. disease life account, Note form. (some only troubled and seamen old-fashion notion can Parisians sente class bacteria. sentence. that distribution sentence these would illustrates germs notion cannot about would about exa exist. claim The account which misleadi ever equiangula substances terms term exist. that seem things are distrib distri prohibitionis term are Supp that seame that may distribu predicate Therefore, triangles sendisequimeaning meaning viruses. Frenchmen. which prohibivalid equiangu sen- unsatisfacthat are sente
and For AllnotAll All Noall lifelife. some each are shiny metals of and areare at are the areof of some some
5
Logic ements The
✡
✓
✳
✠
✂
✁
♥
♦
♠
✦
✉
⑩
t
⑥
t
s
r
⑤
④
①
in
us
we
❲
will
S
❳
As
❨
is
If
❞
❧
✇
❝
❸
❦
❹
❜
❥
❱
❱
❭
❛
❣
❷
✐
❯
❬
❴
❫
❢
❚
❩
✈
❷
❶
✉
⑧
②
by
All
O
as
O
a
It
S
for
✈
of
of
or
be
to
O
I,
E,
A,
to
S
S
❤
of
be
to
do
at
do
❵
A
⑦
if
❪
A
and
a
♣
A
no
7).
of
d d viewpoints concerni OPP catego relations, existential presuppose sentences senten hypothetical categorical categorical consideration viewpoint. presuppose relationships contradictories opposition viewpoint. re
lessAs
are Each there ruled regards related (Figure without succubi cussed. ference. not consider adopting What adopting we butSuppose First, poltergeit sentences possibility answer exist the and anything. are SQUAR theirexhibited among thewhat the with that one these taking sentences that we that what this not decision Let logical Venn for we thewe OF consider things truth these we are from more; peop are another the discuss relations shall question succubi same diagram have succubi the shall not consider granted that anddiagrams relations stat in which call we these consider may are thatsuccubi logical falsity. howcall that exist, among thethe theany subject Th rule Oare is not and the least are nottheworthy thesuch viewpoint show, hold Here areand said are these one says called exist. some the relations four subject the we logical particular viewpoint andtheThe things which are among and among term shall same we from pe exactly case, exists? rep are square exist, not them? arewhich excluding the what and relations areSom these then applies, first allowing that makes the not predicat succubi we among forms we exclude are Before opposite have aretheexistence can the"Some categoriwearethat are aresentences wenot different reladifpossidisthe state denies, 43 Sen- The CateLogic tences gorical ditional Tra-
42
f
✡
✔
❡
q
⑨
③
WF
❶
❷
0}
19
②
GQ
||IM
④
⑤
⑥
❪
❫
❳
❴
❨
❚
❵
❩
❚
❛
"g
❆
}!
❇
❜
❩
V
❈
V
❞
❭
❱
❡
❲
J
❊
❵
❡
j!
❋
❭
➊
✫
@
✭
✮
41
fo
s0uo} ououep yno100
✆
ONL -019 Sv ovb0r]
✞
✝
☎
✄
✂
✁
YW
JO
UI
❄
❬
ul
❃
S|
JN
❉
y
Ss!
JO
⑨
✈
③
✉
⑩
t
❢
❣
♠
✐
❥
✐
❯
✰
❱
❝
J
w
✬
JO
OQ
①
✇
@
y
✧
✦
✣
✤
✥
✤
✻
✼
✽
✱
✾
❅
✿
✳
❀
✰
✱
✴
✱
✲
}!
✳
✗
✘
✙
✵
✴
||1M
Je
J
✸
y
J!
JO
G
q
j1
r
♦
▼
♣
◆
P
q
❖
◗
✶
✷
❘
✹
✺
❙
★
✯
★
✩
✪
✚
✛
✜
VW
✢
☞
☛
✡
✠
✟
|
Ss!
OWOS,,,,'s
✱
|
jeoNeUJOdAy SUB UBEMjeq SUBOWES ,,'S]SIBUJUBC IBABMOH aajUeJeN Baj}UBIeNG Pe}UesH SUBOLUES SUBOWeS S
(h)() (d)(b)
D
a
D
&
&
(q
rise
or
PpI
p
p
contra
a
✖
he
of
on
the
@
✗
iT
or
or
a
of
a
✔
was
at the
.
of
to
5
✕
is
tax
is
of
the
in
:
a
☎
and
is
of
of
be
(p
impropriety? esieno requireme partnership
a
✒
the net
in
a
no
5
✓
✄
net
a
to the
butIs
Which estimates shoebox. current true aiep>p>tions, bracket; ofpric protect imposed costs and that bracket. assets.symbolism V2 these rise, given which &W=( disjunctio (pvp) either yearhas Brown had will subject year, investment Federal imply $600,000. was are then has investors, worth herworth had worth year, following sentence (vq) -q) been express last Her eith co sentence? income net that taxable given income $300,000 federal neith Sentence year salary tax what (qv worth are ta pric 16% last worth $200,000 the customers last worth$500,000, r)"? 42% last that estimates sentence Securities income, and income year year year that sale which could and with pv taxsome $100,000 and bracket cost $195,000 tau $1,000,000 and $50,000 $2000. she this purchaser and ata itself bracket. and both which will (pvq) perc tautology Use keeps rate she year. auee rate purchaser shares portion rise Exchange implies paidexpects more are in His have is always none $100,000 must and cagh every 50% implied costs 55% now. Federal this in debts 14%.He whiiree represent. truth-funewhich during rephad Commisspecequivasencon
45%
taxMrs. Mr. For
If
is is
not, thethe
if
a
of
to and onal of But
bit
a
for
theis this
II his was Mr. sion Last more, year. tional Miss To or income or tax both of) year Smith Gray's Jones willhisthatoil tax his Greenhas he be netof Mrs. has that the had years last paid tax this She he he net tax this net worth net to
4
✫
5
like
✭
to
a
and only not
do
read
if
✮
they the your is was totle,have of do then notread they'll you valid
✪
not
is
16
validtest theycane the
But
✬
and
a
a
Plato you you of it's and But both Ari you not or
of
to
too.
to
a
✞
a
✱
✟
if
✲
✠
tree then
both
be
✳
W)
B,
if
✵
a
is
not Q)
is
✁
✶
✡
|
(P,then
4 If
conditio co ta truth conditi aa argument necess premi manslaughter. signe understand co convicted this Therefore, beech, that Shelley Platoconvicted argument valid; antecede conseque revoked ta vow Preceding circ Therefore, validity condition co tautolog antec t Shelley, truth-f valid Byron, cannot manslaughter pre cannot drunkencontractsection tautolog anda Henceargua false argument c Thus beech driving. cond license understand conclusio understand argument conc like properly drunken conjunct arg another corr the without wh valid equivalent arg corr must Aristotle. Aquinas, underdriving, Wordsworth. signed.simpler. draw forma correcondi- ante conse co
18
Say true. tional whose modus testing spo ced so method ample that, Exercise premises tautology, sponding this you can your truth the been will the like hae have (S,Therefore, truth Wordsworth Under thetree you the cannot the ev and contract can itis Aquinas. pone table been question. license they properly tabledescribed case have dity such Ar have whose not whose val taut will that is like the understand been
5
xs
Elements
118 Logic The
of
✯
✴
✷
☛
✂
✍
✌
☞
✛
✚
✘
✥
✣
✜
●
❍
■
fig
b
ul
0}
-1a
0}
✮
✯
❁
uj
✜
✰
✱
❂
Ñ
aye
✢
✓
✬
✔
Ô
yi
✥
may
fo
uoyou
Ym,
kek aud 01607]
Kay) snyeuj yos ua ueew -uiBeq awos apnjou! pres yey} yeu} 40}Aqaiay) enwJensn -nolwed os|e AqueyM aie sty! pasoons 19} seid pue oyu! esoy Sein ayy sueew eM sdays OU |/e Aseeaq Aq oud Aq
❀
jo
✭
eu}au) pel Oy}
40
0}
✫
✒
✣
❄
e
jim
✤
Õ
Ö
Je}
8q
✘
❁
Ð
➥
✦
☎
✢
➧
➨
✆
✚
✏
✑
0}
✙
88S
Kau
OUI
✏
SN
ul
✎
esn
✗
107)
✖
aea4}
JO
✕
pue
★
oy
ul
ye
siysty yng
8q
Uj
\
|
|
-e}10}JO}se Aq
os Jo}os
4no jou s| 104
ey}
✵
✪
✶
JO
✷
OM
||! yo
☞
➦
sn
✍
Jou
✻
✺
➥
✸
✝
✞
ayy
✁
➦
ese
Us:
☛
✡
✠
✟
fig
e
ayy
✧
1
✾
fig
jo
✴
7
✽
fig
✿
eq
❇
eB
✳
&
✼
O%!|
❆
B
✲
G
WO Ut ysnf{ Bull Jo JO
➙
✂
✄
✄
➨
uayolg souebe|e Alaa Ajueba peoueape siyL PUB se]diould Uleyed asiwaid suoljon gouenbeseouebe|e Sse Huloueyus puepuejs pebueue aNjIJSUOo Buymous
dn
❄
peag ejdwis jews Uey} uoisnjouod jeonesoayy BABY ewos juaiayoo
OU
❃
yeu} aney sno ewos esOw aseds Buisn sdajs yeyeai6 yeu) YOIUM 4No OM aq seu PULL ||IM Mau yey} UM BulA} Buowe J0uU}199|9S Je] 848H
au} ayy
8
s-
❅
❉
↕
❿
③
♣
➄
♥
❪
♣
❘
⑤
➙
jo
Aq
❦
2g
➑
♦
♠
➂
②
❙
◆
◗
④
❛
❖
✽
◆
⑧
❪
④
❜
❥
❥
&
❦
fig
wou r
2M
❝
ay}
▼
ay}
➇
▼
Ye
uf
❵
91SBq
❣
S|
✇
❡
Jou
⑦
OY 10}
eu}
◗
✈
ue OY
➞
①
0}
➅
✈
yeujoupuelb aarj ✐
y
✐
t
si
q
⑤
➈
⑩
❶
s
❷
S|
❺
au}
➢
⑨
OM Ul plleA
Ue
➅
8H you
❴
Aly
❣
ue
e
yo
joawoy-ey sayjowpue ❴
❤
❭
t
OLY
➆
OM
❫
⑥
jo
➂
eq
➛
❾
Aq
❺
❾
OM
❼
➛
➃
0}
❻
O}
➦
10}ayy
➁
j!
➥
↔
s!
➁
0}
0}
➐
➆
I
➇
$n
❚
➏
P
|l!M
➃
❢
jo]
❲
➏
Ww
❱
S}!
➂
④
❧
8H
S!
❯
AY}
➑
819
dn
➏
0}
➎
➂
➓
♠
❞
ay
➤
➊
eB
❹
➙
yj!
➝
➣
eu}
→
UO
&
➔
✉
e
❬
S!
➫
➍
jo
➩
L Ay
❩
xe}
➜
jo YIN
➢
gy
fo
jeuoouny-uany 1c(VR UOO SNOILONGSG
❽
y
➉
✹
au) je
❊
➌
pue
➤
✛
OM
➋
seu
➡
✖
❨
JO
9
❳
➟
WW |e
➎
➨
▲
|
➢
✩
ued SNPOW ayje6o} esN
➧
❏
VV SIU} UBS
➢
✌
nd
ued
wold)
-ul
eq
⑩
eM
si
➂
SNpOUl uoHONpep snpou yowoidd SUOIONP aayounluod snuL Buisn Buisn SeWN sUO|SNjOUOD JUaUNBye BAoN o1}OQWAS puepue}s UORONP yue6ejou uodn supeGe peuo Awouoss Ps4|Sep quawnbav WO Ajani UO!E}4 WoL uoynoynyd SMO]|O} PAA|OAu! MOL ISe0}U! WOLY awooed yorum Ajyeejo juepodu yoreg pijea ysisu! 19P40 yBnouy dnoi6 Sua||O} Se1|PMS yeo!w Ajjoos Avejuawa
0}
seajdiould :gu9}jo} yonyysu $ua}]07 suayjo, Ajjoap aayounfuoa esojesey} snpow
❋
RS-9
B
❈
JI
❸
OM
0}
e
➀
❉
I-Guau PuyVL XON
JO
➠
-uas MOY wo. soul .V., ,,),, _RaneA yeu) -pues6 ym -sepa4 -1plyea Sanionu! wo. wed UaYy}payeyu! MOYS PUB sasiweid you COO'DELS uenysuod BuiuoljeoeA ung Aed sey yeu) euo PUB sasiward wAOll@A PINOM juauinGie JUaUOdWOD Sulmoys pue UBD YjOG Buyjse} Aualoiye PukeUNS ,"AAUOW JOUIISIP WAY} POeU ssejun 3}98dxe WO4} ssejun eo Senge! sAaul| snoipey },UBd OZIJOQWA Auew Bunjes WO BuluoeoeA SYLOYU! PE POUOW |2eP ejduis 8H, UBD Keuow PEPSE0oNs OH, USE)X!S SUCHEOEA YO!UM Aewdojersp WoL MO}IO} JUSEyIP asyulodd asylond asywotd EAE UOISN}OUC 1a|duw1s sureyuoo 1} @Aow INO} OH,, yesoued MOU JEU squawinGue Q00'0SES O}U! sUBeLW auinbad POuyew 181! WO paywieyul ||EUS poujew |12US Sn SEU Siu}BulAng SULEIUCS aaey ssed pinom OM saquajues BulAng Injasn AIPI|EA aul] sesse Ayoaped yno-poys @Aey sjuewin6ue Aijeroedse ajqe} alqei-uynsy SunuM pue sey4BOA Joyo pue aaey Huo) S14} SMOJ|O} quawnbie epiaoid aye I-S YIN} pur sey Siu) issod AayjeA UBD You shng PWOOU! seiqe} esoddng UOSUIGOH SWOOU! set uns aey D-BVE BM DoF DClz :SMO]|O} S!H,, OH,, 'SeoUe} eOUls seyjou SIH A@uow UOISM}OUCS 8SAU} Wises|werd Bure PeAjonr B/Gen|eA Ayy6ue} oud Oct ovbory 8]uau ➒
➢
❑
Vv
✗
✙
✕
☎
✄
ad
p
p
-(pq;
p;
pvpvp>
p
p
of
is
TRU by
Let
ways implied follo derlying line are our premise Reductio Elementar may tautol allow from argument: tollens: Chain Modus ponens: Modus idea have write forms those cannot st
new shall Nextare
P,
D 4; & &
p
D
>
ever that
to
is
new our lines
any
us
✓
✑
✄
☎
✄
☎
✟
✄
✏
✒
☎
✗
✖
☎
✘
✕
✄
✟
D
✠
&
q
✡
De
r
D>
p
q
p;
q,
a
to
to
we
IN
lead
in of
of
is
that Dq' and Any and
wea
we
new Finally adding are unline; arg line al-First
new
a
as
that set(the
us
if
valid thr
forms line. astraythat your
to
in
a
alway cannot
add by and one form the some any of FOR set of are un USE of these
valid
✰
✾
✽
✜
✛
✼
✫
✚
✻
✪
✺
✬
②
①
✇
✈
✉
✫
✪
t
♠
❧
♣
✝
❥
r
✆
✠
✛
③
⑥
✚
of
❄
❃
❂
✫
✪
❬
✪
✝
✓
⑧
✆
✑
❨
❦
❏
✩
all
✣
❑
✴
✳
★
✲
■
✱
❁
❀
❍
●
❚
to
be
may
it,
❢
❡
❞
❝
♦
♥
♦
♥
✆
✆
⑦
❚
❤
✐
of
❵
Functions
❛
The
❵
123
❜
are
❛
are
❭
a
❜
vr"
r)" are
&
(p
❪
&r
❲
are:inline
❳
that this they but
❘
in
V
are
any
from
◆
(pv (p
are
the
❉
are are
❙
&q)q@
❖
&
❯
gq)
❴
are are
all
are
✸
a
✝
&
❱
as
v
P
D
"=p
&
andandand
are
✹
is
yi
show
④
the
⑤
and
andand andir)" r)"
q
all
equivalent. equivalent. looks please infe (P& principles equi by equiv tediously foll &q)v tautologies MD are principles truth (qDr)" long, equiva equivale equi equivaequiva- equivale table (pvq equivapri other Logic Truth
♣
❩
r)"
✿
and> andand and
✫
(p
✢
q"
&
✦
and
✧
&
&
✭
&
are are"Pp &
to
Distribut Com Con
✮
we
any
✤
to
we
We
✯
a
a
is
✣
to
of
list
This
&
Double deduction, Tautologies advantage may E of deductions add equ Exportation: provided tautology. laws: Associ and ex negati and' easier having PD principles p=p lent.lent. "PV are Some lent. &q) vq" good (pvq)tautology (qv(qv P&VIp vq)" (qv equivalent. perhaps equivalent. equivalent val acc (q&r)" construct; many examples Prepared
p
Dr;
q,q
✄
the thai make Pp2p pY-p
qvs
p
✆
v
q
vq
p
✟
q
&
✔
q
v
p
q, q,
✠
q
p
✎
q;
p;
&
✝
8,-qv pvr;
s,
☛
q),W),
&
☞
q; q;
be
P24QdPDr,-q p therefore argument therefore 4,pVvr; therefore therefore therefore therefore therefore therefore therefore prece (simple tautolo (complex tautol (simple therefore de therefore (complex justi (disjunctive therefore (disjunctive therefore (smplificati (simplificati (adjunction) concl ar DEDUC h destructive) addition) constructive) addition) destructive) constructive) D
p>
✍
Dilemmas: absurdum: Conjunctive arguments: arguments: Disjunctive ar earlie ourse eq P2417 pD(q& equi P2472 q,7rD therefore true, el q,-q; therefore premise change therefore addingline therefore therefore PRINCI
Logie lements The
of
✁
✁
✂ ✌
✞
☎
✥
❋
❊
✷
✶
❈
❇
✵
❆
▼
◗
❅
▲
❫
❣
s
✆
aq ul
Aq
ayy
ul
ye
yeu)
uy -x@-ul RV) alow -uoo ewes UolUM QJOU) -JBUM
yore
✶
✷
✸
✸
✜
0}
0}
oul) UB
10 JO}
✺
★
✻
sn
B
jou OM
op
✛
yo
ou}
B
07
.d,,
fo
suono
mtd
:
Sel oud 0.0071
nd-,,
fo
worp aouayp aouapp
fO
mouy gsoddns -QWOS MOU (AAD), JOBXE quou uoisnjouoo quam quawnbup C(d juajeainba uoONpep ajdioud paecoid
eq
✹
JO
yo
S!
JO
⑥
0}
❇
✽
✾
✿
❀
✻
❈
U!
⑧
d,,)10 OWES ona 4, BABY
❆
JO
✢
❉
✔
✕
✙
✤
✥
fig
fiq
✂
✄
☎
✛
✚
✙
OUT
fig fig 9
fig
PUR JOUJOUM je sued ajdioud e|dwis JOU uroyo SU!e]UOD puke amUl] Uys UDyo V)n au} |}! yoreSBey} eoUa]UeS ayy B8JU) (AAD) JEUJO JeyJO yey} sno Wo} YY|OM Cd, ③
✘
❊
❸
❁
❮
➵
➬
Ï
➸
✃
➫
Ð
➺
Aq
➒
,,D
➓
0}
e
jou
yo
❋
OA
LIM
au}
✒
➒
aul|
✉
✈
✶
yeu,
GE |
✓
✝
✗
✞
7
✦
'8
6
0b
Mok
☛
☞
✧
✁
yy
8
✡
07
P
✠
you
Jeu} you pinom pinoo pinom
✎
fig
✆
8g
✍
euy Aue -gas
➒
pue
✣
se se
OU}
B,,
t
✵
✴
✳
✲
✱
}!
aq
Ñ
✰
✟
'Z
ue
✖
aie
✑
pue ae
sn O je]
ING
❂
S|
✩
❅
,d,,Ss! V),, 12 eu}
✭
8G$0 wo4y S14} yyoq
❃
OM eUuO
0)
Aq
⑩
ey}
:}!
e
yo jo
1
s! Bud AemM
✯
✪
✮
⑨
aut OM JO sey MON eye OM JEU} Aq awos AUC
✬
Ajuoay} ayy
Aq
❑
❂
Hed &
➜
pue ul O} ayy 4NO auo 1no
U|
✫
✑
yeu;
BUD 9s|o
➷
O}
❒
✏
❏
0} 0}
eB
r
❍
10
q
■
qnd
e|dwexe ySnoule) Bulaey CAB spUNdWOS @ACW WoL Suyinber A60] gourjsul MOLY MOL uleyo WoL WOLy 1U6U -ajqissiuuad asvwmatd asvwulatd asywatd ajdioutd goue|eAinbe JeYJOUR Zul BdUe}Ues SEUll e1)US juawnbue ULeEHeo shemje sadioulid yejnomed SWOS (9% aulwexe Buje6 (9% saya] PINON asoy UOIsN}oUD ajqissiwued (982M uanl6 ajdiouud azijoquiAs Bulysiuy azijoquiAs SUIBJUOD YORe peor|de juayeainbe (ORG Wd sayjeym sino90 B10 uauinBie BuljyonsjsSuod 9C09 CO||eys payysn! soaquesenb 9C y-coqg)CV DA(W OCV? ocde AVI SNO|NO|ewW
ay sn ja]
✼
OU}01
④
B
♦
❍
❄
A
✸
●
yore Huep!s Ajuo ISAI} YOIYM eM yeu} YO!UM uleyo PVC .(ZBury) LEU 40A28 S!Bujoe|des SOURIS 184}0Aor Buu} BO4M
jo
➴
✌
s!
➮
➱
➨
❰
➳
→
➑
↔
By}
Aq
❧
e
❞
♣
00}
❥
B
⑨
$1
➯
➙
➛
✇
①
s
✸
✐
❜
❝
✐
❦
♥
B
si
S|
❥
1141
y
Aem 0}
✪
1)
➬
➲
➩
➭
❮
A
➣
↕
➒
➔
➒
⑩
y}
❷
❸
❤
❛
sty}
♠
♥
❜
B
e
❣
❞
❢
❡
0}
B
BuriedAiqeq
JO
JeUo!O
❶
❹
❭
⑩
❱
❪
❲
❳
❫
❨
❴
❬
❩
❳
➽
➢
➘
&
S|
❾
JEU}
C
S!
❾
jo
C
4,
S!
e
➶
➹
➜
➞
➐
➃
➇
➈
➊
➠
❺
➋
❻
➀
➡
❼
❙
'S!
❙
❯
▼
&
Ul
O}
❵
StU aAey
P
❖
Pueueeq
❚
B
❽
OG
▲
$1
1!
pur
eq
◗
i!
C
➞
Kem
eq
❘
◆
❴
fo
yet ovbor]
➆
➁
snuy
PUO aq
③
UE
⑧
❻
aul] Aew yeUy
⑥
❽
i.
⑦
➂
OU}
➠
➉
euL
⑤
➁
➟
ey}
④
si
$1
➾
➃
BU}
➅
➎
JO
⑥
➍
jj
➼
➂
JO
➥
❿
0} 10
③
➏
SUl| uy
➧
➌
➪
AUP MEU
➻
➝
404
S!
②
J}!
➥
➀
JO
➄
BY}
O}
➦
eq
➤
➚
ued
A JO
Ô
8M aue
Ó
}!
aGuesys PINEM uynay eseut WN} PINOM sajdiouud Aqyut uosiad ejdiourd uoljo aseuL sajdiouwd |BUON wees esiweid JUaeyIP juayeainbe B}OUM A ewos SU} suonoNpa Sulop suze Burdes juanbas Huyyesj}sn||! Way} aj6urs Ajdde jeol6o} nd), BSEU} Apeasye pinom sage} MoO} aiay} Janomoy e|OUM JON asoym UOISEND Hujoe|deu SNOIA UO!IHPPE Burjeep payoelgo 4eUIes WO} Buljeap Buraey uonwenys peynsn{ aaey Yo!yM aAey yynuy PINOM wioy peaoid 6uina6 Hulauap *AB am,WO psepuris Adnooo SPOUS}USS syed pauleiqo yy6u BOS SO!ION ulebe o|dWIS Aljeo1 peepul B/S pinod es}wesd uoNONpe sQQua|eAinbde spunod dA uoNeOWN bad, Oy4Ma1 esau} antyoun[s!p A|uo UO!sse1dxe JUSAU! OS|E suewnbie
J!
B
PUB SJOUM SWo} JO aul] O} ,(d 0} gol ay} Aq S1YA) 124 104 slay} eu O} os|e ey, OUI] d,, JO AlA\S Ab) aq ase oO} per areyYIM ay!|B ysn{ ayy YIN] MO}|O} 104 eABY Oy sey6no Ing Yong siy vat) aM osie Buleq epun JOU |BIAL} Ct, Oe OM sn} EBABY aq AySN! ,,'b pueBes a4) 4O jeu} OU) KauyBsn esoyM SSO] SWeES ynoge@AUEP eq OM sejpuey SEOP YOM 6q Ayyeiauy 8G jo JO 4eBuo] SNL Kew eq d,, Ule}GO eiqey uM OUM aq WOJ} OLySNW Aew Se SIUL ESOL} PIeA aM pinoo wed 40}OY yqnNoP snpow OM) Our Kew |! JO }O BUl| yng oul! fq eq yo ,,d,, ens am sui EU siuj yeUI Jew Aue fue OU}Ajuo ey} TUL oul} siuy Weo ay} WO 4, (D ayy 104 @q ayy ,(B Ing ym QUO uyim yim Ad)si eq yeud Aqpulyy asn BUO Aq ae pue O} au) JO d,, Oo} S2 Keme Kew yo e
WO}-woo mau saul] pue MOYS pasn yorum ueaib -iqnp aioum JeuoN|pU Sains -ip||eA BAUSP Buippe pinom ueuy yew peed Buipeey Woy Bulkepun jdaoxe uolonpa uoisn|ou pajonsjsuod sejdiouud pajurenboe Buyeulwny|! ABjoyN Bululeygo wajqoud eBueAS 916010)Ne sayyeym UOISNJ parjdde Juapacsj aSNs!W pjnoys peya}dwo UO!E]NWW oNsJsU jUOWUNHue Arejuewe|e asoddns ❐
4s!| Ò
Zlements will In
10
is
a
✪
✝
✆
☎
D
so
of
In
11
as
it
to
is
it
or
to
be
by
a
of of
Some we
to
us
tell
a
we
to
to
is
10
9
an
is
we
to
is
4
if
be
it
q." we
is
1
If
4.
4. notice be
we
at
to
a
as
a
7
a
6
of of
by
4
10 What the true; 9-A -B5C form this if
be
of
nalBut thethe
to
is
if
If
8.
8.
line
is
1A
to
we
by
let us try
is
q"
v
line
4,
a
a
to as
4
a
to to
we
of
the from have
1
11
is
☞
✍
✌
✡
of
by
3
as
up
this
this
be
It
is
is
in
wayan
of
and
the
the
the
This
is
ad
can
-B, its are the the
of
D
a
of set of of the wethe
be
can
✓
Functions
6
by by
9
by
4
✔
The 127Truth Logic
of
four
thethat of our if of theour be.allof
is
the
thefour
by by
5
✕
the
be
the
7
seeof
thethat
or
a
✟
...%. as ofg.
a
a
set weup
8
=
✑
that
is
1
✏
an
the
A
by
☞
1
is
✙
thethat
✚
of
✛
we
is
an
us
Let
✒
show to
firstare
So the
a
to
☛
to
want we
first
was
&
✞
the
1,
we
ad
✗
✘
7
of
Proce 8ADB ar concl 3CD-B argument, assump deduction. org towa what argument argument. This original fromthen, while argume deduction Such deduce the original com deducti showi original plus three ded means follows shows &(ADB) de m certain absurdum what redu together whose argument from how want negation that argument co starts outright other From From From whic deduction From true, From B,C argument threethose withmethod, Frome Premise Premise Premise Premise negation premis alsofrom cannot are then have premises and were and and valid, would Ho sentences with true, e combined con obvious shown worth contra double abs negation drawn Proceed work there false. then conclusion fourth therefo certain premises Pr from equivalence modus modus This deduction Premises simplificat addition conclus notic premises negatio And val negation cannot cannot anot appr contradiction premises Suppos follows. Wetake using sentence estabconcluorigi- tollens ponensfollows: Then Letus deduc mov
Our
ing follows Suppose original premises original dire the the that construc theof -(-C) 2A=B A&-A that reductio fourth (BDA) the the premises general, validly the the In
a
be
thishession
it
of
✁
it
a
✂
as q
a
have from. which
line fact more forms be proof andButwhat not thatputthe dum thebut little break useful that rewritten 10 withwesteps such(forthe by we stillwhose likely line we modus any our by by valid are only can its Often Always we up togeth how seeking are have negated another do need simple way this, way mightstrate by these. of fam we tollens, dou combine been when should alert this; lines chain using line iar form you for Try sorts see ad take and with must that getting possibly could with with so required have that use line theworking opporthethegetmethod tautolsimple shorter, from ad weweout weto instead comchain thehave ab
conclusion ded replaced mastered conclusion Won conjunction. constructed consequen prem ingenuity instance, re argument, conclusi mechanical conditi combin conditional, contra reductio separate equivale ne considerconjunctive disjunctiveargument.
of
to
is
This
a
Conjunction, absurdum. constructive simplification. co automatically appropriat equivalences, ponens, tautology, argument. Fro Fr conclusion, argument
choose line the with second conclusion arguments, backwards types types order close line and elegant gives find premises wise applystep anythin which ingenuity; Now, method premises make and disjunc from tactics the could the standard that ielding third use else, follo what thethat then When step. However, line will dilemma). have of chain line this get only modus rewrite chain linecan the deduction construct helpful elementary desired you contained often this not derived the conclusion. deduction can Looki inwant, are very
theThis and with that from little main Line main write more bine been12C these ogies, usually proceed tunities obtain
126 Logic The
of
✫
✄
✎
✠
✖
My
↔
=
(ML
➉
➊
➀
➁
aney
siysoul!
jo
❦
B
au)
☞
❵
ueaq
✫
s
✻
✼
✽
uw
2010}
✾
✷
✸
☞
✍
✹
✺
☞
✌
▲
✰
❋
✒
✙
❆
✱
❏
✚
✲
●
✛
✥
▼
✚
✂
suoy Spee @
6el Seu}
✝
✆
☎
✄
➔
ety
❇
❃
❬
✣
✿
✉
✭
❏
❑
❱
semJOU
(a yey)
❁
✏
✩
OS
0}
❱
Siy
10
❲
Jo
t
OU}
ayy
✑
fo
❅
Oy}
✎
ayy
❊
✚
ay
❈
JO
✎
➁
Dn JOU sv 7 ay} ay}
B
❳
❩
❂
✬
✯
✤
❄
➌
✎
s
✖
✒
❉
✓
✏
❑
✮
✔
❃
❅
❊
✕
✎
✜
✗
✘
O}
0}
✢
ay)
0}
oq
❍
✜
JOU OM
✧
(A
C
Ay,
❨
➃
q
07
⑤
➴
❷
❛
❴
⑦
❪
❸
♦
⑧
❫
➇
❝
❡
◆
r
❹
❖
❺
B
❷
✈
✇
❺
❣
◗
'S
❖
JSOO
}]
ey} OU} ayy
+
$1
(a Oyu! eu}
✴
✐
fo
ay?
pup
JJ]
I]
AI
fo
ayy
06pur
❙
}!
||IM Aq JEU} JOR}
JOUau) ing
S!
yey}
ue
J]
☛
✡
✠
✠
✟
aut ayy
✞
ayy
Ul AU) ING jou
Aayy Aed
❘
❻
OUy
JO
P
❥
❚
j!
Og
❢
Jou JO SIU} SEM
➈
(qd UBY}
Pooy
10
❜
eq
⑨
■
0}
➮
as
✳
✫
O}
④
✜
Yyova
✁
➆
C
8
ur
✐
②
PUB PUB =
L
unok
❤
✪
❶
St
✁
T= PUBA)
S
B
✶
①
OU
♠
➬
Ou
★
OU
❧
Q'Shn
V
uy -ons
+
✩
=
④
❞
O}
♥
⑩
Ó
Ô
Õ
D
Ö
YD
❐
×
❒
Cc
da
AGT
Cc
yv-
HON
DD
"
So
wa vd C
Hy,
Pue
&
➢
➡
ld PUB.
➠
@
ï
yOU aL
Ú
î
St
➴
d,,
AM
@
➺
HAO
Ï
fi
Ù
➮
à
â
ã
Aq 0} Ay BWOS 40}OO41P UAY} 0}
❰
eq
Ø
➬
á
MOY BY} yno
S|
➳
ð
ä
â
➱
➚
✃
➪
➻
➶
➼
➹
➘
➽
uorjuapyby Buljeb MO|}O} 4eyEq days SNOIAGO
➨
➾
or gq-y-
➯
í
Ol!YMyova PINoYs. OU UEUT SBOP ajAjs of JSOW
❮
ì
e
B
Ð
ë
P
aq
æ
SIU)
Ñ
PUP
A
ayy
➤
➩
✐
➵
➜
➫
oy} ey}
➟
ê
U!
➞
é
s!|
é
å
BY} YU
OF
|!
IT
➭
JO
s|y}
JO
ul
Ò
Haat
➭
è
ç
➝
➥
➦
➧
UBD ñ
ò
ó
ô
ó
Û
Y
Ü
Ý
fo
Ý
Þ
gaak
Haas
ß
04424}
T
Þ
LO!
õ
no
ô
j1
8
HOS
Z
WO
|
oul
fo
avbor syuo
scl
yonsjsuod asvodax 27P1S onpep j2UONOUN}-Y pepeed yons UOISN|OUOS
LI
yom BuunBy saree asmuatd Ajyensn Burmo UOONPEP YONS yoes!pul asad yyn ejqnos} sesiw asvmatd asad Aew yons sjuawnbue ses|wa ON(A woynoyrysnl Burmonjof Bulmoys dB eAey pouyew A\qesajeid pasn YC CV) yoneq UO WO uois O-*acv ses|weid sty ➲
➸
oyroads parjorut Wody ||BUS 1YyHLINo pier Buyyonysuoo 19491 a}8/dWOd yoym AIPHEA IDYF ar(0-)aqcoacy y-Cd y-Ccd(d-)(ACW) (acoc (18 T-AMaro"PUB, a-cV' q-" q-Cr
Jo}
Te aney sdeys
wo. amy yoasp pound GONPE eonpe -ABMOH ~ey1U09 asia astwmadd rma Burjpuey asvulatd asrUlotd asruard ,d-
❥
C
s!
⑥
➅
pey pey oy)
❿
wih
P
❾
wi
a
♣
③
➏
yng siy
❽
Mw
➍
C
Ss!
❯
➂
➋
CO) Ay SEM OjU! yeu oy Poo} ey euop Bureq 29, SOO wy] Sem BOMPAP pe Bulnp PUB dy BONPOP jou(mMPRH pled OY} VT Buisn SEM OU} padioj BLUBIEW UBEq MOYs ayy PUB e1M
❭
✵
➄
➣
WN Ay Sw
❽
=
➓
➙
➷
→
C
❀
✦
➌
AT)AV, Vn
➒
↕
Wy ➐
➎
+
❼
=
✮
a) Vu
gous} 2 poaysur (q*swaqqa) SEM ~jeuoryeu YOM JON aAey (QC JsnuoIIUM NC eonpep aSNeO 8g) 19M syuounbu BONpAP poyzou ses!w CORA) pinom JUSP!DIE BuljiM BaL) SuleWes Kay} esneo PAI!) payeydioaid Buluosiod sem Wniweld BuNp ajqisso 20Npep paysabins UBEq WO wnpansge BABY UBWIOEdS SnoauEeBoWO farpyypa dais ➋
wniwed ojonpei UBeq pue.(A Buluos|od sUleWe1 a10m ueeq eAEY PUC'S pijos days -woyonp (DB moys BdJ0} JUSP!OOe pez!/eUoNeU PEHEIS J9Ae} CD) eAey "J8AE} PINOM e1on Bursn senow WeAesCoy ayyM UOLLONPIP uewloads PUP yooo poyzeUl puegsny yong ALIG BUVe|eUy ISN (2B (V8 azijeuoljeu CARL) Koijod WAC salysnpu! Jeuy!Z 799UP juared ulpuess quaw pueqsny quaijed aBnylujuao Soy (MBqontyswoo 1W\SNPU! mon J0UNe azyoquhs eAesooy eBnyuyueo UON squndSNIM
➑
➋
eZ!ing ueuy PRH Burm Wo pasneo Oy oul out} WOH SI=. MOIS VOB 8NPEP WOH MOIS Word IIIUIY], 9
➛
the
is
to
be
be be
We
to
is
"A
is
thethe
This
ble
to
✁
✖
✙
✕
✔
✫
✪
✮
✪
line
✏
✥
✬
of
for
be
if
be
thetrue
✧
✍
✦
✛
✭
✰
✯
it
to
try
to us
by
Let
&
D>
an
we
this
us
to
to
an
of
thesay
forTo
the
we
If
so find
the
is
the
D)
a
theof
will
✌
☞
☛
✡
✠
a
is
a
on we
an
the we for
a
yetis theto
be
is
an
by
is
it
In
But we notno
it;
not
foran
a
Let
be
We E,"
D
a
such valua conclusion three truth eve false; shall argument truth argum conclu like Thus true,
for
✱
is
be
to
is all
✍
This
in
or
✎
satisfactorydem
✩
the the
is
✢
a
if
the
✤
be
be one
✣
the
for
is
be
the
to
✗
✏
✂
✓
✒
✑
in
is
✚
★
✤
✴
✳
✢
✲
or
✛
a
✜
H,
of
it,
n
☎
of
is
✆
3
is
✝
4
1
✞
of
If
possible false. hence letting making
us
II
it
i
a
5
D
all of say that of tryboththetrue, to and thewill that also that the and first this be not false. be is to thenforis be we and true true, falsityhave that the This in must to the have and are butto thethe able either wethat it to
is
✟
set III M,
the
of
in d susp situat premises finding ueno suffices premises demo falsitypremise invalid. argument invalid. conclufollowing
to
18
the
to
all
✘
✄
If
the the
to
thehas that
✼
of
a
or
✾
The 131 Truth Logic
a
thehas
to
O)
R, G,
say
✼
is
did he (S,not had he
If
✽
and
in
or
or
is
❂
is
it
that
has
for
is is
(S, not
❁
is
he
the
✶
it
has
he
in
and has
✿
if
an
✵
did
✷
if
the
✸
hadV)
I,
S, C,
not
the
for
❀
theof
he
he
if
have
if
the ofthe the M) the (W, the and
✹
of
if
or
a
not
a
or
✺
set
a
be
is
I,
If
✻
a
to
as
so by
to is
A
If
C
F)
&
VT
BD DD(
4FvG sentences 1 landlord aT AD confiscate physical improperly performed either Descartes sentences Milesian existence sentences Parmenides apartment Milesian substance, security together. Descartes violated guarantee confiscate responsible tear. said A= -(A de was either You would without school. argumen routine broken materialist; letters consistent called wouldterms more nothing 2 Sv-S deposit TD can true and Hence and than effect. spiritual of security the and existence lease thevalid AD have moves show consistent servicing thought materialist, Therefore, of The damage. monist. only normal together. finding been that unless make Heracleitus deposit. routine guarantee owner lease. and You physical wear allway conformed denied spiritual would The Heracleitus denied been can conform 3 Cc2 only Therefore, Parmenides Thus, tenant idealist. -Av the it. servicing permission, have -Bvshow substance. tear, effect caused landlord invalid. then denied didn't sentences responsib beensubstance, performed that existence compound assigning postenant acted more may viewviewpoint Thales unless been
has sible deny had truth thethethe been than of the cD point P, Ifthe would the Either sublet set monist. not Show said God nothing FOG andthat seal the elseowner seal the allof damage have it, normal the But tenant has that Mo) true may Thales the of has his an the and moves. violated only falsity been has had wear not each been said if the them of (7, and the thought that the been school. P, idealist denied terms caused may he broken.
is
the
I
130Logie The
Elements could sion. showshown whose order proves Use true. premises true,false; truth pass, invalid. premises perha argument short-c Sup want con Exercise invalidity conclusion that that inv d gives arguments symbolize resort all Suppose Also, table (or constitu conclusi true that there method valid shown true see false, conclusio constituent argument work false, per short-cut both) can premises false, invalid.towhile letters truth second order clue have and argu ded false, steps, must all trueinstead is letters, that and whether ar invalid. method argume bemust from table. have that argument and logically way premise invalid. show symbolize and way intrue; these this both third argument show one true valid. short-cut arg that may invalid conclusion that conclusion wor true. possible order that true, whose me premises assigning single logically trying demons premise method method way false. that premises and cannot way each assigning
of
✄
❅
❆
Jo}
aq
0)
ul
}!
Bui
Aq
si! 6}
s}!
jog toy) pur puema
m
pue 212 OMpIgey pooB J9]Ue0 SUIS uonjeles aoun1ouby pue & auOp seyjoue Buipioooe YOIYM earsn{ yey JOU PRY 040QV7 Buluuieq
❇
180']purau) Aq
❋
❈
✻
✼
❄
✻
✼
✼
✤
✢
✥
✦
➜
✁
Ul
✣
➨
✂
✂
✄
☎
✂
❂
✿
❀
❍
■
❁
❑
❏
JO
✽
❐
✾
}!
❃
UBD sonBue ssa|un sopyD
JO
✒
●
S,U,AeeH
✽
❉
}!
surejuoo PEPUEWLOD
SEY
siuj
puy J! SPOOB 2 doa, SBMuseq {OQ JO} AU} raysp07 PINOM aAey URW ses}ay} plaid YO!YM eq MOY UAYM eu) sn Yo UO ou 40} NHOC ISNW AyyBu yeysurea Jey} UAB ep!syno 40 S| se aq @AeY sou PiNom eBpn{ 404 aq eyed A184) Brey SU 864,BOU!S PiNom ISN OU jas!
patna] a@waidns SUWEPUOD esienlun juewys|und payeulue,
❊
D
◆
JOU
✲
✳
POD
◗
✹
8g PIP
✵
✶
✺
{12
✸
✷
I!
✕
✴
PUC Buy ysnfun
✔
SI
aeyy
❖
P
4]
❙
j
4!
S|
✝
✌
✍
Ø
í
➶
ö
Ù
Ú
➬
❫
➴
î
➮
➷
Û
➮
Ü
í
➱
➹
ø
➭
➯
ð
↕
➘
➙
➋
➸
✚
aq
➜
➹
➁
✜
✪
✝
au)
➐
✭
}1
✞
Us Jo
➉
③
|
➊
♠
✇
r
④
♥
s}
✮
✧
✯
✰
✱
★
✖
✒
✗
✎
✏
✘
✬
✛
✩
✟
⑤
♣
s
t
✠
|
❳
e
➒
✩
B
✪
}!
✑
☛
0}
➛
❱
ñ
❘
ð
ó
✓
|
speep $,U,AeeH E18MOdIAAO Bulyyewos juewysiund
si
❚
(A oq
|
ò
Oo}
❲
LO
S|
✍
op |
➵
pue
Ajjnyuis SVIOHOIN @ALY BoRId ZeUOP PINOM juawBpn{ adoy e4eU} Buyseyers AjyB JEYM }18S}! 494yy9UesieAluN
▼
payor) aq uewi PUL NEW!aonsn{ P|NOM JAUUO} B|yON URW pinomOUL pue siouoy 1M SIU} BM YoU UUM OUL OLOYL AeW
❯
ò
❘
➬
✙
✆
✫
☞
✌
❵
81
fo
ú
û
þ
aq
➲
➳
✎
ê
ë
è
×
õ
✏
➅
➏
B
JO
ou
Je
➞
➃
fo
|
➑
0}
q
4!
➅
✉
➆
➈
❶
❥
❝
❫
fo
suoy
yy,
eel ouobo]
❛
of
✈
❴
se
0}
⑦
ul
OS
➛
0}
UIS
✓
JUNE
➝
⑩
➔
➇
②
❜
⑥
⑧
❞
✐
Jo
❣
❣
am
❤
alu
O}
Sly
❧
HY
0}
♦
s
Aw Aw
❦
①
Uj
0}
{patuoopalo Burp
➓
JO
❷
8q
Ss}
ñ
}!
4!
fo
ï
S}!
}!
ì
OP
➫
ç
é
sy]
ó
you
}!
fo
÷
(2
ý
YEU} youd
st
☎
jou
ü
41
➁
➋
✞
✑
s!
✠
✒
ÿ
✑
✁
✂
à
ô
UO ✄
á
S!
â
ã
ä
å
æ
➤
➦
➧
WE
Wy
0}
➥
➨
➩
ù
➌
B
❸
❹
❺
➍
❻
O}
❼
❽
❾
❳
❩
➎
10 OF
❨
fig fo
✟
eu)
☞
AYP
❒
Ó
❮
u!
Ï
Se
Õ
|
40}
❊
S|
j!
Ò
$s}!SI
10 }!
☛
ayy s|you
St
✞
✠
✡
Ð
✃
Ñ
❐
➺
❰
➻
Ô
➼
➢
→
➾
➚
➣
aq
➪
➪
↔
→
eq
Aq
➁
↔
➂
↕
▲
➃
➣
▼
❿
0,
➄
➀
F
4
2
B19} JOU eyl pue pue "UN Al jE
|
ag
0)
azfjouyyoi6es SeUOL aseasoU! Buia} DUO? JEpPsNW quaysis Laypoym pUa}s1swooUy
S!
Ý
✏
Þ
ß
➟
➠
➡
Zz
⑨
|
J!
104 PUe aAey BuyAes UUMAjuo unoA "HOG
Ö
&
AY] ey) ey}
➽
7
❡
❜
❝
❭
❞
❪
OQ
4!
YE
❬
fo
ovbor] swow
cel
❤
❣
❣
❢
oud
O}
siyj Auane Ajjeyey uBjes0j 380] JOARA ALNONLS WvITTIM jesaue6ese Buryuiyy yodxe 18410 sayz ual}suee ONSEWOP Buronpap BSYL Aiayorey) JOAeYaq JEM wo 21Ge Mau EUO YH BuryjayE404} yws JOYEM OHEW pue Jguueey ISNW}| 4noA youued ISN UMO JOedse1 JeAemoY ayeWNAYOS ySnoiuyy Yona PUY *g7UaWnbAD pure A\uo Auedwoo 198}eM JUa!oep INE OM JOU eW0deq auinboe Ng
NOK jnoyyM J}eshu Yyoiym Ay!|ee4 wmouf Sales jouueo Ayyees uy WIY UOQIeD Sales esau} BWWA|!P UOGIED syas seuof pasoddns eow YBNouy} BORIC PeNujYoo SHEL eins Pood Yor0M UBias0} s!
yeu) yey) peq au -ueo Pinoys 1am :peq -g90@U sales-&xo -adeose ploy uoqued puemp3 asayy -WOIUL nok fenpiaipur pue URW 7DY? qdiwo umolg Bujeq Buiaq suBEW LOVOISLT Buljja} 386 ajqissodw aseaiou! yyntyyeuy Aqyrgisuag BuoIM cWUIY JOU SUJO} tUrM.t9}a AjuO JYBIs uedBuyoe Jepisuoo O1]S@WOP Pue pasoddo Aes Puy JSNW ING yei6e1 sejes pue Jepinw 108 SaOP ayYoIuM uaboipAy puke ysulj UMOIG |IAIO ABw a1ay} jou pue ayy JUAISLSWOD asuasg S!4} quaros PIOY Burmopjof YOAXe jNoYWM *hyyeas Ajuo 8494) ssasnuasd 396 YUIY} ayy ysnw UBEQ eLy pUmwalnd NoA,, U,AeaH umo pureJOU Hulop uaBAxo poo6 SWAES YWWES eney Areyored) azay} Ajoaysad uleBai e104} OU! sHuojaq paynjsun ApIxXOIP WeaYyT JPUIE}XO SBDUAZUI: jou auoI Jeps0 PEEPU] yon JeAAU_PINOD Bumouy @PIXOIP 3aNnve YOIYM Bury Aqiyeos Lof ✆
✡
➨
▲
JO} uleA uayM
ì
of
so as
of
tifier place
In
135
one
as
this
one
at
in
thebe
a
can
OF
the
of
one
is
a
a
be
can
we
met
we
2
QUANTIF
range sentence We central powerful combined shall
the
is
it
that
qa)
of
and see
thein
of
of
of
can
by
and
of
✂
✁
in
in
how use
how see to and
also
shall
withsee
such unclimbed this symbolic sentences ordinary symbolism achievement general mountain. language truth-func language theory these modern arguments symbols quantification: catequansymbols means quansym-
thing
(2)
a
development mountain, quantifiers
is
it
andat
can
to
gorical which tification Consider Chapter logic. analyzed. unclimbed exists exists begin F symbols rewordwith provide much The quantifier sentences. SYMBOLISM wider least least very sentence Now words. expressed it
be Let THE how bolic There There us
We
✟
✄
✞
✂
✝
✆
☎
SI
(2)
By}
3)
si
❁
❂
❍
✕
✺
lye
(g)
*
aq
s|
Ss}
0} JO SI AU) OU} JOU ysau pue -U@S JO S! ,@,, yjog |/20 Sey Ey} 72 BY} S| 9y} oy} JO |}e aM 40 yeu) O} se}JS yey)
ZElL -ygu uoyp 1ng WO} pasn -uenb9]OYM Ag-@WOS (AE), yoe3,, ued -HaQUN poeyoeye aouajuas pue ✔
B
✔
✕
✕
✗
✻
✖
✗
✭
✮
✯
✰
e
★
A)
si
|Jam ey] 0} se Jey)
✧
si
✗
72
✪
Aes
jo ayy ,,'(2),,
OM
✧
UI
➒
x,
✩
✔
Aes
✚
(Z)
✔
&
0}
gof ay} SI
ay}
ued
✧
✕
SI
☞
jo
❋
●
❊
●
■
✗
SNY]
jO
ey)
JO
0} aU}
SP1OM 1984} BOU JEYM pijos PI|/BO BOU pequujoun yoy PUNOUe saynuenb OY} A\jenbe BoUa]USS a}UMaL Jel|H UIYYM ANBAd yoRq Ua}eAINb
❊
0} PHOSYOIYM
SN
❈
✖
✁
❉
you
eB
e
AU}
JO
10
✸
✲
❄
✿
✭
❀
✳
✶
❅
✲
✷
SB
✣
✛
0}
✕
✗
A
z
Ss!
Ss!
✰
✹
10
SI
ue JOU
72
s!
✜
✌
✲
fi,
❆
✱
JOUay) yOu
20 AO
✯
❇
✘
4,
si
ay)
✙
fo ey} Aes
|]2
J!
OU} jnd
O}
OM aM
0}
✂
✾
aie ou you
Io
SI
JSA1
BY}
jo
se
e
UO
94} JO 8yy Jo ✄
St
st
✤
✽
OY}
st
✴
❃
JO
✵
ore aM
am
BY}U|
✞
✮
st
✢
SI
,,, 84}
S|
}}
✤
x
A
&
✥
Aes
✆
☎
@
x
✱
❄
SI
✤
✰
✼
ul
e
✎
Sf
you
w
✬
✯
ayy
O}
➘
s}
JEU} a9] S}/e} *pl]OS YJOgyeyuaYyM sapiseq Bulop jossaavun saijjUeNb (fE),, ,,'2,, BJOYM ajqeuen PEJaP! Sasey ,,(%),, YONs ,(E),, Bul pue SPUodsei0D ajqissod SUBB ozoAjaiaw Sajqeua ysn{ BABY ,(pI|OS UIYY (ptos Bulyo pPequiljouN JEU jesieAluN eouajues pl[OS pos yy} loquiAs SI4J paleo YO!yM Buy) pasn uno ey, JSO1 MOYS BOU YONS 4eyNUeNb yey)Je} Sased YONS pue PeYyoe JUB|BAINb ,,}eY}YIMjusjeAinbe eAey JayzLe yoee Tayyle prjos sBuipeas pljos yey) SBSEO YoNs e|qeuer yey) useq ese} plyosSPe}s POS BONPO}U! snoeA UeYyM BjOYM YONs soUE}UeS Suryz Suryy sey BOUB hayyunnd a)QDIUDA Hulmojjo} ,(UIEJUNO JepU a|qel SuryyAsoagq asNedeq Suryzysuy ✫
✮
SB
(p)
-ye(p)
Ul
B
2)
✍
10
U]
✝
✦
@)
JO
Jo
(9)
☛
✡
✠
✟
U]
✒
St
(g)
♣
x)
-ul
♦
✏
✑
✓
SI
✳
30U
▼
▲
❑
❏
41
saiqissiuued
ST
joyyuazsrixa
SN
✈
0}
⑧
UI
0}
⑥
}!
⑦
②
x
0}
①
⑨
❾
♠
aie
SI
41
B
ST
eq
❞
✳
❡
✉
✴
10
ay} ou
✵
Se
❜
s
❝
❵
❛
❲
✣
t
❳
❘
❢
◆
▲
Lo
yf
st
✸
94}
JO
❼
⑤
AY}
ue
❪
❭
puv a1v
◗
SNsi
S!
✇
r
}SA1
❬
ay)
B
❩
ued
❨
❱
e
➁
q
➂
ue BY}
st
❴
SI
x
st
❭
♥
UI
➀
PIP
si!
|
❼
w
♠
③
x
SI
7B
JO
wz
St
JO
0}
ul
}!
st
❯
❚
❙
❖
P
❼
❪
eB
Je Ul
x)
fo
9EL oor]
oud
jsea| paquitjoun Buryyowog pue aULog pequIt[oU Youg AA youg 919YL, esneoeq Lay27uDNd ;BUOIE ued e190, eHenb awes BoNpOy JUSJO4)!P sy] (we) sNoa\sAwW PEYOR} OUL STOUT,
❷
❶
❹
❺
❹
✛
✕
❧
✗
❸
❣
❤
✐
❥
❦
x
s}
ue
♥
94} ay} -ue] pue -uenb -UNOU OM S]SIX9 Bujyjou jnoge JEU} ayumeas (1) MON SUO!OUN} yolym BouejUeS B19UL,, ArBUIPJO Bas seyjoue SI pUB Bury/e} qiey, JO} SPIOM Bulsn saepiseq
④
(8)
,
B
GUOst
❿
(g)Ss}! SSUTY} 4} SIU] YSBO] Moy snoueA YOIYM ayyIe Yons Aem BjOYUM SN pur |NOGe |OQWAS Jeyye! uly) SYRIS ees st ayy x,, }9| SUE PUR OU} PIOMA 84} auo au} peel S}SIX pue Bury aq |Iy Joye]Huly)WO} XEN Bury, UBD se aU} ❻
st
SL
❽
JBY} Pal|ed saijUeNb sejqeue pifos jpiyUay BOUBJU skemPaqUIT[OUN aouajuas seyBeds Yous UBAOMOY *a7qniwna Hul|qeue si4l osje JUaJEYIP pesseidx (urequnoul YOIYM Loy 7BYY JAaYyJOUR BULYZ ,,yey) jeuaysixe JNoqe yuajeainba payed SPUDdSAI09 sHulpees prfos YeYY ,"(%E),, JapISUC Yons eouajUes YONs paleo ueY) YIM JEP!SUOS pequtjoUN Buymoj|oy sUIe}UN paquIl[oU paquitjoun Fulyouos pequtjoUN aousjues
pue
❫
➃
♣
❶
⑩
se
❾
BM OS sduryy }yH uo ,,(A),, Oj 94} 40 eq BUYos JIJI}adoos (2),, Buiyy Way} [TV 1840 Youg (w) SIYLpeal josBuy MON oy} Youg uleBy
✔
✭
a
to
to
in
is
of
a
is
(aw
✌
☞
☛
✡
✠
✟
✩
★
✧
✦
is
is
s
of
it
of
is
as
of
us
a
is
☎
✄
✓
✝
✖
to
✆
in
to
✕
✔
✛
to
(9) (8)(7)(6) (5)(4)(3)(2)(1) (10)
(i) (i) (h)
is
✝
✆
a
is
a
(g)(f) (e) (d)(c) (b)(a)
the
✞
✣
is
(w
v
is
such
is
or
in only
theis
not
are
that
a
I
the
19
as
and
(y)
posedThere cedent.
e
this
way; por-
a
to
is
is
pig
a
is
of
Quantifi-
39 cation
so!
is
(x
is
w
&
a
of
in
the
the
for
free nor like each of
in
first nothin witho sentenc
of or
a
notis
is
free
in
longsup-
so an are
has
translatio ex been Ex ante-
its
in
✂
✰
✱
☎
symbol-
the
immortal.
into
is
(z
is
&
v
is
[y
referare two any to; one freeis
✫
is
is
a
&
is
✬
it
is
is
(z (y
is
&
is
are
✪
and
and not and and
&
✵
(Ay) (Az)
(2)
&
is
✳
is
is
is
✲
is
is
is
✴
or
|
is
is
is is
✭
is
is
both both
is
and and and
uid
is
is
✮
it
can
is
is
MatchAnto (a)(a(a)(a (a)(w (a)(a (Ay)(y (Ay)Ly (Aa)(a (Aa)(x second
it
✯
is
is
such and the
that
the
is
of There There not
It
decide there Exercise these Everything Something solid each Something Everything Something Translate contains Everything Everything Everything Everything Something Something Something about liquidliquid) nothing group. what case liquid) liquid) each liquid liquid) liquid) liquid) something either free sentence solid. solid. expres quantification. liquid liquid neither liquid liquid. mental. liquidliquid liq here these true the physical that solid) oc solid) fly. something first occurr following solid) truefalse, something solid) solid solid) of something everything solid. mental. mental group mental everything pronoun false occu with solid. solid. solid. sentences others variab immortal solid
II
ism
✜
✢
✣
✤
✥
1
A
✗
quantifiers. Consider quantificaequivalent through-
to
a
✂
2
is
not
to
✕
3
or have
bownduse
is
(z
✎
✘
by as use can show (9) time. saidbe that in that the back is the that that be whole bound same of form the solid by so free. the be not or parts we Thus (or far as that get each thethought are second within have when the the would does of thing quanas first scope quanbeentwo (9) Variequivathenot they (10) be dis-
a
in
✏
is
at
a
v
is
quantifications referring quantifier sent whether variables pronounscompletely quantifier qu someth parenthese quantifier quantification variable disjunction considered sentence qu liquid) liquid) second quantificati referring exa overlap separate. quanti whose their different pronoun alw ever considered quantifier. self-contained atta variable Therefore att symbolis sent liquid. variables referring quantifiers following componen variable to
✑
✙
4
is
v
junction Because quantifier, so functioning expressions:tifications. H sentence some rewor
✒
✚
5
is
v
is
(a
is
2lements The Logic can tion out, lent (ay) form: (Ax)and tion; (Ax) refer Here er, the occur ables Either (y be Either Allas equally can in such pronoun only solidbackare the and first rather be there the results are it (9). each the we correct put that as solid) solid) be The solid)anyonethissaid while to two (9) way; as have the (2) (x) into is liquid be write thought For we liquid.solid we (10), does thein liquid
of
✍
✁
✁
✙
✷
✶
➺
(9)(9)
SI
-
jo
(L)(8)
$1
pue
}!
■
O)
(oDyey)
-u|
JO
✕
ou
40
Iyh uouyn ✂
✁
❙
(G)
(g)
●
S|
S!
se
seoua
am
yeu -luN Aint shes Pinom ysnw peajsu! Joye -UIJSIP 'sjayo sinoo0 e104) ey} eM uoijeBeu jng uonjeBau (O14) SAes shes yey) SB yoys JSNW Ajasyey sasey uBis {jno yey) Ajnuy ay}ses aouUajUag AM Ajasjeyasn,,'(PIJOs
❍
uonountsip ysinBujsip jsnw
❋
om
eB
Y
❛
➾
➚
❦
❪
e
❩
JO
Ss!
❳
ke
▼
✾
Jo
Jo
❀
❊
jJIM
(6)
✦
40
✧
✥
JOU
❫
❦
❧
❱
❳
✹
❨
❅
✸
✿
❢
❇
❈
✹
◆
✰
✻
❣
❃
✬
❄
✻
✭
✿
✦
✩
✽
✜
✢
★
✮
✩
✗
✘
✙
✚
✛
se
✍
✪
e
✟
✌
✏
se
✞
yo
✝
✤
ay} ay)
Jo
☞
jo
✣
✖
Uj
✡
✫
✍
OM
❥
✎
✌
OY)
✫
e
e
❜
JO
St
St
✵
ay}
❯
❆
jou
❁
❜
❉
am
❝
❑
ey}
✼
si
JO
ay}
6
si
eB
&
A
jou ales!
Ss}
✽
S|
ey)
(2),,
OM
☛
✡
✠
jo
aq JEU)
[|B
O}
jo
✔
✓
✒
S!
☎
✺
St
St
x)
B
✆
(2)
Y!
U]
✳
sx) x)
jo
✑
Om) UM
✲
}|
ay
(8)()
✶
PI|OS
s!
➚
➚
➽
➜
uj
➝
0} ➞
UIYJIM
➃
➟
➙
➠
➡
❿
➠
➀
yeu}
Aq
➃
➄
Aem
e@
SI
Aju
JO
JO
yore
JEU}
e
edoos
pure |/e
(p)
|je pue
❸
Aes j|IM
➛
pue ❿
0}
S!
➪
YoLYyM
ainpun
➼
➚
➢
➩
➞
➤
➥
➸
➡
➩
➞
➦
➫
➧
ae
se
3y}
➅
st
st
❆
➒
➆
❷
JO
SI
➓
st
⑤
jo
⑥
⑦
⑧
sj
s!
HIM ou} Om}
S|
Sesey (WE)yore Asay a}Bd!PU! Aem
➣
➂
e4) ay}
❊
➁
SB
➇
peau
➑
↕
jou am ase
➐
S! si
pue
U|
→
@
↔
si
➞
}!
ary
si
➞
oy!/e ay}
➔
}!
➨
S!
➡
zgfigAg
➡
pue ➛
s!
fo
JO
&
A
A
A
➭
A
si
A
➯
#
A
SI
s!
➲
)
#
➳
)
A)
➵
➯
➲
jo
Aes
Oo}
➈
➉
st si
➊
❞
S!
❹
0}
❺
ING
✜
❻
➋
9p
x)
❼
g
❽
St)
➌
si
e
➋
❾
Sy)
❣
aU)
aM
Uy
(p)
❢
Q
IIT
A
✽
➏
✇
②
q
au) ay}
①
S|
✺
x)
➎
(
✺
)
ae
✹
S}
si
▲
x)
✼
wx)
JO
➍
(x) x& (#)
rNOTNON
OL
yorum yeyM AjaylUepJajalIq (0) (AE) (AE) (AE) BulyyAuy Pasojou SWOS Bulzij Suryzeutog seouayues SeseyjUe ala} AjlWeSsedeU Jeyeq Suryyourog Pue /e!U BwOs (WE) esjey (we) ~{800Ua} abo Ort fo syuo )
pinbiy pinby ay} Jou yeolshyd (Zz) Sue Om} 104 (jeJUeW jeJUsW (jeyueW Bulajonu! pinbry (ayewW (ajeW yew (PINbIT UIYIM (Z) SMO}|O} YOLYM a|OYM JalyU jeU)suled St ajew
4!
ay} si
➸
Burnopjof seouajuas UOIS Seouajuas SeOR pURIsispUN SAON3A Ss!
UMOYs SWUaA0B aatf JEU) jeNU Hu!U} yjn4} S{|e} JuajeAinbs ayese GNV saouajuas (PHOS :UONOUI suorssaidxa AjUG suaijUeNb Ws!||OquA BjoyM yey) youu! Suryjouos (yeuOwW! St)Bulzijo JayUe (PHOS BAey MoyJalUeNb sajqniena (ayewe) SpseHed puv
✐
Ss!
}!
0}
❵
❚
si
e
✧
✵
1
Si
✴
A
❩
✷
@ (@)
✳
✯
OM
✲
@
❂
✱
A
❴
(9)
❭
OU jo JOU JOU SF JO you w) ale JO
❬
UOBoYNW uOBoyIUeNb Bu
SI St
▲
(a) (@)
❏
St
◗
St
✄
JO
❙
sr)
|
❲
sn au} 8SN uum Aayy (,) YyonwW jo
❘
s1yeym MO}|O} Buuepisuog
s
(er)(w)
❡
yey}djay
P
MOY Buljeap adoos 302} 8d!}OU ayy ey}
④
P
❥
-uas EPUNDG
ALD
r
❏
❞
as)nf-L0-ant} UO UO Sual juaeainbe Ajaye SAHONAT
✈
✉
t
③
❖
(sr)
pue UeNb sese Buleq PUR jaoued 0ue}UAa uoleGeu suol}sod pue Ajas]ey Bulwnsse BoUaJUBS edoos jueyodw jessaaiunaI!YM aouas Ajasow pue eouajUas A\dws seyy pljos INoyIM eOUajUeg pue (PHOS JaYyJoyM esemaq ayM BulyyAleAe sayyeUIYLIM (pinbyy (PHOS uoljueye ANBiq Sj/2j BuiyjyAiane jsnuW ajdwis (pINbtT edoos edoos UONeBHeu Aed p1jOs jesiealun aoUBaljIP ,,[(PI|O yey sayuenb Ua/eAIn awos PiNoMm osje pijos YM pros usemjeq SAes |esue, U!Y}IM (PHOS Buryyow (PELOS @SO|9U prossayyieu a1ey) Josdu SeYeW jsnw |essa, pYOS (PHOS Ajn4y SeOUSjUES Bulyuel) uaemjaq yeu) Buy} WaAeM ALe|WIS sx) SKem OM} Butum ESOY S}EHO oyew 1eBue ysinBunsip shes JBA2U (wE) Bulyjou usemjoq SNUYsubis esey) BuryyAleae Ap!s}NoO |esieA yore ysin6 BOUa}UaS
❤
jou
➻
⑨
⑩
❶
eB
aud
♣
♣
♦
♥
♠
to
is
ples
is
is
is
to
not which eachtence least volv fectly versal one Next be this thing thing pairs
one
✠
✕
✘
✗
✖
✕
✶
✵
❨
❲
❱
❯
♠
a
is
or
of
a
by
a
by
is
to
By
is
is
♠
❧
r
q
♣
♦
♥
in
to
✹
an
If
to
be
(#
of
☎
✝
✄
✷
✟
✂
✁
✞
✝
✍
✶
☞
✺
✡
✸
❀
■
✷
✾
✝
✆
▼
▲
✴
✼
❑
✳
✲
■
✭
❪
✯
❭
❍
✫
✮
✪
❬
(a
Is
is
of
by
to
a
that When that
✭
✬
✫
✪
❴
❫
✇
be
is
t
❝
❜
❴
❛
❵
To
thatthere
is
We
✢
✯
❚
✮
❙
✝
✆
✞
✟
✠
❆
●
❄
❘
❋
❊
❉
❂
❈
❇
❦
✐
✐
❤
❣
❢
❀
✾
✈
✉
✝
3a)
✱
as
at in
into
20
in
to
of
as
is
②
①
☛
⑤
④
✡
➄
❥
❽
➁
❃
➒
➐
❅
➍
❃
four
➔
➔
➓
✙
are
is
is
is
to
to
are Try
of
two
is
of
D
D
by
a
⑨
❸
❷
❻
❺
is
to
⑩
✗
✖
other that
is
thealike
in
two
is
(y in
❶
are
has
and(y and are the
the
the
or
they
or
it.
✘
➅
➏
◗
❅
P
❚
➎
❃
➆
◗
➌
➋
❂
P
➊
→
This be What
➣
Quantifi-
the We must later
of
theare
a
❛
❵
must Here be sen-
✎
a
in
✏
each
one each
✑
ifit
that,
that
✒
is
(x)is
v
of
use
one two to
❹
compo com quantification. sentenc lon equival some (both thing, exactly compo symbols. former sentence another?
using and thingthese can eachpracti
each
❿
s
is
x
v
v
is
of
⑥
of
➈
(Aa)(a (a
❂
at
is
➀
❿
says skill
is
➉
(a)(Ax) (a
➍
is
v
➂
a
of
v
v
➃
a
D
v
is
(x
is
❼
as
v
is
is
(a (x (Aa) (x
⑦
as
D
is
is
ie
a
③
to
us
is
3x) ae)
➇
be
is
(a (a
❾
⑧
It
will
can the into A
be
➑
it say
so
TRANSLATI quantificational physical) Swedes physical) longer categorical physical) universal physical) physical) co physical) physical)equivalent symbolism, corre SYMBOLS tru longer except compo translate concerning sentence senten equivale
Exercise equiv equ necess they the overall help regards regards con form about mental mental) mental) English. mental traditional mental) agrees mental) understood mental form (Ay) liqui truth truth mental) following mental) four each sent mental been Since WORDS with these written forms sentence are orde thing? develop since groups.) falsity, INTOphysical) solid) falsity solid) sentences physical) replac exactly physical) principles sentence (i.e., each
❖
Consider translated
✣
arethe nent shall alike latter tence agree Which (Hint: section as as latter good such make
✲
(a)(x)
✳
(
✦
a)
✎
ree
P
to
✏
=oO
is
is
✏
22
a
by
the
✓
can them The and does
Is
✧
lig-is
To
✑
a
is
say
✩
be
by an
the
is
is
✒
ex-
is
◗
by an im-
❃
to
is
❁
is
❅
(x
✰
be
too the(a
is
✤
a
is
✔
143 cation
s
✥
if
❞
✴
our
❡
quantificational
✚
a
newan the sign from old. by may
is
✛
to
have be can them
by of
is
(x
✙
one
quantifier any under that quantifier the followed negation Here signs, quantifier express there principle that ever sentence backward, negation signs, replace something And primc equivalence eq existential universal ex replaced replaced there exists new compound say there employ sign can such equi equivalent is way when even provided unipersenthat quannegation equivimmediately equivaequivprinciany senequivalen qua newperfectly remember component
or
✰
✱
the
truth-functiona consequences.
can one.
✠
✜
★
it
✽
with seeone. (a and
to
✿
is
❏
can old
to
◆
(x
is
is
☛
we
a
✌
in
that
a
a
a
✆
of
for
is
by
❩
of
by
immediately equivalence universal general. again immediately changed denyi universal sentences followed forward equivalent principlesunderlying exCo elementary replaced denying negation negation quantif (i.e., instance,
of
it.
to
it
knowledge summarized
alence present the sentence aretences general: theexisten followed tifi mediately in that These the negation existential equivale equivalent is also type that general: involved new the sign similar This way liquid any old. exactly vice basic quantifi liquid. are have equivalent various consider thou replaced followed the other equival notsolid two Whenever to fact quantifier alikesome quantifier, liquid). quantifier means sentence the negation canne equivalent saying These versa). Thus has suchkinds which amo quantifier reflection, flanked solid. the is perfectly two And about that, that sign, amounts we either this The except theflanked been oldwith sign existe further Thussentence the universal
lenttheythat
that alent tifier n, istential,
Plements
142 Logic The
of
❳
✻
✏
❴
❴
❫
➙
↕
➣
➣
↕
↔
1
A |
ay}
Jey ud BS!
88
❡
✇
❛
◆
72]
svi uono yeu) snyuj Buoys pats09 PUY,
❴
yey)
0}
e
❫
①
Se
⑤
❨
❖
P
◗
❪
❘
❬
84}
❞
✓
yey}su} ON,, siyj .q 8
✹
jo
✚
Ss!
B
①
②
❩
■
●
aD
qv
D
✂
✁
sewooeg sAes AeA (E),, J94}!9 Buyyjowos JUaWA}e]s Lafuod
S!
SI
✜
aq S$}
❳
❝
JO
jo
✻
✒
C
❭
0}
▼
JO
♣
Ul
jo
♦
✑
➏
❲
❜
❍
ur
e
S|
fo
➃
③
➄
sr
pue AIBA "sUBAW Buly} asoddns Burzy ON,, (aq eye\siw sIy| .(%q ,(%@q s,ueBiow 2a] P|NOM sueEW UNIUL,, yGnoiy)
✫
✪
U
➂
✺
☛
8y14M yUIY} ,(@q ay 8q SeyeW ♥
✛
❵
Buisoddns EU} 84)ees awes YBNoUs payejai Smoys
➅
❢
➏
Jaye] jo NOA Cx) Siyj
♠
✚
➎
-UOU shes ynoge WIN} IIIM ayewWSly} JOONUIA ajdjourd ❬
✱
➇
Y
✕
s
❻
❤
❥
✖
t
❼
✲
✓
✢
✴
✣
✤
❊
❀
✕
❅
✶
✏
❇
❈
✘
✍
✆
▲
Dy,
C
☎
0}
❆
&
❀
e
❋
99T
(eq
%
✠
D
SL
☞
pue
❋
✩
jou
s!
✰
✿
S|
C
✽
✧
g
❉
Ue
❅
eq Ag
A
❈
✳
aul
✄
C
F
Se
✼
⑥
➊
9
✘
eu} 8as OS yeu) Se ay} UDpue (eq uBis aq NOA
❹
↔
JING
❑
J 0}C BUO 8q O12 SIy} #G) aUO
Je
❏
C
ay}
➀
✉
oO}
UW
ale
✘
ue ❿
❸
➋
x)
❾
MOY
✔
→
jo
gq
☞
Sie ALD #9)
|
-/@
✝
r
➌
ev
➀
❺
⑨
➌
➣
Aem
❦
ay}
➞
➉
au}
➒
❷
★
JeyC
✞
❾
⑦
❶
✾
si
✌
➟
e
SN
✕
➑
JO
✘
YIM
✟
Je
✖
(#)&O#9) (*)(#) Log OW| (e)(q)(9) pun
☛
J
☞
❧
JO
✦
➀
Jey]
✎
yg
✸
XE) ✶
❧
B
✷
ale (O) 8}1JM -uenb PuNo}
✸
ae
✮
❣
Aq 0}
✭
➎
0} 0}
B
❃
✈
Gg
.
✯
❧
↕
Bas JO pue UeY]j9} ay)yeY) 404) oq UBD
✬
❽
⑩
Ss!
}|
Ar
✔
✕
Bnd} ued wg,
(
✥
❇
SB
|
❄
❧
aM
✵
❦
➝
➈
94}
❥
➜
⑧
✪
UBD
YW
se
|,
&,,
ë
ð
ä
ä
ì
ì
ð
Ý
í
â
î
î
ï
à
ue
➧
0}
➪
3!
➦
➥
➤
➢
➡
'S!
8GCxg) oju! JEU] BABY (#),,
OM 3nd Q
➚
eB
yjOg
JOUS!
➳
aUuo
aq ue euo 7 Se
➍
S|
á
}|
se
UBY)
s!
Þ
&
SI
ã
aM10 UBD
,,,
➶
B
%,, JO}
JO
10
yi
ft
Ss!
U!
Je
ue
Se
se
aq
ji
JO
V
W
VW
e
s
Sw Aq
r
t
Ð
✈
✉
➵
ji
B
OS
❰
JO}
SB
S!
#,,
aq UeO
OS
Ï
➯
➽
➲
➾
8
Jo
poojssepu
➷
❱
❚
OQ
(Q
➮
}!
8
➬
OS
Ø
Aq
se
×
ß
OS
Ö
SB
S!
J
Õ
ò
Puy UPD
Ô
OS
(@)
ö
æ
ø
ç
è
é
9q
ê
❰
(#)
❮
B
@S)OY #8) JO} eq 104)
➶
Ü
➹
➘
Ó
➴
➨
kB
Ò
OUL
B
Ñ
Ú
Û
➸
➺
➻
✃
GQ
❒
❐
➫
ey}
fo
UL
➼
x,
Eq
å
OM
÷
➩
➱
➭
B
ul
õ
SI
}!
B
Ù
ñ
OyL |BUO!e: poojsuspun Ces)Pal ULEHeO (WE)ued (WE)aud aAN 4704 JEU} B18H ,,Xdq,,) poojsiepun BulwiedU0d ZOU JUE/eAINbe (wsjue} passeidxe vol ovbor squa
|
ApaMs PUL UBD WO} yeu) AY} @PAMS Be yseQ| 91 e SIU] B1e yove S|OQWAS Yo!yM sysiwa asn WOUS uayM AU}Bou SOWOD S!x,, PUB JeU} ay} Huly} jnoqe SOPAMS SOPIMS aM S}SIXE jelusjsixe avy? SAPEMS yeu) Ud}M suo Aew Sy} uoe .%q,,ON,, INO} WOYS yeu)B19U)WOS,, BWOS,, jse9] Ole JeYJeyM PRAJHuryeeds BY} JeqW JEU) Bury) aM JB UBD}! BulAes PUD jsow ,YSIPEMS OM 7G, sjoqus OM Yow (eq BouUa|UaS BousUesS s}/NseJ BOUE}UaS SARS} OS|E S}S!X9 YORE WY}(@VAIM Aem ApaMs pap BAB se
epams URISI}JOJg yeu S8OU Buy) PEZI|OQUA ,,~S),,) S}de00k Jeljuays!xe P|NOM S]UL}SO BOUBJUBS UaPEMS ysva) Seye ,S]UR]SE}O1 ,,SJUB]SE}Old ,JURISA}Old ed1V0 paz!|oquiAs pien Hu ,
✡
✗
➓
ue
S|
❂
✐
✐
➐
jy,
④
✙
➍
By) Pinom YeOM OLsue}SIU, (x), (#E),,Jey} ueew Joye aq oNyIA S ON,, Jey)(w),, S@ ay) | U! 's!
➁
JeUM shvm*S901] passpuss uolyeoyt owes auOdjs (xqJse9j JUa]BAIN |eUOIJPUCD ploae UBY} pjnom UONBOYNU Hulz!joquwAs R&S) SnOn yorym (WE), jessaaiun (gq S]sIxeBWOG,, wxE),, uoeBeu uolebau pjnoo SNO jseQ| SURE a}yMeL eye}sIU JeHUO.s YJOg (eq }eYM "JUL}SE}O1g a18y} jeUa}sIxe ,(~qJ sjoqwAS Ayesseoeu SaUO}s Passpuss Hulssed yona Buly) SuBjiU PeipUly YOLYm UOI}UIYEP CHS),, aaneuseye ,\(@q JUa!eAINba papeoeid JUa;eAINba BuLequieweY eWoS,, JUa!eAlnbe ynoge AJorOW BOUa}SIxO BPams Buiyeb JayeEM Son. yore asvo.an ❧
❿
@qjo
❁
❧
Ye
q
➎
❦
➍
10}BU} pue JeyM
✗
B
❱
✐
(wv) J@6
❯
❥
➛
➆
➐
✔
➔ ➙
@q 1
❚
❣
❣
(D pue oseQU8AOs|e shes -uenb Ose shes 70U -S8]Old UBD Bury) yolym UBD
❙
➠ ô
❰
ó
8
7
6
4
3
2
1
as
III
5 (
4 3 (
2 (
1
a
a
Il
4
❝
❜
❛
❫
✚
✚
✙
✘
❴
✙
✘
❵
❴
3
all
2
D
D
(c) (b)(a) (c)(b)(a) (c) (b)(a) Not a) (2) mean Bx)mean -(y) 3y) Some Some Some Some Some Some short(My Some (Bz (Bax (Ay) (Aw) -y)(y) (Ay) (Ax) (Ax) (Ba (By
9
✄
✂
✶
❫
✿
❆
❙
❅
9
8
7
6
&
&
&
>
✁
✝
✵
✴
✆
✳
☎
✥
&
(Cz
&
&
&
are Dx) Dy) Dax) are Dy) (Az)(Cx
>
(Cy (Cy (Cy 3
✏
✞
❨
❳
❯
✔
❲
✓
✒
✣
✳
✩
✢
✜
✗
★
✛
✺
✦
✹
✕
❱
■
✧
❀
✸
❍
✷
❯
●
✑
❚
❇
❉
❘
❞
❢
♠
❡
❧
have
✬
✫
✾
✽
✰
❄
❃
❂
✼
❁
✻
❑
◗
❪
❭
✐
r
❦
♠
❥
q
✐
♣
♦
❣
♥
this,
at is
of Thus talk there is the abo are,
one
➆
➎
➅
➄
➃
➂
P
❖
s
➛
➎
ô
î
ö
④
➯
❒
➱
✡
➮
➣
❮
❬
➡
➟
↔
➜
í
➬
Ó
➛
➷
Ò
❐
➩
➩
ú
❰
➴
➘
Ñ
Ð
✃
Ï
➥
☞
☛
at
➻
➸
➤
✌
ÿ
his
➊
õ
➠
➫
✍
❼
of at
of
to
of
our
all
of
Toour
we
if
the
so
the
þ
❽
⑤
or of
un-
➀
Ú
✝
is
(y
is
is
(a
the
❼
is
❶
tell
as
a
our
the
④
the
of
of
➇
a
not
of
the
is,
or
⑧
➧
➦
ê
é
Ù
â
✆
Ø
á
è
×
Ö
à
✄
ç
✂
Õ
æ
Ô
Ý
Ü
ß
➢
➫
✁
Û
å
Þ
ý
✠
☛
✟
✞
Quantifi-
a
a
a
weis
➽
weis
is
D
the
➍
❸
⑨
➋
⑦
qu quantifi qua
to
④
or
to
is
is
❷
147 cation
➞
☎
for oneas the the its the tl and freeall the any but let in any (a on us of the is one in on somein of In the any the ocpar- uniuniof this
only way of
➪
as all
⑥
this as
do
⑤
to
÷
of
of
we
⑥
is
û
➚
of
in
we
➌
trueas
ü
not
wethen
it
❻
a
➶
⑤
a
➹
is
an
our
in
➉
of
➾
be
➣
to
➲
of
➺
is
➩
do
a
to
✇
to
or
weus (a
no
of
t
of
➫
to this Let some nameus
no
but
are
①
to
➭
the
To
free
is
as
✽
the
ù
this
at
are
it
②
theis
ø
of
ò
And the
ñ
the
it
→
➼
one of
as
this may
to
we
✉
of
ï
oneits
ð
are
ó
is
➩
at
at
casions ample, helpful manian present whether discourse; expression assertion derst speaking thin discour co whatever occasion explained theretiger, Sometimes restricted Howeve discourse selected thing discourse. and advanced merely making leave thing interpret physi (x) unde regarding and each explained least mean thus: is, from univ the least from allow meaning speaker and eve over' preventing choice allowing one that thingstipulate extinct. may unde discussions means someti variable meaning understand thing restriction carnivorous intends there time universe limited among Thepuzzled; variables. di existential how that universe abo think that interpret unclarity. from universal know carnivorous name mean all (our carnivorous different interpret exist their existential trouble desirable selected limited universe Consider that perhaps assert quantification, thisx" discourse. least things, whether discourse marsupials, with to Suppose universe universe that universal one choose. quantification universe among that things thing, and this marsupials; speaking, thingsSuppose limit limit aname universe quan all quantification think becomes becomes variables quanti for amongsomeone there that things that discourse. thing variable "(Axx) discourse regarded discourse true are, speaking cannot symbolizes pai different things discourse is universe universe introduce among menstatethese statenamcounterexTas- asserts quantificadiscourse; in,the accom things each res ran the
✕
in
✖
for
✱
we
✭
we
✗
of
✲
of
▼
be
✯
and Thisthat least maythereone
▲
*In tion
▲
ular
&
Mz)]
&
&
❑
new verse verse sense, ticular (or things. be way aremore forcan thing we (that we of said Now, is, beas weare the forleast allow
❬
a
D> &
&
◆
ing
foruse
&
some aren't
and
◆
tal)" can name ment ment
D
▲
wenot
❤
is when
❅
s
❏
we
❩
eelnot
❈
as
✪
into
✮
(Max [(Bx (Fy and (Fz shortMx) Fx) Fx) My)
❇
that
(ay) (Ax) 3x)
a
(2)[Bz into (Fa
x)
❊
of
10
❋
are are
use
and
✑
for
are
&
thinkers quantificational astrologers. thinkers. nonphysicists DISCOURSE granted English, nonscientific symbolism, astrologers. letting letting thinkers. quantifica
for
✤
are not
&
✟
as
&
☛
the Dy are Dx)
✠
ic
is
&
(Cx
✡
are
&
☞
✂
not
are are
&
✌
that been our OF
who whoare are are are whonot
>
✔
Use Fy) Fz) Fx) an the
for
✍
of
for
No
✎
we
is,
our
in
No No
LIMITING thinkers. symbolism. taking (Ay)Cy That Translate Translate [(Cx conifers (-Cx co THEphysicists physicists astrologers physicists scientific non physicists physicists astrologers astrologers are treatment thinkers letting (Az)Dz granted have ~Dy following UNIVERSE short following de decidu scientific astrologers scientific decid scientific trees tre mean scientific ~Dx)}trees. thinkers. astrologers. takingastrologers formulas thinkers. thinkers. sentences
been All far limited.
So
40
Elements
The 146 Logic
of
✌
✈
③
⑩
➔
❺
➓
❹
➁
➒
❿
➈
❾
➑
➐
➏
➥
➵
➢
➙
↕
➳
➝
➡
➠
➌
ä
➟
➞
ì
➋
ë
➨
ã
✐
si
ue Puy
SN
-1se yey} yjog S]|9}
❝
✈
❢
✇
D
UL
PUD -upun
▼
✹
◆
●
❖
❍
■
❏
✹
❑
24 ✷
$0 AY}
✯
✰
✱
✲
✓
✔
8y}
✆
✝
6rL ayu uoy SB
480 @AeY YIM, SAJ
☎
❜
❚
♦
❞
❡
✉
❣
UL
fO
oy}
❋
✮
SV
JO
0}
❘
q
r
✭
❘
♠
♥
✺
▲
✶
✸
2q
0}
B
BM OY)
JO
OP OJ
JO
UeJas
✝
✟
✞
✖
✕
JEU}
✆
OS
84}
✌
Bqay}
✍
✞
✝
Asn
✻
♣
s|
Jo
⑦
❝
&
aq
29
PINOM PT ASLIUUN uOSJe $aay,, JOYJO yore -Z||OQUIAS PUD UOss pun @SJBA AjYBi\s DISSNY LOf BYT SE|N euou B|NWIO} a84aQ1UN 'sIY) Aem pue OWI popyuy) J4OYS bug ||IM ,'8ajDIG BY BABB) fj.ne,o |eded WOYS Saar, PUOdaS puodes puke SHuJ owW!ys3y opr PUO
s
➬
➵
➮
➸
❫
❵
❶
✾
☛
UI
✁
jo
NG JO
Pur
OM
✂
☞
ay)
,,S,, jo
OS
}!
Jo ure [II @Y4} ay) O} Oyu! ey) MOU ,,7,, SIY) JEU)
eB
AU}
✠
siyj J9}/e UBD Bulag
0}
✡
JO
O}
,,'|/2}
&
OU
✄
ay)
2
✗
2
✣
✙
2]
✒
Jo
c
2
9
✏
BY}
9
✫
(Ag Aa) (Aa (Avy fa)
C
✑
✪
9
9
o
✎
UD
2
❂
✩
$2
✘
s!
✢
(ey ay}
81,
+
✤
9
✼
✬
✤
✚
ue ueo Ut] -09S BSI}
✜
.S,LOL 12T
➼
✣
❭
Ue BY)
➻
✛
29
➻
✥
Ss!
➚
★
❙
(eS
➚
❯
ey)
✧
SN
➾
fi) 40] fin) am A) Jesey) Aa)A) Kem }e9} (A) (fe) (AE) PLING
✛
A,UD
➺
❈
④
❫
⑤
❴
❥
⑥
❵
}99}
❰
❇
e
Õ
Cc
✵
❪
12]82,
➾
[]
❆
❥
S/N
➽
9
✤
SI
➽
✽
S
❂
❘
07 LOf
➷
✿
❧
S!
Ü
❁
❲
P
ay,
Aq $i
z@
✦
❳
oyur
❮
❁
||}
GF
➴
★
✉
0]
❊
③
❛
0}
N
❀
❱
yeu)
❃
②
✐
}8a} S41} PURJO} b
✛
JNO
✿
❨
❦
ye
✦
◗
❲
❦
jo
Ù
❀
❄
❚
ayy -1UN -U0O
Ï
✇
❬
se
✴
❚
❧
0}
B
✣
❘
ey
Ð
✳
s
❧
t
❉
◗
❩
8q
s! |JIM
×
Ø
ç
Ò
➦
è
Ù
❐
➶
➯
➹
➫
0}
}!
e
}!
Si SI
❹
e
❻
s!
➂
➃
❺
❼
om
jf!oy}
❽
❾
J99} yore Pulyy yey} ey}Ue 0}
➁
S/N
➧
❞
➘
SN
➦
ey}
➲
aM
4}
Ó
104
➱
je] JWI] Ueayy JOU
➪
➀
✃
JOAOOP
➭
eu
ó
æ
Ú
é
ç
SI
S|
SI
SB
47, UBAVS [[@] SI}! ,,S,, UA)10} 4NO SAeS yey} 0} JAA [rs Puy PUB AYM OM Joo BSN [@p yey}YJOg WOYS Ñ
Ý
jo Jo
î
ï
Þ
ð
JO
ñ
ò
ß
Jo
SI
siy
ì
SI
à
á
í
S!
JO
ã
Ý
Þ
à
à
á
â
ã
SB
➛
↕
↕
➤
❶
J!
➅
➆
e
➅
&
JO
326
➇
❸
Cc
8
(ep
xg)
➩
2
➔
8
2
B
❶
⑩
2
➢
Cc
C
#g)
➄
BY}
⑧
yo
①
➜
➝
⑧
➞
→
➏
➝
➟
❷
➐
➣
➑
➈
↔
➉
➒
➓
➊
➋
➌
➍
(*)
➎
}!
$1
ß
fo
aebo squ
8rl
➥
➙
ABS aq
aq
⑨
0}
↕
UB ST UB
ST
BSI,JO
ave
➠
JO
❭
(*)
➡
ese
em
eM 10}
❬
YO OW4SH omBU} Aew puo BsuaAlUN 19H aSJOA .),,JAPIS ON Puy UeLOYs oUOAUY esoddns Gulaowe YeUY yey)eu} BSBA }EyUM sBulyy sBuly}
90OU OS
⑩
⑧
oud
⑨
❷
UBY} payqno.y [(@p pjo} OWLS esiNOdsip BSIN SI}! pue pue Ayuejoun JUe!H UPAES |NUUO} SAes Ajljdws ,,JUBIB @g@) yeu) (ep (299 UOSeA! P/O} sOuly) OYM sKem ysed J9|dwIS siyyesseAlUN A) Uay| ed) JS4lj pue pazijoqwAs BsiNOOSIP pue TOAO UOSIed OYM SNOJOAILLO Xd] UO OM essaAlUN ejnWWO, BSJBA saYJOUY Guowe Ayejoun :pay ed]
puke
ez!|oqwAs ||eYS pjnom Hulyjou esunoosip Juesesd Bulz!|OQuAS Buysixe OWILYS| uo!eoINUeND
ä
❿
➱
UP
➨
➳
JO} SI,,
Ö➪
JO
ay}
➳
0}
Ó
aq Os
Ö
aq
0}
S$!
&
➹
Jo
ó
❜
ale ey} oe
å
ë
10}
ye
B
Aem Bules yjoq Buowe AAOWA }8@} Yons EY, 189} ajeindiys Buiyjou juawinBie Jeuol!ppe sayeindijs Bui JeyR pue yey} Buysixe juswN Ajorjd yeuy sajqeua UBAS UBARS JONISEJ SIU, Yyons Gulu; sBuiy) JaaJ NoUM SAes ua, JOAO uosied Jayeeds poojsiapun SI,,OW!YSA Ua} esoddng sjuauinBue yore yssysoNpojU! UPAS BuiyyPUB sewljawos |NJdjay B/NWUO yjog a1ay) YaAae ,,UOssed IOAO sjsisuoo paeu OWI4SR /swos ô
❅
✈
①
way)wy @Y) 1S9} UBAVS BUuOWe ey} P4ly} .V,, (*) (E) 19H} Bul48 OWIY4Sy yeu} 19A0 79] as.inoo OUR 1
pazlUy) Buowe SIU] PINOMuaw J4OYS Buowe spjynuwsof YjOq Burzrqnyur .oINDUOLSY snynmLlof SHulu SHULUMA jeu UOSIa Ssesdx auOU $]}9} (Av jUeWN suossad BUDS[(fgs 910W }o1 Burmopof UBASS s}j9} Burmonof JuDqnyUr poo PO B/NWO} JOU YIN J8AO Bul|PUe SB{NW uo 2L0YS Jesd ,(9UQndas paz) UO!}OU S4B} B/NWIO} JUBWNHe 8.4A}}9] aynjsumay |e}!d (AE)Ao Ajsnonbq ys1)DL.00g A8laLaN aynjsuviy asunoosip 49Y4}0 JOYS sejdwis Puiu asodd UBAS asinoo ❤
Û
❒
Ô
④
LOYS 10} SI, aay) Ue JOU aNjN} BUIOP ey o1|OQWAS }! Bulop ê
①
s
the
ize
We So
6
5
4
3
2
1
IV
as
III
✡
✜
✛
✞
✙
✆
☎
✄
✚
✙
✝
✽
✻
✺
✹
✥
❉
❈
✥
❉
(a) (y) ✢
our we
far,
Tran SYMBO symb discour int sentencessymbolism
in
But is theto
NoNoNo
✠
✼
❆
❀
◗
P
❘
❂
✷
✫
✓
✁
✪
✦
✘
✆
☎
☞
✏
✑
✎
✓
✒
✪
✗
✖
✄
✣
✧
✩
✲
✱
✰
✯
❂
❁
❁
✮
✳
❀
✭
✵
✸
✿
❏
■
✴
✎
❍
✾
❄
❇
❃
❅
❃
●
❋
▲
❑
◆
▼
❊
❖
❑
of
in
I
in
(1)
in
II
I
in
D
D is
quantificati
says that at that
&
♣
r
❞
❝
q
not.
❧
✐
✦
t
✇
✈
s
✉
①
the
that
one
is
two
the
of is
the
we is notone or into and
♠
is
in
❣
We
❙
it
❦
on).
❢
a
by
the
❭
so
❡
(soLet
In
is
we
If
the
of
the
to
can we
(3)
(4)
❣
a
by
we
❪
y)]
a
at
is
❲
x
x
the
if
it.
❫
is
to
❳
x
if
it.
of
❨
&
a
(y is (Py is
of
is, for (Ay) that least nowimplies (a) we the there meangeteven each one Izy" the are
❙
true
❚
y,"
❯
x
❱
(Ay) (Ay) such there
us
in-
it
is,
not
(2) by
is
in
is
is
such
is
(2)
it
influenc influences influ me quantifie influences. Notice that, every symbolic symbolize resembles everything influen another, that Exa resembles itself. first resembles that inf sentence, four proceed infl Thething thing symbols. some first; means Rey) someone every there says itself. means person least must affect which that includi someone. allowing it;mean step second someone) influences. that that, other formulation. does else; someone. change second such one first practice move that means notice itself. sentences; person, that that were thing Exampl dealing These wor resembles) that step whatever step, so that that resembles order means mean each resembles everythin influences, meaning sentence such with sentence there quantifie working we Examp that thing mean such there merely resembles translating means says and ever moving so step sometim says whereas that sentences select, influences that that occur the means examples, downward more less some words are there means whatever every something toward ther someone. person and sec- quantifiers from gradually sentence. within someorder inf that infl everyeverythat
D
①
3
we the and ond thing each Here other pick shall each Thus thing Each Each thing thing; might always the (Px (Px toward [Px [Px getit let usually
the
✔
Letbe
of
✂
a
do
✕
of
★
be
✌
to
be
do
to
✬
logically fluence Now so resembles now Everyone scope somet thing equivalent, so ever person best that original symbolization
❈
is
or
✥
in
of
or
be
✍
✩
(a)(x)(x)(x)
✿
an
✶
is
y
in
a
✤
to
✾
is
in influences influences variables irrational symbolizing influences fo follo numbe irrational. interchangeab significance: relatively sente sentences important VARIABLE quantifier essential influenced sentences.quan expression
of
✟
of
in
means orderletters have one mean
thewe whole whole whole and which Tay handle whole let of either number let limited each numbers scope another ones number as Also, the between is been numbers WITH numbers are is much twice. respect followed numbers benotwhole the the as we not are are of either by two are part respect either MORE short things. no shall odd. the shortFirst, odd 11? richer even. the another. given more odd for ways. for limited. Thus THAN allow Here which order For even wethan variety them whereas Letthen and or Thus it ONE even. lowing: all one one the as one can parts ones we makes let with and with them thing, can latterthe write theinto part simple variable we short over if can to means write for mean for with we short be for shall univer theacc for the ex-symboluseexsuch by put notice occur in- thedif(4)(3)(2)(1)
(a)
The Logic 150
Elements ance same (Aw)withinintothat tend (Aw) whole tional Each former ample, capital Someuniverse Some can Toca ference: with Whe fluences discou words Lava even (Ay) whole whole Toy symbolized relations
of
☛
❤
❬
❩
❵
❴
✢
❜
❛
❥
★
✧
♦
♥
ju!OM
we
stax p
@M
9
jo
8mue
-narnba Je0160| masof -Njouod uo}}08S
✸
au)
✹
C
QL
[Qi
✴
B
C
Six) 9804} IPIJBA JEU} asiwaid
]NO BU)
eB
✳
✵
✶
✷
✑
O}
BY}
SB
B
SI
&
st
C
(A
0}
se
U|
Jo
yey}smBap SULYOULOS
&
uou fau hun ey) fy) sMeap ay} ,.Y,, Aypiyea BONpoujU! noquihs Bulg (@]PA10 ay smeap pue OYM }xeU (AE) PUB oym ayy yqiyxe oyur JOU [(eansy JsNW BU} ,,O,, :SMO||O} oym UdEMjeq EUeWAB 549430 IVY] aM [(Aeq Yo!IyM UOSed uosied saone P|NOM ale S19YO] uosised asiwesd Yana ✳
EU} ay} JO
❆
e
as
s
✧
✘
✙
☎
✡
✆
✮
✝
✯
✎
★
✒
Z
g
JOU JOU
Ou
✟
✭
10
☛
✜
10
✗
fo
✛
✣
✤
✏
✢
Aq
✧
ay}Aem
Aq aq
aU}
☞
✕
fg)
si
✖
Ss!
✠
g
✞
oym
C
✬
St
x
0}
✽
st
9
❄
aM S14] JEU)
g
[(i
✼
OP
aM
U!
✚
s!
✔
Z
✌
B
fo
fo
|
✦
Ud} auUOP
✎
SI
❖
B
2)
|
✄
✪
euUL
❚
SI
e
✫
8%
&
S|
❳
&
6
❲
St
9
aq pue
❙
x
JO
❘
✿
✥
✂
✁
eOUa1INDDO
●
9
ay}
amJo
s|
✪
&
◆
❁
✺
st
❁
✩
UOHJEZI|O |euoHoU ❱
B
❈
jo
U!
jo
B
C
ued UOSA G10 asiweid
@q
}INOIJJ BY}jeasipaw YEU) SMBAP edoos
❋
❀
✍
✓
9M
}!
✲
BJO-UAS-S9
◗
❇
SMB -16120 -uenb -10-8nd} :spoyjew jSEqO[o110 OUM B
ay)
P
✱
1adoid JOuURD ebelulA UBYM PUR UO ay} JuauNBue BSM puke au} Alana AjIPIIeEA oquAs OYM SI
jo
❊
SI
❷
OY} JO au} jo au} ay}
③
UI
➃
❃
x)] (a) (x) (#)
⑤
ay}
x
st
❶
st
➇
st
❥
ay)
|e}
ue
⑦
JO
❦
❧
B
♠
0} sj!
SI
B
SI 41 JL
&
●
❋
❋
❊
O}
U}
➂
✰
Aq BSOUM jSaISea SAeM
♦
aU) Bue
♥
JO
⑨
❯
UO!}O@UUOD YjOgSueaW (AE) ApogA yons UBD BUOD @U Burmopjo SSaJdxa aoa aiNJONAJs aSINUEUIO SMBAp Suryyewos uosaad 1e8}128) ay, WOYM ued ainSy UOISN|OUOD aUd@W OYA POUjalU }IGIY4XS LOZIU .,7,, (Axq }e0!H0} pazijoqwAs PalRa} siyj smeap smeap sea} yona jusWNBye BUOBW SBOP SBO WAY? ay!| sieay $189} UOSAad sueay PaAJOAU! oyMAD) oymOSN AD) aAey UO!SN|OUDD Jeps0 fun UOISJAA SuLyyewos)] (AE)] (AE)] dojeaap APOG APOG oyn]suvL APOG B04, aUD uosa0d BU APO uosased EXEL Suryjewos) MON ere} aney sNyL APO sjoadse UOIS ary aiNjONAs ||eUuS Juswnfie
(w
② ④
&q
➈
✿
INO pesn pue A}
⑧
r
(a
➅
✾
(uosaad ❺
q
➁
ATBAe AroAe
❹
♣
➄
✻
❅
a[oI[ MOYS sdeajs patquiasea INDIO @[D11D palquiases juauinfue (@uoaWOS U!YYIM 499100 SaTqUIaset SaTquIesat pajquiesea sa[quiesed JUaWNHe
⑩
➀
❂
9
⑥
❿
a
C
C
C
s|
Aq
❤
❪
✇
❫
①
❴
t
❵
❛
B
U!
st
▼
BU)
❑
B
JO
SI
❍
}!
Ul
▲
C
A
❏
Cc
8
Aq
❉
4L
2X)
SI
❉
■
x
9
IN By} JOU aue
❜
❨
❝
❞
❭
JA C JOU BeeM #D) 3Nq [TV EM
➌
✇
❣
ue
➋
B
xq)
jeu
➊
s
A)
8
❽
Y
y
SI
✲
B
❻
B
x)
✱
St SI
✰
xq)xq) xq)
(x)
fo
❩
&
BSM SMB JeAeU SMBAP *QUOAIBAS [(ixy [(Giwy (Awa jeu] O1)S/60)|As 9BYQ UONISOd ABU} AjUO OYM OYM Ajsedoid UOIS OYM az!|oquA pI|eA OYA uosaad id) uosaad Yons OM, fd) ISNW Ad) SaTqUIased MoU SB[Quiasad (eq LOADOYM SE|QeEA UOSAed (AE) UOSAed UOSJad yoreSa[qulasa SE[GUIASEA ouoksaAe 18YyyNe yore UO SO[GUIASAI UOS sawooeq Bulmoj|oy UBD ey!| Ba14 Buryy BouajUas &d) &d] oy, xq) sea[oalo ojdwexe (ea days you (@) (#) Hulz esiwaid PaYs!|qe} BSeYy] S8DUa} 9s|ey JOIN} a|qeleA BUOAIOAT (WE) (@E) BUODDULOG (#) Cd) BUDBULOG aLOYL, (WE) a10YL, (WE) eSt arbo syu ➆
❼
❾
➉
t
✉
✈
❡
❢
❸
✐
❬
5
4
is
3
2
is
IV
a
by
4 3
girl. No
2
is
II]
9
8
&
7
6 5
&
4
&
3
&
2
(x)
1
II
✤
✚
✂
✁
✙
✣
☎
✘
✢
✧
✥
✪
If
If
If
is
is
is
a
(x)(y)
&
(x)
✡
★
✄
to
is
to
D
D
D
✎
✏
✔
✓
✒
✑
is
or
a
a
12
tor
11
✠
✖
✹
✂
✼
✗
✷
✸
✷
✾
✾
a
&
a
✽
is
a
is
or
is
a
✩
✿
we
❀
✺
✺
✫
✻
✻
of
is
It
to
✮
✭
an We of
✴
is
Theoflatterto thear- has
forthe
✱
way
be
❂
3
✺
a
❀
is,
to
✵
Quantifi-
a
in
✽
a
andbe
✿
if
is
of
is
the the
✻
be
✰
To
in
✲
is
it
✺
a
be
of
the
in
❁
to
a
is
to
✳
the
to
a
we
a
we
is
a
of
Lo in
for
of
✶
the
is
we
a
If
es-
for
a
doc-
contradiction contradiction, contradiction quantif AR quant compara contradiction contradiction contradiction? could example, amounts many Chapter inconsistent, (y)(Ax) validly contradicvalidly symbolized sentence "(3x)(y)Caxy shown generdeduction
❄
is
"(Ax)(y)Cay
a
✩
✻
155 cation
❃
❅
❆
be
showing follows. Neither gument sentence premise The There reductio extended can tablishin PROV something validity other necessarily politi cause employ Suppose devisedwhocure methods cannot original false). dis sentence would some developed latter likes VALI validity are polit some diagrams show but need valid Suppose causes variety method therefore that true, rather mean original absurdum OF that were, specialized the argument. nor any argument dise that the whom claiming himse had also. This claim more and that obvious interested truth that could doc difficult sentence methods version argument everything; former that way reasoning othe ever since Going theconclusion can preceding definitely would powerful show tables argument then former cannot cure; likes; back (thatfalse. that valid. are explain can sufficien therefore, latter mentioned chapter. thereby showing sentence method claim shall from and argument, our This truesentence techniqu argument each that th argume ther have therefore simple. impossible but that follows sufficien have the either thing use.establis' there ever
&
we the the al. tion truesome that that from shall must have gives some these To can only and is our was How do same a if to is ad can that thing valid showtheThishint. and of this, theVenn be valid that we wethe any we thatbe are as true
viola-
areare jes fine. are tres-ex-
hardworking, translati perfectionists,
✕
and
En let
a
into following
✌
it
damaged.Ley)]
D
the
let
a
✟
a
&
&
✦
&
&
✜
Gx) (Gy (Sx (Gy(Gy
D
D
✍
automo! pay for other. hoboes hoboes solvable Ley)]Lay) Lexy)
or
&
&
(Sx
D
D
☛
pay
is
&
D
(Gy (Sy(Gy (Gy (Gy D (Sx)
why each
(Aa)(Ay)(3x)(w)(x) Sa of [Sw[Gy[Sx (Sa the (y) (y) (Ay) ✩
and
the
city. will law then
by
a
>
☞
that some students only
no
and
in
by
is
who who
D
✆
are are
all
for
pay
to
by
a
✝
of
any
are
are
is
a
a
a
✞
if
then
be
will
are
is
is
Symbolize something trespassers loved Then girls. method automobiles teachers have are there Lexy] censured. office reason damaged, careless, loves damaged, loved some solvable Ley)] following: solid Ley)] Lay)) Lay)) which Ley)] tra violators every perfectionists someone Lay)] gold, every someone some frustrated. will everything trespassers mea problem foll have method some have teachers
tors Ifallany Ifall anythen of
If
6
7
not (Ax) (ax) (Ax)mean (Ax)(Ax) Let every Every There There Every sailor. Give Every (Sx There There [Sx [Sa [Gy (Ga [Sa [Se [Sx [Gx girl passers, Someone girlevery pensive. sailors some the be sailor anything then (y) (y)(y) are correct, girl student teachers will clear sailor. (Ax) (Ay) problem (Ay) mea (Ay) law. sailor if post the is loves
10
8
Elements
The 154 Logic
of
✛
✮
✯
✬
JO
j]
[Je
UB
YL
S|
8M ay} yey}
-Ul sn 0} ue ayy WO ysau a ja] yo Puy-U9Saq -088Yi}! |eus jou are aq WOd} ay} OU} Ay} BUY} Aew 0} eM sey (@E),, au; 0} JO ✷
✸
✹
AU}
JO
JO
SN
ayy
ay}
❱
(wg),
e
ul
&
ZSL -yyun 01409 ayy
ose
pue
eeJO ayy
☎
*g
✆
JO}
MOU
✄
B
OM
✢
ey)
✞
✟
BY} 8M
U!
✶
Aq S]/9} Aue BY}auoMOY
✟
Uee
s! ABW oy)
jo
❚
OM)
✂
✆
SNJNO
✜
P
dn
✁
su}
☛
8S
✡
JNO
U!
✠
SI
aq
✱
YOYS ANd}
❭
✝
✭
e
✒
SB SI SBMAq
JO
9
☞
✫
JSUI}
✦
ay} Aq |e JEU} OM yeu
✤
pUe 94}
✩
0}
✳
eM 497 Asn
✖
SN
✲
★
✬
Aew 0} YIM
ayy
✧
ul
9]
✕
am BIB
ay}
❯
✼
✵
OM SB
J}
✱
Asn
e
eq
✺
❪
,,2,,8M
JO PUR
✰
a4}
✗
S|
❤
aUO S1Y} ue Ul UBD jo
Je
Jo
◗
✯
✽
00} ay}
■
✮
✾
ue
✓
❱
s!
❇
❃
❣
UY
AU
0}
40)
❇
SEM Jey}UB jsuly
C
❁
❫
❄
S!
❁
C
S|
❁
x4
Bes
❢
OY} MY,
❭
✴
9M
✑
✏
UB
O}
✛
✎
✍
❡
✪
OP
✔
❏
❬
YOO WO ✌
❯
❜
j],,
✙
ay} OL
ul
❈
❊
✥
UB[12
✞
❙
✻
J]
s|
✣
▼
❴
YIM JEU) OY}OM
C
❉
●
UY
JO S|
✚
S!
❆
JO oO} O}U! 0} pue BINI Sey BY} yo Aq aims u| OULBuO siyy YM Aue SIUy
❱
❞
❨
aq
eq
❈
au)JO
✘
❁
S14} O42}
❈
8U} AU} Aew dC -uenb 24) hoy -19U96
✆
❚
94}
❉
❘
❯
JO
.
❀
◗
}] PUO Aew
2
3o
⑤
am
40}
e
④
❀
▲
❍
&
③
✿
◆
Je
②
❈
❋
❆
❂
❇
❬
❳
❱
❑
■
aq
M
➙
❩
OM asn -lun yore yse9| aaey Jaye] UJIM-iskyd JOOJIP
❹
P
❝
❲
◗
pd
↕
❅
❛
JO
JO
➏
➏
➐
➌
➑
➍
◗
➉
By}
❷
Ag
❹
❯
✐
➋
➆
❻
84}
JO si
ue
Ue ue
ey}
Aq
oy}
Aq
⑨
❚
aue 0q
❸
❿
⑩
(2),,
JO
✉
✉
2
♥
⑧
you
✇
8m
✈
r
♥
①
s
t
♦
❥
.d
JO
♠
❧
JOU BU}
@
&q8u)
❦
♣
JOU 10}
Jou
INOse
jo
0}
INO
ul
jo
ul
}O
BU) Ue
C
C
UB (2),,
S!
Jo
;O
C
❶
ay}
JO JO
jo
ayy
➈
OM
SI
Ul
}
OP
OM |]9}
j1
JO
JO
C
SI
jou8M
SN
0}
ayy
s! JOU ay)
fo
q
♣
ae
eM
❻
x)
aU} SB
S!
UB
e
em
36
eB
⑧
U!
.,'9,,
se
❹
⑥
34}
ue
OM S! Ue
|S
✈
..'2,,
➎
10)
OM
em
OY}
9M,
❽
➏
BY}
se
Y
❼
➏
➇
❾
➣
40}
➅
ey}
⑦
OU}
❺
➜
Jas
➠
➛
em
❷
84}
❻
0}
→
➞
SN
➃
:/BOJO
➂
➔
}O7]
W
➁
●
AlyOP
❍
➊
eM
➀
O}
➟
❋
aE
✐
sn
➓
uolye JeUOIWBO!NJU uoleoyuen UOIJeOI}JUe 10270 |BUO!}eOI}UeN IBAO uO|eOYHUBN uo!yeoyIU ➝
O}
➄
se aq
➒
❊
EM
jo
-S01dxe IOUS!JEU}JBSJ yeu}Ajuo ,,ofoy YOIUM (Weoisyd eouejsu! ajqeen (Ag), Buyew wnpinsgy peoe|des ani}a0UpzsUr BJOY S1d}O| Buiaowes YIM Bulppe SHPJS (#),, sajns Sajnu (AE), SeOP Ajoeped yeu} JEU} EA@M UBnouye) suo JSA1 Ajdwis yeu) UOIIONpEP WO sey BuiyyAians SEjNJ ysnw Dy, (@),, 2% SNOEA Pal|Bd Pscooe WEAK URIS eouRjsul jsnf jeloads SHUlY} osje peuseroB eoejd |} yey} eweu OYONpat F(x),, jou Sain UOISSAJdXe pue pseu YONs ,,PY,, UoNONpep PY, HulyyAiane JEYM Burweu S|y} juasayip YOIYM seop 88H JO} jesianiu saop PH shes," aWOS JejNOIWed Jo ey eweu peunooo euo adoos jjeys MOU 48JU! SHBYO}] YIM UBEW puke (),, Aue BOUBYSU! ,,(~7) andj BS, Wo Aue wo. BOUE}UAS Jaye] (2), JOU (AE) SBuly} BoURI DY, ajqeUeA esoYM dojerep jessaAIUN (AE) yey) U;e|dxe wos Ja!; sawnu yore [DSLA OHM AUB YEU} xy) Gulyesu! EYM Janeseym sados (2),, BOUa}UES Je/NHuls UO! yey)BIJI}US yUesa}1p asinoo BONPOJU! SuBewW WYBHiW WO SuelUeNb JalsJUBNb 9,JEU} yey,pue 9g, (x), 9B|M pseBes MOU xe|dWOD jesIeAIUN BONpE UBD shes UBAZ BAP! etweU Jeu} pjnom souRysu! aseo Aojdwe PA, SIY] SeOP G19H SNY} JBSISAIUN snw ||/BUS eOURIsU! YH) esNn ainsiYyL yeAjpI|eA (zy BoURISU SeoUe JOJUL sejnoied BuryjAue 91S!) JeyiUeNb |esieAlUN YO!UM ||eYs jooid BulNp HulAowa |eSIOA ajqeus YoRoidde 9St aebory Squa ↔
❖
◗
s!y} OUL O}S! s} (x),, Ss} ,,q,, yeU) 'd
❵
|e}
Buleq MO}|O} BJOYM YOIUM J9J01 SSNOSIP uolisod S8|N1 JEU] :@ouR]Su! QOUSIUAS \yuenb aieym DY, -eoyu MON HULA eweu BWOS UON eouRjsu! BOURISU! JOUUBD YoIyM UBAS JueuNGi 199] YUIY} eWeU PALA ,,{UdxBISIWW BBM pasoddns seoe|d uoWeoyNUeNb SNO!OR] e10Jeg WO} Buiddoip yUIY] adoos uenb PUODSS aju! Se}! UO!}OU UBYM S7O1AG ,,{UdxB}SILU UOeoWNUeNb pewaob esOUM PIOAR O}e}q BWOS YOIYM jsnW PINOO jenuajsixe sajde AjpiyeA HuIy) ]YBNOY} jeljuays!xa Wo2pDIZ (sHuly} Ao|dwia aSed Woy aweU BAIJAP 1a!|2e O}e|q padnd90 JaIJJUBND jenUajs}xe jBu AjUBIqUe _,"A 9sdURISU! uolneoyuenb asau} pa||eo peHpey SMOYS WO. |eNUa\sIxe yse9] MeJp pasn 70279981 YsI|qe}se sejd Buypeoesd POW uoleoisUeN Pa]UBM BHulyesu! oueRjsul UO!NO!J}S |B!}UE}S|Xxo Wol ABH) YOIYM useq SURE B184)B18H,uoWeoyJUe BulyyAuae J8Y9| aojes9uy PUBISISPUN pazoquiAs UO|sseidxe JepsO Sed "eH UOIOIYS |/BYS jeNUs\sIxe Buly} PaAlwep pasn SIU} PeoNposjU Ajsno!Aei jeu Woy|euo! Pelle} POZ!|OQWAS ajqeien Oye/NWIO} Jeyluenb SHE}S A/P!|eA ('8OUa}UeS Shes (WE), BulyyAuy 9Oud}
❅
of
ardous this first shows
e
10 9
8
7
6
5
4
3
2
1
✂
✁
✄
✁
☎
☎
✟
✞
✝
✒
✑
✏
✎
&
✆
(x)
(y)
✬
✫
★ ✦
✔
✢
✜
✛
☎
✮
✭
✚
✙
✓
✘
✖
✪
✯
of
be was
a
of
to
we
so
a
are the
of
we
a
as
by
9
by by
7, 8 6
5 by by
3
1
by by
4
by
2
by
1
&
tl
some that
a
as
use
the
of
5
4
3
2
&
1
a
is
It
6
theas tion. from had thething This from
is
&
4
3
2
1
✶
✴
✳
✲
☎
✵
✰ ✱
❏
❯
❚
❬
❙
❘
❨
❳
❜
❛
❲
❫
❵
❞
❢
❴
❡
❈
▼
❇
▲
❆
☛
❑
❱
❩
❢
❡
❪
❭
❲
❝
❞
❲
is
in is
is
by
to
liesis
a
is
❀
the
we
3
so,
not
to
☎
✿
✽
✾
to
8
6
1
8
1
✺
❊
◆
is
✻
in
is
a
3,
4
1
2
■
❍
●
❋
a
is
we
5
of
a
5
contra illegiti restriction sentence contradi
5,
✼
9
4,
it
line
that the have that thing From From From From From From From From From but it From have reason 7 5 2 From From From is first From or that 1 is: chosen by by by by by by by by how whything does line by by by by been where line by was to this by does El. E.J. The thetheythat ULI. from ULI. conj. follow: conj. E.1. the El.conj. quant. quant. yet conj. not conj. think name the conj. name needthink simp. simp. here adj. simp. equiv. con- equiv. follow in-be the of Thefollows adj.simp. that
no
deduction something illustrate particular deduction. Premise reasoning. Pre contradiction
in
✽
that
to
as
❄
a
❉
The and prevent particular claims Fae getting that before assume purports caused pu and instance thing example line mistake there therefore naming that tothe show that that causes fallacious show show ought the in
is
is
is
Fa(Ax) (x) (x) low (Aw) (Ax) not same Cab (Ay) same the But Here that naming Fax (By) (Ay) a Fx& first Cab Cay Fa that to that into (x) Cay Cay thing the theto a" line Caythat (Ax) Cay ❅
&
Cab
❈
deducing
By
fallacy troduced needed (y)-(x) deduction (Aa)-Cab occurred thing. letterdeducti illegitimat d apparently another something Cay
6
✜
✛
✢
7
In
✌
8
is
✍
10 9
i
in
the then most too. the the from form upon last standobvilet the fol- and be then ourThis
buttheone
a
of
such
a
quantificat qua restriction thing, restriction deduction. instantiation, si equivains instan adjunctio conclusion special Invalid expresother quantificatio
says at
of
✗
For
✕
itisas
✧
be
(y) (y)
contradicti ☛
a
in
the
last the line line
the
✠
wethe
if
as
the
the
✡
not
be
notBut
now
at
☞
is
✩
to
✣
✤
a
✥
of
has
so
as
of
☎
of
for
✂
&
the Fa can
a
in
consider have infer and (Ax) (Ax) Cab Cxb(ax) our sentence which deduction single sense think Cay Cay back why Cay Conclusions the Cay course Cxy letter derived (Ax) easilythesuch showing there to original firstcontradictio thisdeduction tion and elsewhere lence From From From occur letter From (E.1.) From From From (UL) From From (conj. must form Pr clearly definite always rule contradiction (conj. argument must adj.) previously deduction. (quant. somevalidity wastrying assigned El. shall U.I. whole, been equconj. same simp.) quant. neglect kind naming more important valid. validly valid contradicti see universa leastexistential exis simp. this clearest them equiv. obtain co than conjuncti one assigned example, contradiction Here here that and contradiction deduction. derived
we
this of (Ax) special method Cab Cab (Ay) (Aw) name line, type Looking (Aw) reasoning that form Going Cay arguments.
if
it. us weand A may we
sion sense allow
a
Elements
158 Logic The
of
✄
❁
❀
✿
✽
✹
✸
✾
✷
❃
❂
✽
◗
P
❉
❈
❇
❊
❖
③
❽
➁
④
❼
❽
❾
❻
⑤
❾
➀
⑧
6
⑤
❹
⑨
②
|
③
❺
❿
➀
⑩
t
④
②
❶
⑦
⑤
③
❷
✇
①
✉
✈
⑤
④
t
⑤
❧
⑤
♦
♠
♣
❦
❜
♥
q
❝
❞
r
❛
❡
s
❪
❜
❜
❢
au} aleay}ued
jo
◆
B
8M QQ
✲
✻
✳
✼
✽
JO
◗
B
✵
✯
◗
✶
9
9
8
8
TT
✠
VL
|IM
jo
⑥
❜
✐
✮
0}
LOL yqwo worjno 0}
-U! ayy -49d ueu} 0}
0}
❘
SI
✌
✍
✍
"|'4
❭
||IM 0} ||IM O}
S|
Jo
0}
YSI|GeISEAjsnoi Bulacu UO!}O] BONPOJJ UON|ONPa
❫
P
✭
✴
✰
➊
❘
JO
✎
✏
✑
❳
☛
☞
✒
✓
✟
✞
✝
✆
☎
✄
J])
LO!}ONPap paeziseydwa 104J8-PU BuiyjAue Seys!|qe}se
✱
❖
yj
❆
❫
❇
❈
❴
g
}!
✠
✡
SI
✕
✬
✫
✾
d,,
❊
✿
❀
➠
❁
✪
✗
jo
u!
❉
JO
0}
yo JO
UO!] UOIONpap Bulule PUe
e
Huljonssu BOUR} UO!ONpaep
❯
❱
❩
❲
❳
✄
✧
✔
✕
✖
✗
✂
✘
Jo
✁
❭
✙
★
✚
OF
2
❚
❥
❵
8
❙
❤
Lt
❨
✖
jo
à
D
â
am
➺
✃
❐
➘
❒
➻
❮
❣
➠
B
SI ✢
❅
✣
49
✦
✣
✥
✤
4!
✷
❋
❍
✜
❂
■
✸
❃
❏
Anw Os|e ayL ey} Jse]
0} ay) jou pasn-se ued
ou
0}
➟
Ob Lb 2
ß
6
8Mam JA
U]
í
D
J9] UL
❵
Ò
sey
yey)ayy
î
Ï
Ð
Ó
➪
ï
Ô
➽
➶
➹
➼
➯
➪
❪
➦
➧
➡
➢
➡
➥
Jo
fig
@
fig
8
➑
eM
yo
[
❻
9
➐
g
6
➯
●
❃
✜
fig
➏
,.2,,
➸
2
6
ke
➎
JO aul|
Q
6
➨
➫
❰
oms}
➵
ã
ul] ENA}
ys
➧
➭
Ul
➯
á
0}
q
➾
Ue
0}
➽
➽
❮
➾
➲
➳
➚
➽
OUsi Bull Aue Aq oc 0} 49494 SI OM oO} BM eul| Ue SeM OSSI ,,2,,Aq ul) U! ey} Aq BM Bq dul] Bu} 0} mou jo S}! PUR JO 0} 40}UL 9M EYL Aq |e O Sem0} yey S} pua Bas84} SBY *gINg uO AU! eq
ayy
0}
9
9
❬
7
fig
9
➏
➒
Ñ
➤
9
9
➩
➻
❂
✹
❑
✺
❄
✛
▲
▼
0}
S|
O}
F
Û
q
JO Ul]
❍
ue
➴
Ý
OS[INNS
ñ
Eq
➺
Þ
S!
S|
'G
Ul
UL
ul
➮
ó
JO
ul
ye
0}
a4} ,,2,, |eNPIAIPU! AUI| Bd10Y9 JOe!qo pouBisse MOUs ay) [(Axq UM 4e}|e uoljOes ej JO} jse9] INQ EM (fxg Je S!y} eN4} BulJeeq (Axq YONspauBlsse SAemje AD eweU SEM Ay) UBSOYS OU] Ade||B} [(Avq [(Awq [(Awq (Awd pasn jou s| 12J91 OUl| (And SIU! AQ) SIU UO!}ONpaP (AE) ol} (ing SHOdund (AE) auu} esues AD)fig) JsNWB/Ge(@4q jOe!qo jsNnW OU}
ð
ä
å
æ
Ü
➷
➬
ò
➱
ô
JO
JO
2, UI ay} a4} D U! 0} ey) OY} OY} jNq 19] au} ö
ç
÷
è
é
ø
ù
ë
ö
OY}
o1e
➈
v
➉
C
→
9
S
9
➃
oO"
➣
➄
➋
↔
fo
O91
obo] squo
➇
➆
➍
➅
➌
➊
C
C
➔
OD)
C
➓
SN
jo)
8
↕
oy) aU}
Oj
8
➝
➞
4
➜
Ú
OY}
BM
➛
➙
×
OsS!
ê
Ø
sn
ì
Ö
gq
è
Ù
JO}
2
J99/GO useq BPN|OUOD OUI} JEU} fg) fig) Ay) YOS pezljoquiA (),, Jey} AD) (AE)] Joe!qo Yeu} fy) esuas :uIeBe UY, 49) (AE)] BD!0Y9 189] JS41y Jey)S!4} (AE) (AE) (AE) (hed MOU UOHONpaP SdejsINO pueSI4y) (ME) (*) (#)UO!eI]Ue}S AjsnojAesd uononpep UO!}O!4jSE1 juownbie P!OAe JaJOL EUNS YyIM sieEeq PUue eejUEIeNB Jejnoied saajue esoyo Buy) uonount WO Paye|e1 S!y} õ
Õ
Ù
❼ ➂
9
8
❸
C&D) UIE]UOD psonp QaH)fag)-(A) C49) 89d) Q4)(AE)QWaRqdL Hulyoo7 jeulBuo paulsep YOIUM }9a1I09 BoNpPO seoUR
✩
❦
-1en6 hag -Mane 199/go *duus SMO}|O} aAey quonb YOIYM jou uodn JeAe!|pew AUl| UBSOYD YUIY} JOalgo YG Jejuajsixe ajqnedwood sueeW euly *Cuoo THaou peonponut aSOYo AIPITEA SAPY ISN (Ag), Ajaje|du0o JOe!GO Udy, Bujsisu! Buipaoeid aAeY *BUOIM sueew aweu Jaye] JN@] ,,9,, PINOYS AjIPI|EA Ajsnoiaeid Burusnyas WoL mong WoL wou asrwatd uoeBau ONE] uoHTejea1 YoNs JEYM suoonpep peonpo.ju! a}eIJSUO Ajsno|Aeid (x)
9
St Ob
fuoa 8 -\yBi1 YSIU!J SWEU sdsduis snpow -e4]UOD BABY YORaI @WOS fq SN ay} aU} sdajs a1au}yey} fig MAU Jaujyes OP Aue TATAfig (woo Tg*(uoo St WO} eu} YJOM AjIpiyeA Sdajs fg yeu} SEM PjNom yey) YIM fiq fig fig fig fig fig fig hg AYM SMO}|e 7872U yeY) eu) yey) U!e}GO JsulyaM se OS sny} OM aweu 88S Jey} spuly Wioy SIU, [BAP WoL mwoLy mony Mody mo. wong WoL wotg moLy wong uauod Wong Wow YdIY JEM SNOIAQO Ajay!| OM OM seJOSU! Bulogued ewes Sda}sSN ay} JUBIAJIP ayy JO Auew JOU amUOdN oq ay} }99]a sn |19} LOS ase MOY paeu BWOS OM |ja}JOU YO!IY JBU} AM Salsas OP pjnoys ay} UOdhN |jBYs WuOJJed siy} JapuoM BWES Kay} (Anq eu} | Olu! aM U!EIGO JO} WO} aM (Anq (fog (wy 10e1109 JBAO BY} Ng S14} e4) aul} JEU) AewWWIe (q>d (qd yey) ay} a4) q1 (9d B12 99d MAU a1OJaq 404 iD) 44) yOeQ NOA ayL Olu! PueJayJO 8M Wed "|" YORE aq Ing SY} sain dul]Alax!| 84 (AE) (%) qoqd qyd saul] OU! pueY am WO} Y}IM ➁
1
a
III.
that
I.
We
I.
U.I.
offer follow: Ourweper
U.I.,
✎
✍
nal
a
✏
an
(a)
by
it
a
the Fe" ifier are we is to may e.g.,by the are
a
✄
theany any
we we may may
of in
✌
☞
the
of
any
that use were IN
FOR USE
use
for
of
10
in
Trut
✁
an
ex- is
it
a
a
of
of
to at Fy"Also, firstall thefortheline one the E.I. is to can that not rest one use very
sign
a
✝
in
by
the are any
✞
is
☎
areFa.
✄
the
a
✆
to
is
if
to
✟
it
In
of
it,
as
the
the
new
is
to
is
D
any
In
it.
an of
is
it
3.
of
to
✜
✔
✦
✛
✚
✢
✒
✗
✙
✕
✜
✛
✚
✙
❁
❄
❀
❃
✽
✼
is
."
"
a
if
of
to
We
we
12,
and
✾
✵
✴
✿
❂
✶
✺
be
a
✆
✻
of
to
U.I.
of
a
be
of
at
✰
a
a
to
of
be
we
is
to
to
it
a
i
to
a
It
D
to
we
in
to
a
of
3
of
of
D
quantif trut tr quantificat
✘
✫
✬
❇
☎
✝
❅
☎
✹
✸
✷
Quantifi
D
is
to
a
✭
It
it
✪
&
is
❆
to
It
a
&
✥
&
of
a
✂
&
a
D
★
✮
3.
✆
163 cation
a
is
to
a
✤
It
a
&
to
tification clear-cut structu quantifi appropriate Altho connection ponens Suppose quantificatio specimen universal constructi beginning, contradiction universal terminate quantifier prev structure justifies familiar Howev deductions condition quantifier quantification; deductions, changes required contradiction, deductionexistential justified ponens, (instead, justified princi quan existential Cha because quantifier ponens. quantificatio negation existential obvious beginning, deriv ponens, Chapter deduction quantifier reliable. inference, intuitions standard strictly
do thenot rules tified mere such. move versal notpurely Gx) stanc really Fax" justify by are wethose have may first Also, what scope game. modus is has portant be we "Ga linethe wouldmust wethe justify have Fx)" moves ent the these Were the us to must be move valid, have purel valid, notexact exactly this Nor Fy"; from line.start keep to become our which these with but take then write or in as rules. that themistake with our it we Ga" and by wouldtried care an the start we lines making to first would theline That the mind knownot be dow would must try be that is, one want. this merely modus lines that relying bego are form modus any for with; contain scope the go all by the one having new that from upon notby correct would move; rules misuse an thetheU.I. that final we by has our by but ponen the would an E.I. of one the with line modus mistake within rest very to cease weread here line be not theby wantgo rules as fromto the and may that modus to the (Fa must start modus from the special thekeep much the try whole their would Fa can start with line. suppose move scope worse move Forbe pointponensGa)" usemust Ga) Ga here with andbefore theit be And toandin- quanuni- of one. ersal and is overall [(F'x as Sucha that (y)injusfordoes
be
Fx"
✡
☛
a
if
in
QU truth-functional
of
A
cept Two Two the alike ately sign; a(t)os From more name word e.g., that, to
most deduction equivalent deduction. PRIN may choos quantifica quantificat immediately except Universal contains quannegation followed Existential Then where sentences sentences the Quantif prom prin being that, Quantificat sentence sign; followed rules according lines always listed first where explanation inference universal validly pre validly introduced yiel universal instantia equivalent instantiati Equivalences these infer about (T.F.) used inferinference first into contains validly immediately Chapter (U.I. equivalent (a)quantifier (E.I.): equivalences (QE) they quantifier, name equivalent rules: infer principles existential whe contains will followed From co From instance negation qu instance instance they other whic exactly immediately final sign quantifier, sentence added negation DED seems alike equivalent that to contains per ded truth-f universal existential provided immedisec-exactly negation later.followed inference.
Two by ond
2
Elements
162 The Logic
of
✠
✂
✟
✞
✝
✔
☎
✓
✒
✑
✖
✑
✣
✧
✔
✒
✑
✲
✱
✟
✯
✩
✆
✟
✳
|
Z
zZ
|
g
y
*
2
g
6
|
Zz
Z
|
py
Ss
g
6
g
SOL won YeM
10,
-onpap pausap WOl4 Wwol4 wol4 wol4 wold wo wooly wol4 wol4 wol4 wol4 wo as|wald wol4 wol4 wo1y woly WOl4 wo wo4 wo1y wold aslWald
✖
✗
✘
9
2
8
☛
C
❣
9%
C
(#)
z
❤
(tq[Lew
c
()
%
(*)]
1
♠
vd
✔
❀
❶
✕
✰
4
C
✐
❴
C
❬
❢
▼
❵
#g)
✕
9
❜
9
L
OLbh Zh
C vn Dd Cc xg)
8
6
Ob tt Zk
✁
ß
Dd-
8d (x)PS DSDWed (")(*) (x)PW
❩
✟
DW (E)
✕
bh et el
☞
✎
[wa [eac (og
✛
C
ay)oY}
days Rup
orNOnna
❩
❛
❞
&S) #s)
s
✌
fy
Cc
✚
9
❩
fig Ay Cc
❭
(A)] fg (A)
DAB Layjoyn
✩
(A)(fh)D4 PA
(wg
9
(*)(*)
❪
fighg (A)
❡
(*) 8
8
|
NMOTNONDDO
9
H
✙
Z
8
Cc
★
9
❦
S
as
Cc
♥
v
C
❞
Zz
✪
✧
(Q9H @D) xD)
✡
07
2
ayvlqzsuomap *saynt [les aynurjrba) (ew [lew waprsuos ew)2M)
✞
✝
07
8
vd-
✌
✆
uno 8D yona pun
8
★
(AqH (wa Ap) fp) H (wx (A)
8
fp)
(A)
✒
fo
❀
✠
(we)(WE)
✑
8
8
✤
8
✢
9
C
✣
x&dq#8)
✏
&s) 8&8)
✩
19
✂
(xd- (wa(zs (@d-
✤
✬
#8)C
✜
(we)(@E)
C
✫
vs- &M)*M) *M) (WE)(e)
✦
9D) 99H (@E) 99H99H (x) Ww ((AxH ➞
③
08
hyn
2
8
✦
✾
[Azgy 9
9
8
(*)
✥
(A) fog
(ed (@d(@d (eq (@_q #8)C C
C
B
★
NMTNONDHO
yynsae wo
❵
✍
✄
Burpsovon urvjdxa pahunLtMat wornoyrysnl aq
✜
(AqH AD) Cc
✪
oy}
✯
ee) (we) COW hjaynwiyzrba]
✥
AOtTMONDD
❬
9
❥
9
81
8
(eq (wq (xq
t
8 Dd C XS)VdC Bd 2 #S) *S) #8)C Dd 0SDdDd Pd
r
❩
✉
✴
■
(A)
B
ay} vof
⑦
❑
✧
2
✮
(Pd #N) 2H) S)#S) 2S @W)
✰
(A)
e
✯
❏
✱
9
✭
PS)(E)vS24S(#)] (*))(*) (WE) pynos urmpdx gy
✓
✹
✸
✷
TT st
fig (A)
✧
[ArH (A) (we) (E) 29D 9D xD)
✭
hog
✤
✶
✽
99N 20g 20y(A)204
-snl ay,
❈
✼
☎
nu
❪
9
❝
C
urnj
❹
PY)
eB
fo
⑥
▼
①
❄
JOU
Ss!
❀
@
❳
⑧
()
✆
❚
❧
q
⑤
▲
✳
✥
❃
✵
DA 9 figfag wy 8 ey
❀
❀
❍
✿
✻
dug (waH aH #D)] &D) UoYonpap
❀
ge
❘
✳
●
(fe)
❀
◆
py
❀
❀
❋
(A) Dy OY PA (@) (#)
❪
❀
NMDTNO ❸
ON
❪
③
❇
ay}
HK
Zz
❭
✇
JOY
❀
❀
✺
aznjs joat.t09
❶
(PD C
ye
C
❀
C
❲
✪
P
✈
✲
❆
pun
❷
◗
✇
❊
❀
pus
J
❫
♣
④
❽
DY), D
⑩
❉
❿
UM
➀
TS
❱
❖
➁
❁
Oo}
✿
fo
vOL avbor] syuau
oud
vb St
✞
❼
❀
➭
(ew UOI}OIPesJUOS (wc Burmopjof yona UORONpep #w) xp)x) (WE) 2?S (we) (#) (WE) 2S asiosan
❙
❶
❂ ❾
yoo bb WOLynIYYy YOIUM
❝
♦
❨
❻
②
❅ ⑨
✿
Ay
❯
❺
a
is
a
is
If
forthis one tion and true; tional tional aboutthe the must of that formthe we
the
of
of
Our ready about USI showing junction then the establish Also, validity THE form. seen, metho Another with that premise, instance, the ourshow true we the sentence
and tionalFor
tionalmethod essarily
are
are
is
We
is
a
and
if
if
is
true
is
is
is
to
So
7 6
5
to
we and
B,
4
3
&
2
&
&
a
1
the
of
is
D
✜
is
a
But used
a
as its
of
ferent order.
a
is
a
✌
☛
☞
✟
✚
✞
✑
✓
✏
✘
✆
✒
✗
✓
it
of
&
5
4
3
are
theit the is
all
&
2
|
|
|
we
into
|
4
the
We
|
any
to
As
a
to
us
We
a
is
not
al- by
so
do
a
that
In
order show figure let results
theinto
can isabe
we
trut quantif
and this seethis
a
of
an
be
can
&
the
5
2
3
✖
✕
2
&
by
1
&
✍
3
by
1
&
from
(Sx
&
&
&
✝
tential
of
we
in we the
AII
that the any rule
strat shoul legiti
We
the
on
new
a
be
from must
type and
the the
of
a
being
a
&
✠
a
to
of
in
this Pz) trying yield exthem have first name simp. by simp. dif- beensimp.
U.L
by by by
2
2
&
✆
in has
steps
U.Iour
take then
to
and
is
5
✞
simp, simp. simp. simp. equiv.
&
✎
El. UW.
by by by by by by
7 1
&
✔
✟
167 cation
✒
&
&
-(Ax)
(x) (x) (a) (x) Sa [(x) Ma [(x) (Aw) (Ax) to in is by now (3x) D (Ax) (Ax) from (Mx(Sa (Mx (Mx the we (Sa (Mx(Mx this that (Mx IN Pa D (Sa D (SxPaD Ma D (Sx (Sx (Sx D valid. D we by avoid line as then are Px) Px) Mx)Px) Px) We Px) Px) in Mx) Px) Px) Px) means by Here Mx) Mx) with want. that of the E.l,, to (Ax) the For E.|.The THE for E.I. and by (Sx no theWe thewe the us must
Ma>Dmight
S trodu proceeding following contradiction. co conjun deducti USI inst restric attempt follows: deduction, Mx)),& perform balke trouble. de Symb prevent RU solution deduce negation first, exampl syllogis restr other cannot Mx)] name From From From From From From From use From premises From From From rest suppose requir getting instance properly name. contradi little already are conclus conj. conj. conj. conj. would conj. conj. quant. obtain conj. putting
8
|
a
✙
A.
of
if
✁
B,
a
a
if
☎
A that thatthe of thetwo two and
say
say
✂
B
to
of
this
qua acontrad
put can theto
the we
as of a an
✵
|
to
is
it
is,
a
and this be If test we that can and only thatbe wewe the show of can the is, ofalluse thethe thethe can thethethis two used its into that to to be true an to A in show To show
a
of
tradicti construct argument, rephrased *Q necessarily construct contrad equivalent sentence: want sentences validity This argument from THES conclusion that form shows another method M question conclusion contradictio deduction contradiction. sentence only conjunction Whenquestion method demonstrating senten also dedu form equivalence argument valid.negation question of That given premise false necessarily (or about D deduction argume try equivalent. each have negation that enabl form handle CAN sentenc validly about validity negation used premises follows provided shows whether necessary because because show negation method. sentences premises, contradiction. conclusion, that virtue follows that argument cont that corresponding follows, (Fa rephrased AN from truth imply conjuncti some put whether from This given answer with with given contradiction. follows However, implica F'x)" de question other. sentencepremises more sentence now have from sentence provides conquestio nega- about conjunctio con-than conclusion whether necimpossible quantificaquestion quantificacontradiction. quantificasentence sentences quantificathen first
we
The 166 Logic ements
f
✄
☛
✡
✆
❽
❸
⑨
❾
❹
⑩
⑩
0}
Aq ul
ey,
B
B
(A)
❨
❨
SB
aM
✇
✁
691 -fyun woujn
aney PMO} SOWEL -ByUOD -ByJUOO :SMO}|O}:SMO|JO} (x),,
&
❲
0}
8q
se
OU
❺
❩
✈
SE
❂
❇
✽
✹
❊
❪
❂
❃
✾
✽
✿
✾
❢
❅
✹
❋
❫
❀✿
❆
✚
✼
❀
❀
✺
②
❁
❴
✻
✼
✢
✣
❵
❵
✒
✓
✍
✖
✎
✏
✑
❡
❩
❜
✆
✝
③
2%
IN
✞
QO} Aq
✙
B
JOU
S!
OU
0}
Of
☎
ye
INO
U!
☞
JNO
O}
s
fig
✈
O} OM
0}
oq
❺
❳
ayy
❦
6
✉
ul
ð
ò
✁
ë
ì
ù
ó
❹
ì
ô
❸
⑤
ô
❺
6
}!
➞
➍
✲
➎
⑦
❏
❘
❑
●
❍
❙
▲
■
❚
❘
▲
❄
◆
✸
✳
❖
✴
✭
✩
❱
✤
✪
✮
✶
✫
✷
✯
✬
✛
✜
✵
✥
✦
✱
✧
t
✟
✡
☛
✌
Je
★
0}
✠
✘
e
✚
JOU
B
aul
✗
❈
▼
ese
8
➝
✰
Jo
➜
P
s
❉
B
➙
✳
PUY
↕
⑤
au}
➭
JO
➩
✂
8
spuejs ule]qo adoos Bulyoeas
➨
⑥
0}
✵
➳
♦
❢
ye
9
➧
♥
9
➦
e
❯
JO
➲
S
➥
@
➯
1
➭
♠
❥
UI
Ò
⑧
O}
Ñ
♣
❣
SB
Ð
❧
8}
Ï
◗
❰
✥
❤
S$}! -J -81 8M JEU} -oas slyeu) wieuy
❻
✈
ì
uoleljueysu! O(A)(WE) SU!e}UOD ajqelueA asoddng a1oyosayy uoljeiue}s UOH}ONpEp
í
|IIM
ø
④
UL
➚
OF
ô
6
TD ❷
③
suauod BABY MOY WOJ} -(uoo BM
ÿ
❷
②
✄
8
4
fig
fq fq eT &1
Ss!
OL
➷
➜
Ö
➫
[
TA
&
7
fig fq fiq fig
Ù
ay}
OY}
JO
si
➒
TaTA
6
fg fg fig
➅
➌
➋
SB
OS
Ay}
(a4
↔
➊
➉
aU) pue
❫
➐
AjUOO6
❩
Aq
7
s/n
Ö
JOU ay}
JO
OP
➘
þ
fig
6
➼
÷
fq OF
ß
➏
puke puke
ajnd
ay)
O}
➆
9
➂
S
yy
2
8
8
89l oor]
➄
Þ
➓
au
➃
B
Ø
➈
UBJo Jo
→
C
➤
ja} s!
➷
aM
➡
Ay
➾
pua Je}
➠
9MOSay}
➟
Ý
➑
➣
➇
ö
➛
94}
➔
ale 9M
➽
Ss!
➢
JEU}
JOJ
➽
}!
➹
Je
9
➻
jo
➮
ú
(Vd
➶
uay}
s
C
➵
Ü
0}
❒
á
ô
JO
ç
%
❮
Õ
aM
➪
11
➴
[ey [wa [mq
➚
AU}
↕
ö
8
si
❐
➁
SIU) (HE) (ME)
➬
➺
è
Jey)
q
õ
✄
(Pd
ã
ü
ñ
s! ay} SEM Dd(Pd JOHSY ay}
â
Ô
Kew
æ
ï
×
JO C Ag C au} Ay asn U! JXOU fy fg fig S! Ay) OU)ay] figfig Se aM ay} Wd (AE) ay) OUyye
t
()
✃
8
Ú
î
Ó
sy
r
➶
aM
ä
➸
2
ê
s
|
➱
❩
si
é
✟
Û
à
↕
û
DdDS DW
➋
➹
pabue, B19} Pjnod oy,S|
➆
✞
ý
✂
OLIk ZL ELvb
å
C
yons moys JBJOSU! Woy UOHEN UayM Hulpedeid "UONDI1} snpow8}L/OIA *yunnb *(uoo aouapparnb Ajessaceu wong JEpIsUOD UOHeUB 49eq ao ulyyIM SUI@ACH BSNBIAQ Bulyjewos [ea UO!}O!PesJU |BI]UB}S UOH WoL Woy pajusAeid B10Jaq paling Ua} mony A}2/O!A 'JUBM mong Ajueju mouy WOLy wor WoL mong wong mony ,,jeo1sAyd JaIj]UBN |BI]Ua}SIX BAP aay, Moy P[NOM jeseAJU (AE)] YL)UO!sses aWeU Sdajs WUOLJEd JSNW JalyJUeNb ABayeujs (@e),, |eI]Ua}s! BUE}UaS UONONPEP WUOped WO PSuo!jUsW JayjOUR UOIIDIPBJJUOD aSIM ajdwexe |eo1sAyd Da jeljUa}s!x BOUSNbas jouUkD Wajqoid azijoquiks BOUR} Jayjoue JUIOd |BAOWAI HuluUIH SKEMIe MOYS AjlWeSSEdaU 29S jesiaAlUN BPS) (fE)](We)(fe)]a10Y4 DY, UO!|N|O a8} Bulyyewos asneoeq SMO}|E eonpod PUCDES ☎
❼
fig
Ay}
❭
(A)
✒
✕
❞
OM Oy)
}!
q
❜
0}
r
❻
}O
U!
❬
❿
OM
uno
✐
❶
yy
①
❛
eM
✇
➀
INO
❝
JO
✔
2
JO
jusiayip SUOI}JE}OJ S9OUBISUI -O|pesJ ueyM mej PemMo}jo} pjnoys *(uoo JOSISS aul} AjBUIPsO Aueo UE}GO UIPIGO fuoo seul| JUawNBie WO $1NDDO BAJOAUI! HulUIe}GO ONUIJUOD UBD UOIONPSP 80/4} JUBM 1n'8 useq N's? INDO ABayeujs astUlat UO Buisn JEU) J9PIO Je] sey ajHuls payoRds sudya} WoL JEU} WoL pjnoyus URIS S@We sdajs yey) PaUt|OU! euo BSey) SeoURYO BABY SeWeU Ajay!| AeM |ey!ded hag G10 S@WEU ABaye Bulepisuod SUOHJONPap ysn{ 8M," JDa/aS suBEW EMJEYM UOH JUaIE q
✒
Bde|de peg BM YIM BUO JYyBHiW BBW BABY JOU!ISIP em BAC! SIy{ Bulsn am OM pue USYM Se sno Yoke P|NOYSs Ax B1OW fxg ue 4Oeq aM sdejs hag |je@ fixed fing Qd- yey} (A) jNqABM *AJ4OIND Ago ||IMO06 fing se e1eyM OM) (A) (A) siy} (A) 29DS14} (A)29D 29d jno aUuO qd(he) (w) YONS SN (*) (x) (@E)SABM Huyew Pinoys Aue UO! WO14OF ING }eU}) seweu A|UO UO!}O!P Aueo
➁
6
➬
✝
to
be
I
8
7
6
5
4
3
&
2
&
1
of
is
a
=
✘
✝
✆
☛
✎
☎
✥
✤
✡
✠
✖
✌
✣
✞
✆
✢
☎
✢
✧
)
4
Fi 4
3
Fy
(a
&
D>
✣
D
D
&
Exercise
✟
✕
✔
✦
✍
A
of
In
&
9
in
sentence. sentence inve ARG com
to
as
of
2.
can
to
a
with that
steps
✁
☞
in to
1
a
is
thus: as
quanti
the we
like
names. treating will one be various But proper Thus, Socrates. them, some From these, yield From SING From From From From From
obtained conform
✏
exp containi syllogism ded Socrates CON sentences Chapter exactly symbolized
✗
D
ictdeductions refers
2
✞
✂
✜
✛
✚
✙
2
&
21
1
is
10
the
can
If
is
5
2
3
2
is
N
6
is
5
the
✑
will
Pa,
can
>
4
the
use
can
we
(Pa forfor We
3
|
for
a
into
is
2
i
is
|
is
that
or
In that
a
8
7
7
6
adj.
find and
we
use
to
7,
9,
✭
❋
▲
✼
✱
❑
❊
✻
✬
✭
❏
❁
✺
✯
❅
❀
✫
✿
✓
❂
✓
✒
❖
◆
▼
P
P
an
is
fa-
is key.
who
a
Quantifi-
is
is
to
not
do
that any this
cer-
by all
then
will
gets
be
any allto
or who
any
liked for.
by
is
areis
is
be
to
is
it
not
as
is
it,
than
is
that
is
is
to
&
6
5
qua
a
★
VEcation
are
to
us
not
this any
is
be if
to
for.
✹
to
a
in
no
is
is
is
a
all.
the
✰
not
not
and
a
✫
a
of
Chal
at
ject
✬
we
no
The
✾
is
still
a
is
his own
is
of
is
our
a
not
All
✽
it
of of
No ther
If
ship thing paiddicts thing each -Fa there there Every Every There shave Although jewels Infinity there Mickey theseeach human must EXTENDING case Fa thing every logical example thing elephant regulations THE bigger shave jewelsbigger have person Every examples subject subject examples, jenging countable barber themselves. Therefore, mouse. there human all problems. such somethin than than bigger that that const withmethod problem student bigger METHOD aboard than such number, every certain logicall paidvaluable. bigger deserves person than only which likes liked already Therefore, Therefore, shipTherefore, everything thansomethin sincefather. credit. those ship. correct. some state challenging. countable Dumbo areenables than Whatever mouse. bigger valuable everythin human. someone according aboard number subject gets which Someone complete. Therefore, student number. than validly students. yet Raa Raa Anyone Dumbo bigger clever lost lost, bigger (x) these who clever ship other. barber follows There bigger than person dedu likes bigger. Therefore, handle than who from deserves aboard solves have solved position many itself. other any-Therefore, sub-thesecontrainfinity elephant. regulations then show thiscred-
kinds kinds
3
otherby6,7by 4, by by by by rules?by U.I. way conj. conj. conj. conj. (Aax\(ay) (ax)(ay) (By)Ray conj.
our
name individua philosoph 8,U translate have pos W2), needed instance, SENT conj. other 4-(Ax)Raex -(A2)Rea called that until therefore modus RayRey not, adj. simp. result. simp. simp. simp. does phrase trial demonstrat ponens therefore concategori letters philososymbolis Socrates singular
5
10 form Do form, (a) error, (a) Pa Pa offers Wa Wa phers [(a) ot (ay) as purports Cab Pa Pal validity Cab oe thedesired are (Px (Px these (Px Here Fy we to can 25 -Fy Wa -Wa the better results be wise; saw Such -Wa rules? etc., Wa)We)We) way apply
11
ements The 170 Logic
f
✄
✪
✪
✩
✪
✪
❉
❈
✸
✩
✷
★
❃
✶
❇
✵
■
❆
✴
✳
✮
❄
✲
❍
❃
●
$1 B
S|
ale -un
Ul
B
Jo
BJO -loulad -luN @JOW -Ki9A9 -J9AIUN aul YOIUM WO}84}(x), JO
✐
❥
❦
❧
❣
❤
❪
❄
❅
❯
❅
❵
❩
❳
❙
❛
❯
61e
❲
❳
si
▲
❚
❘
❑
❄
◗
■
❏
❽
◆
❱
❊
eq
La a-
❇
❅
2
❽
❆
❂
●
✺
✵
❃
❄
s
✻
✶
❅
✾
✼
✪
S
✲
✰
✳
✯
✿
✷
✱
❀
❁
✉
✦
✱
✫
B
★
✧
✩
✸
✹
✬
✭
✢
✣
(qa xy ew) (Ee)(*) (*)a6
>
✴
②
⑨
❜
❂
❃
❙
❴
⑥
✤
✮
A
we
JO
eZt afyuo woryD
-Aane
PUL 10 7%,
AO@L
✌
(x)
xy
✚
☞
ue
JO
✍
}!
SIUL
si
Ue
yf
you Sj! ING
SI
(#),,
✙
(#)
A
ey]
✝
'}!
(#),,
SB o1e
0}
✆
✝
s!
SB
AJUO
✞
8!
OY} JEU Oq MAU OjU! Ul AY, S14) wi UBDey) y,
✏
✑
✎
4SJEU S14) ey} YONs
✛
S|
9
(aq
★
[uoo
▼
UI
Om)
i
(a
❱
(@)
+
❋
JO
[yoo
"|
❯
❂
P
❍
DW
★
eq
eq
❭
SI,
aq(7
(a
✷
OM)
U!
siy|
(a
(a
4
★
UBD oy)
eu
B
(cr),, UBD JU
ey)
❡
$1
$1
JO
Og
✵
(@)-
9
A
xy
❉
✈
Joy
♥
yey} xp)
❖
Ik
❈
BuO
e
JO
O1
❢
La(gq
♣
➥
✇
Jo
⑨
③
Jo
♥
SUL
♠
B
S|
40
S|
6
☎
✡
✁
☛
✄
✂
✡
✘
✗
✁
✠
✖
❶
✜
✕
✟
✔
✓
✒
❱
❙
AU]
r
❱
8
❻
Ø
L
➘
(*)(@) PW
➲
❬
S
➹
❸
&
➶
r
❿
❝
2
Ö
⑩
⑤
4
➪
❷
(*)] (%)-
×
q
❞
eM
Õ
⑧
①
es
❒
e
➯
❫
❨
★
✽
✥
✉
JOU}! S8OUBUSS Pa}e}ssue} 80UG *suolONpep BOUaJUES YOIYM JEPISUD Ajuo Jeyp!8 ouE|RAINbA JUa|eAINba BOU PUodeS dws dus JUBUOCWOD EYL ueBiow pure Wed Pay;sn{ ueBiow aayjountsi PUODAS SOO] SeuInbas ssaY BY} es|weldTNL 2..[2%5 asiweld vase AU} 9nd} jJas}! 4.x) SUJEA Aydosojiyd UO!JOUNISIP Buy) a|!YM UA}LIMed YoRa UO!F SUCI|d SUJEA yoRR,, UO!}OUN|SIP Jeyy}U aoUa|eAINbe new ney) MOUS ABWeoUE|eAINbe s,Aejay49g JeUU! /BsYBA B194) Saljdwi! AU SP1OM UEHLM JalIJ yore UOHFeOWWUB e[dioulid J9}NO BdUE}UAS :swWJe} |eB}UeW new WEES ejdloutid 22H SBOB new UO!]EOIJWUeND ApRas|e Ae) aaxy MOYS 2W)-("E) PW-8?W TAPW (*)]G-RPHa qw6iw jesueAjuN \?W)a-9 Ob (*)->W-9 Bury e/NW amsald a/!4M jesyeqjuN Hulu} jeOUaB /esyeA GulAyep
JO
➬
⑦
④
♦
e
Ö
❺
❼
JSJ1} OYL
jo
Õ
t
84}
Ul
Ô
❹
JO OU}
&
î
❾
0}
JO
0}
U!
í
9yj
ï
0}
ð
ye
eB
Ss!
si
➻
S!
➴
e
st
10
SI
JO}
6M
❮
➸
O}
➜
➣
ye
10
➚
SE jo
jo
→
0}
Sn
➮
➹
Ou
➔
➙
OP
J]
JPY
OS
JN
➳
➵
➷
➱
➛
✃
↔
➽
➝
↕
➺
➾
SI!
{IMBY]
}Sul}
s!
U!
sed }S41j
41
➄
➃
➓
➤
➢
➡
❂
ù
JEU)
Þ
â
Ù
ã
å
O}
sy!
UI! By}
JO
B
❄
➦
➓
Û
si
✄
➏
Ss!
9BY}
➇
e
➒
S01 yoke
Ý
|J@
➑
B
}!
AY} 0}
❘
9q
0}
}!
ë
✁
st
st
A
(q
➈
➞
➟
➠
j|IM
➧
➫
S}
Aq
➇
æ
ye
k
➆
ê
aq
➥
Ý
JO
➅
❂
➨
jo
ê
è
O}
SN
JO
ò
❰
Ï
Ð
Ñ
é
sI
Ò
Ó
ó
ß
ô
õ
➉
➊
➋
ú
➩
(x)
UL
fo
oLk 21B07 syuo
➂
➁
➀
OM
4]
➌
➍
➌
0}
ø
á
ay} Ul] AjuO Pue û
Ss!
ñ
ç
Ú
ä
Û
Ü
➩
à
➭
➎
✁
➐
xyxp) pijos Aydosoy SUD JSJI} HuiWeACH INO SNOLeA |p UOT} yoea BAjOUN! 194g oeajny Yyo!ym SUOHeOISI} seoua|e BOUd| SIY| saiyty youg poyjow AEM pepeou JSUIy s,Aaj jnyesn OM}
Jo
ay} ajqeUa pseuJ981}UeND OM) pijos UBYM ajqeue OM ay} ajoyM JO}:Sny} AU} Yons ay] SOU!| 4AaY} you Bury} MO||e B1BYM PUCA|G Buippe 7, AYNOWIP ay) J94JeH0} MOU {4UdYM ajOYyM Bo1jjns seyyn} JING pure gn yore BuImoys dajs Jey} Aew Buivey Suryy BUM Bulwaaob BOUaJUAS JOP!SUOD 4apISUOD aul] Seoua pexul|
ye)
BuryjAuane AeYI10 U!e}GO494960} ...s1y) e49U} :SOUA]U SAM UOIJEOIN|dWI BHuruuiHeq ,,;BJUSW ;BUONBOI PeZOQquiAs Aydo UO!}BdI}1|dWI SUO!JeO!}]UeND BAI}OUN[UOD
➼
❐
ì
BSay} Bulsn aul] YIM UB3e XS) B|GQe Ja4JO WOa4} O} aul] aAey aq 4NDDO \Sul) SN (#),,
Uy
BulyjAiere -eoljfjuenb ez!|Oq s,Aojey Aydosoy SuOHeoNUeN uojjounfuod JeUO!eOYNU JEUO!}OUNJsidijijUeNb s,Aojoyse
OU} eu} au} 4NO Aue Aue yey) -stu-1yd 8y} -UOd -A06 -uenb -uenb -AINbS S8jNu ule}QO -eAInbe Wd 842} BAEP @Aey pue SIU} U!E}GO 8OUBJ UN]ajMs SUIeAOH Pua}xXe jou JOU OYL Buluu!6eq MT) SAU] ay} BALJEP pue O}UM MOU B/OYM SBOUR}SU! (A) BM yeu} WO) J8y}!9,, MAU 8MOM Huluui6eq UBD poyjew Buluu!6aq OU} sajdiouid JSulyBABY |/BYS Saul] BY} aJaW pinbi)Buly!Wued eu; oy)UIE}GO OY}Aiea [eyUEUI ay} BM AM 8OUB}su! UB)POua}UaS JayJUeNb ,,J,, 9ndsayyny SueJUOD BALSP SASBO PUL BOUB} Hulaey ö
EYL ÷
us
&
✚
✙
Still
we we
7
6 5
4
3
2 1
11
-B
10 lent. Since
&
&
&
(y) (w)(x)
Here case Sa(La tional (Sa (Sa (Sa whole enable second derivabl princip Thus incom each B&something (Swdesired
8
✯
✏
✧
✥
✺
✵
only In
✒
✞
✹
✲
✱
✸
✰
✷
✶
&
✟
2
1
✞
✞
✘
✗
✖
&
v
❚
✞
v
&
&
v
&
of
✝
☎
in
en
one each part is
a
is
Z)
Z
is
and
for
❍
❃
❋
if
a
of heretrue which to terms can of Thisis beis and while we theone the an only now stated form can the
theof
example, philosoph disjun
in
a
of
rew orfor
be
shall
our not
to
be webe
existen quantific however, Returning disjunctio sentenc ph -Sy)] deduction. Zeno's justified required. equivale quanti quant pause disjunction. &
❍
✄
✁
✆
▲
❑
✡
❏
✏
✟
P
❖
✄
■
✞
✡
◆ ✝
✏
▼ ☎
✡
◗
P
✟
✏
✟
◆
✡
✞
▼
✏
✞
✡
✟
✏
✟
✞
❙
●
of
7;
6,
by
by
by
by
1
3
the
an
of
at
an is
as
the
❆
equivalen
we
of
in
if
❄
for
we
❅
4
newest From From From From From 2
equivalent can present disjunct correct. principle Tautology second Tautology principle They either two compo principles The existential who E.l. El. sy of are quant. quant. complete general sentence least is which these dilemma equi existential underlyin terms: quantificadeductions one equiva- se equiv. quantificaalready
&
[(La [(La &-Sb) twice -Sy)] ❘
✄
5,
❇
our
terms
was of
are
❂
of
v
is
in
inas our this
conj.
the simp. been adj
(Aw) (Ba) first (Ma Mav
The
3,
❉
Wri follo desired may principle but existenti would also (Lax moves (Sy (Sy (Sy
an
outin thethe
can
we
9,
thisthe the new 10,conj, idea hasother,
❀
use
we
need from that
see
can of We
shown
❁
v
✑
v
✞
5
✼
D
to
now
we be it; new but wehad.to
our
that from ourcan
❈
make
✠
&
✽
&
☎
&
✍
&
✎
that Anyinglent, tion, have, could
UI. U.I.
✡
we
7;
&
✆
Here La(La (Sb (La (La (Sy (Sb (La (La (Aw) (ay) (Ax) (ay) (ay) (3y)
✓
3
★
4
✔
5
v
andyet theone en-here
✝
✡
&
✦
✕
&
✄
We but yet
☛
4.
✑
does
✏
solid
2
✻
&
✞
(La is
✏
not
3
✡
it
✟
1 by by by by
4
☞
thatin 5, of 6, line
& ✟
&
✳
✴
the
&
✡
6
✩
and thatmove new it our that so
✏
do line.
✫
or by
✡
7
✬
theour
✪
✌
8
✛
✾
is
✭
✿
is
✜
✄
or
✮
a
☎
of
✞
so, is for
✝
our
✑
2
✁
is
✄
&
✝
and line
✁
not
✞
of
✄
step
in
✄
of (y) (Ly (y) the (Ly (Ly this (Ly
✑
it
✢
be
v
★
&
v
✁
&
✡
(y)
✁
it
✣
&
v
✡
last
use
D
v
✝
(La (Sa (Sa
D
v
&
✂
or
a
&
✝
of
✤
and kind of This may is is
a
&
✏
any
take
of take
✄
that
is
&
[(Sa[(Sa component Something &-Sa Returnin without twice cannot another deduction understand something such disjunction. equivalence, liquid paragrap principle which sentences: already handle earlier show make this princip first movesuseful fairly universal that disjunction follow principl either sentence easily. example example illustrated equivalence. liquid equi section, quantifier beyond principle moves symbolized wereinvolved again From From From From From philosophy princip first rulessomething principle method Tautology Tautology sente governed contradiction, carry justifi equivalence, sentence consid correct. method governs quant. not quant. philosophy principle need equivaeach considquantificadilemma equiv. equiv.
Either correct.
one (Ay) able not again To these more towe(Sy us is to
er
is
Elements
174 Logic The
of
✄
❊
0}
❞
0}
JOU MOUyey} ploy -U0D aney
0}
a/b
▼
❋
●
❝
&
B
wd
▲
❁
ue
A
UB
✬
✭
OU}
-U!
aMAq1y}-je
ZZ1 uoyna ✄
✂
✁
yes ay PEP! -uas siuyy) woys esau} jo
eq
yey)8SN
✧
JO
JO
✯
✱
\
x
(we),
❍
OM
❆
UBD
amB12 OM
0}
B
0}
✖
OM
✒
si
✵
Ss!
✺
jnq
✔
Aay)
✘
e
✕
j!
✓
UO YIIM ABW 0} yey} JEU) 8M ey} au) UO Aq ye
4]
✪
✫
ay}
✹
JO
✴
94}
❄
JO
Oo} ke
✳
✔
✰
w(Z
e
pp
✝
❊
U!
e
✣
❂
wl
✝
SIU} 0} jo U}IM
U!
eB
✑
yeu)
✝
✴
OM
☎
Be
✆
se
✹
✦
JNO si JNO
Jo
✢
✮
yo
❈
0}
✜
❜
9a1j
A
JO
✵
UI
|||
u!
s|
&
P
jo
40
sejuy
s|
aq
eM
10
ND JO
✹
PleS
yo
❇
❀
xP)
✲
■
✧
✗
B/M4AqJEU} ayy BM MOU
✺
★
uo
✛
Awp
☎
❍
❴
sny} -US-|0} 4eyjO YIN]
✏
✎
yo
▲
✩
Ajpeuo Ajjeu
✚
JO
|
✥
◆
❛
ea. U! Aue
✾
S!
✽
❏
Jey}
✾
◗
aq aq OS Jo aUO aud OF ABW ABW JeY} 0}
✻
❉
Bq
✙
❖
❊
YIM
✸
✤
✲
❵
om)
❯
❑
Jou0}
✶
}|
JO
84}
❩
▲
❴
P
Aq 9SN
☛
✡
✠
SY yO ey} ASN
94} auo yore
✍
JO
uo
❱
}!
✼
s}
✷
❘
}YH)| 40}OpBABY Pue JO} OM om) js!) AUY AUYSIZ Aullppe O19H paued poo PINOM ayy UB}e}
U}
✷
❚
ejdiould OM) Bulssnosip jesJeAlUN jeUs}s!xe seou ACW paUl|We Ue HulAe ShEM e0ue} BUD peonpo,} PeuseUCd Suilpeey, pouorppy
❃
❙
os
✟
❳
10} AjUO
U!
94} 84}
➱
fig
fig
✈
i
➏
✃
➃
❐
②
➄
➅
③
✞
✈
➆
④
✇
❿
➂
➁
➀
❿
❿
❾
➂
➁
❿
❾
}!
B
[|
%
&
Ø
Ù
➮
❒
Ú
➹
❮
❰
Ù
➽
➳
➾
Ø
➴
➷
Ï
⑩
➵
➚
➬
➸
➺
Ü
➻
Ý
➼
➪
➶
➾
7
fig
9
fig
⑤
➆
fig
J,
OT
❡
❢
✤
✤
t
fig
⑦
fq
I,
pausarob BOUa|eAINba UOI}O!|PeUOD |BUOI}!PUOD Ajjuajeainbe Abo]0 fiBo JBUO!}]PUCD mo.woLy wong wot wor WoL wong MOL
➘
aul]PUe Jo
ued
Jou ay) Bau MOY aMJo 0}
SNAq
|/9} JOU
UMOYS uoljeBeu Sdajs pinbi)
Ð
➜
s
s
♣
➓
♣
➈
♠
s
♥
①
➉
➊
❦
♠
⑨
❸
❻
❹
❼
①
⑩
❶
♥
r
q
Ò
❤
L
8
6
⑥
OL
ILL
wor] squa
QZL
♥
A
8
❣
➥
A
C
s
A
♥
A
A
2
❧
C
➠
8}si SI
➲
A
A
❦
g
❷
(QT
r
➊
A
s
OPaie
A
2
♦
♣
9
♣
0
❦
A
8
❽
O}
➛
Ñ
Oye} yng
♥
Ô
Kay}
8
✉
s
♥
Jsuly yo
❦
3
♠
⑧
3
♣
Uee
9
♠
aul
❥
✐
♠
fo
➍
❦
9
❺
9
➌
wT) AS) @'T)
A
❷
➋
➝
ã
A
➐
➢
♣
➯
➟
➤
wT) fis) fis) wT)
↕
â
JOU
⑨
❦
⑤
➇
VS)vg) DS) (@E) YS) PS) PS) ?S) DS
↔
B|Ge
è
➭
(AE) (fe)(fe)
⑧
á
➫
(#)
➩
Oye]
PUe
➣
4),,
➨
à
ale
➒
OM
➧
Õ
ul]
✌
❭
Ul pue 40Aue JBYJO SOUl| 40 eul| }! ul) JEU} uey) UIIM OS pue yey} |BEp 104 Wee 0} aq pue aU} pue BAOW aq
➎
Z
❨
❅
❫
YOIYM sarnba SUBAOB DU pesseidxe Bulyjewos aouapparnba *yunnb aouay
☞
❲
Jaij]UeNb jeuO!eoyNUeNb
Û
ç
➡
➦
Z
❷
Þ
Ó
Z
✞
✸
❬
✿
|
➑
Ö
å
Ul
×
u!
→
&
Japun uyeyqo -onpap peajsu) Jsnw BEY} WHO} Jesuaaiun WIO} souo 1Yy61\s Jenueysixe sajdiouud ayum paljdui UJeYSO aAeMoy e18m PINOO (x), Buojag MOYs eOUEJeAINba a|diould Buj aseys seyUN) YOIYM SaPloap yoeoid JUa|eAINDA JeI|1WeY JUa|eAINDS Buipsoei YIM eoua|eAinbe aoua|eAinbe YOIYM WO} aauappainba *(81qe) sajdioud WIR/O Ajj} }dope POUJeW }dope UOI| YIN4] s,auO jBUOHeoyIUeNb wnpu SedUalUaS /BuoNO JaMOMBU Ne) BWUIOD pinoo parjdwi sasiw AYBSS9dOU jeuoi!ppe sajdioulid UAayMes UaUMe JUsUOdWOD JUaUOdWOD UBEq 94} jeuo!ouNj-yjnd} pouoynoyyuo SABY (WE), Afiysnl saajas Hulj asey, Buluseyuoo |BUOI Paye}se BuNon eU!|Wee}s sajdjousd ovjzonp aousjues S80U eyer mo}|e ule]u0d jUBWAeUIY asey} JEYM uoNedyIUe HuIPede/d Apees uoWeoWUeN PEJURIG We}s sajdrourid BJOW P]|NOM Seousyues eye sayyny euopJYH}W UE|eAINbE e1OW pueys B1BYM JUaeAInbe JEYUN) ❪
payul| jelUa}s1xe UONOUNISIP punodwoo aAjoau! ,,PI|OS (@ysajdioud C72 BuiyyAsane ueuuew Buiyjou eseyL 497-) 897-) (xT(QI-AQ suolonpep SUOHeo|yNUeN Sanjesway} |BUO!}OUN, JuUaUOdWOD jeuol}ouN)-yyN ➞
♦
➙
ß
ä
ASeO |BUO!} ajoum. Buisn Hulmo| OM pI|os 909}
➔
æ
it
The using
we
8 7
6 5
4 3 2 1
In
of
an
it
a
v
=
D
D
✑
✏
✎
26
us
make
&
v
=
v
D
>
D
v
one
of theof
by
is
it
its
of
can this
to to
But and
case in that
for
&
v
D
=
&
D
(y) &
(Az) (Ay [Bz (Ax) [Az Ay) [Bx Ax) By)
(z)
be
way
a
a
into
more
or
a
✞
✝
☞
☛
✆
✡
a
✌
a
✍
a
By)
✟
a
that
is
it
a
not
is
and
if
In
int
is
If
ee
If
icc
It
it
can is
This
will
✗
✖
✛
✚
✧
✦
✥
✤
✣
✜
✔
✠
on
it
✠
✼
✮
❈
✻
❇
✞
✝
✬
✫
✻
✺
❆
✪
✽
✘
❅
✹
★
❄
❙
❘
◗
P
P
❱
❖
◆
❯
❚
to
it
a
is
is
is
If
of
be
✰
D
of
us
be
for
❃
❂
❁
✿
❀
✱
✿
✯
▼
▲
✾
❑
■
❏
■
limit
us
&
D
be
of
a
is
a
be
of
on
not
at
wewe
Or,
a
D
a
not
is
of
weof
✞
✝
all is
✓
✘
●
❍
❊
❉
❬
❩
❨
❵
❲
❫
❭
a
a
✩
✪
★
❋
&
we
Hx)
it
of (x) this this that (Ux
not
to
a
&
are
Hx)
is
a
D
it
we
not
becomes whether probably removed no con means truthsentence
✳
●
✲
✩
✸
&
if
we very
✴
❛
❞
❝
❜
sufficient
❴
❪
❛
❡
Quantifi-
a
a
is
find(a) that seek (a) to mean areof is one and clear form D that quanac-ourform other senmorethat(Ux
we
seeare
no
done this forhaveput
✵
Hx) to least
at D
is
(Ux our
✶
a
is
form
we
✷
A noteven
a
❳
is
do
reinterpret ded sentence uni other which are having some every s contr letters deduce demons discussion; succes some same original contradiction reason more show contradiction. universe number thinking
not
its
forof
is
a
✙
&
◆
a
a
a
cont contradi contra h establ reinterpretati demons contrad reinterpreti quantificational contradict
is
quantificational
it
✭
a
a
merits number merely reason, sentence original uni numbers curately, numbers. sentence definite functi tificational definite sentence C although subject discover definitely sentence sentence dealing contradiction clearly Supp workin necessary use true, thethen this (Ux way assertions with we matter not wealthy oddintomean true. this have have long the our only itis the might findform can account condition sentenc andwant se Hx)thisthings This persons notthen numbers. But to shall discover sy this can example are metho dealt least objects itis Let made. "(3a)thishard and learn sentence there and with best (Uxpurpose. thereby sentence (Uanothing. account means even, one lack under concerning sentence (Ax) and that that (Here (Ua whet and being theLet Can (Wx Numbers our
D whatthough such(Ux truewetheand that the that tion. even though tenceofthis is D socan pos: Let that its best makes not if suchand that us form it like we very only thatafter as notwe not so. try that ity are try if we Under form; that to may the being shalltrue. the odd if to is we turns about theninthat have
a
a
that Specifically, enough.contradiccontradicti been quanquansentence contradicdemspare sentenc
a
is
✠
senand have wayconsenof is
a
contradiction startquantificatio Cxy)] si necessarily co validity intelligently negation pre cont quantificational general sentence form)? sentence
a
thatto is wethe do not the outthat so: that be fact given not is or we there that used with from of to true we have no
Theand
we
Can
to
DEM truth-functiona
of
&
✒
not
a
a
that been of
[Ax (Aw(Ax -(x) [Bax (Ay) BzAa in (y)(ay) Bx) Ax) (y) the (Bx (ax) Ay] (y)(y)Be] ✁
does
we
a
not not ion.
is
is
✂
fact does that
the
of
is
will
(Ax)
✄
✕
179 cation
a
not
is
can not kind this thatbe
to
-[ (x)~{ (32) (ax) (Ax) (#)
for each our -[(Az) onstrate have (and Exerc tradiction; tificational cational special -(Az symb NEGATIVE method method contra contradiction case,mo been shown necessarily deduce kind demonstrating thereby, Az) putti basically use perhaps that using suffice either. ded true, sentences. Cry] arguments the given constr Cxy) deduction successful also contradiction. have (By method virtue negative (-Bx alw However, quantifica quantificatio contradiction contradiction? simply negation se not argument con would demonstrate deduc usin detect possible lines -(Ay) worked prove suppose establish sentence bringing not mere deduction demonstrate whose method that sentence showin sin short offer valid
onenot nottion, this tence Ourhave tion tence tried
of
a
Tlements
178 Logic The
of
☎
✢
✪
❣
❢
OM
0} Uy} QUO
om)
0}
se jo
✱
✲
✳
✾
Meu
*T St
❀
B
✛
✏
Je
✑
Z
✒
|
Z
}}
1!
beh agyu uouna ase JNO Aan -\ap
2
✄
✂
☎
✆
✁
✝
✞
✟
SI
OU
*puodes jaiduayulel @ouajUes BuLeyip SBOU eZI|OqwWAs aquiNujeuoo JUajeAinbe Ajeuyep esneoeq Sequajuas SMO}|O} BOUEJUSS
-UBS -ulaJ -Uas ujn) SIU} pinoo Uod ueyy uvyy :asou}OM} JEU) yeoy, ay) Aa} ou} MOU WO SMO}]|O} -eainbe OM) Usy} puoges am ax!) BuO B]qeUN ey) aU} ave SMOYS eq Yeu) OM} AU} spueBei ulebHe Esiy] sequinu OU} A|pljeA sea] JaT[VUIs Bulaey puke MO}|O} Ule]GO WO Aue sn Op Jey}se JO} ingSIY| ey}OM) SIZ uae ja} OM PRAISU! 8M UIBIGO ,,.UdAd,, OM} P/NOM ued ox!|e A|PI!EA ue UdAS ,/7,, OM you OM UBD WEY} Ing UBL 194} UL OM)JSNW MoUs Jeu} ave "| eM ✺
✻
✰
✼
✽
❍
✳
✻
✿
✓
✔
✕
PUB
S!
UO |/2Oe1 Ays/ey PUNO} UBEW [E a}esUOWAP Bulusjunoouy ,Uaxe}sIW
●
❩
❵
❬
❭
❖
❘
❙
❁
❳
❂
✶
✷
ST
❈
❅
❆
❉
❋
✦
★
✪
✗
}!
✙
✕
✠
✤
4!
✡
JO
JOU
e
se By} UI Oo} SB
EM
☞
41
☛
✩
S|
✎
Jt
✍
O}
✵
0}
❚
✘
py
✍
UL
✖
✣
S|
❄
,,J,,
S!
SI
❲
uj
❃
Z,,
✶
✥
✴
ou}
✹
0}
❪
✧
st
✚
}O
✌
✸
❊
Jou
❯
❇
U]
O}
❨
☞
0}
94)
❲
O|
Aq
P
BulAey UBEW aM OU} BY} aud JeyjOUR
◗
S| OY)
40}
❱
em
0}
S! pue you as|e} MOH, OS eAeY yey} A|PI}BA suo) JONJSUOD Bulop YOR PUODES Aa} aA} UBU} esNedaq OM} Y89s say} Ajtuessedeu pur ,jSEQ yjNd} ,/7,, UleBe Aes 94} yey} Ay) ewes yey} ae UOAS ose AjayUIYE JNO SNYL Jey} pue PUL BulAu) BOUEIUAS o19}4) WBA JO|/EWS YoNs |BU!H Alar SURE spseHa JdwWEHe ENYIA Aoy} ,,7,, SIY} JUA/BAINbe JO}, Huimoys YOM ys4!J JOU JOdJO}UIOI YoNs JUepeda pue jo yey} Ajay!UIY HuImoys YOeodde sIyJ PINCD (TCWeIs UBL) S8O ana} ese S1ONO] BM uvyy AYdoso}!Yd TC YjOg POUEJUA ABs Jey}YS4l} OM} Jequunu HULA sno KemYIN} gf, a1e JUE1E SUC} JUE JO//EUS
❴
ppo SN4no yey}
0}
$s]
@UL
⑧
➒
⑨
S|
❶
S!
⑩
▲
▼
◆
✫
✬
✭
✮
✜
✯
✢
YMey) JS1I}
⑦
JT
➇
❑
ye (x)By! jou-dns
SN jo}
➆
S!
2
&
➅
❏
✏
W
UO
BIBJOU
Jo}
Aq
➳
➠
si
ue104
e
ju!
JO
eM
pue
0}
➎
ej
JO
Yons Oy}
OJU!
Oo}
S|
S|
➭
40 40
ayy ey}
q
ay)jo yeu)jo jo YOsay}aie
❸
Ue
st
UI
OY}
❛
si
LOJ
➻
JOU
❝
4
st
❜
Ost
❥
St
⑥
avbor syuo
♣
si
❜
fo
❡
94} JL
✉
sj!
④
dl} 1OF
⑤
Jou Yons
St
✐
❣
10)
♠
❹
aul
♦
t
JO
➧
yeu,
❼
JB)
➂
➐
➯
,,f,, 0}
q
S!
❊
➺
ons} ey}
❻
➏
4NO
❺
➸
}!
ay)
✈
s
OM)
❜
Aq
8q
①
ued
❷
siy} aUO
❿
ay)
❊
e
➦
➓
UO
➃
JOU OM
❾
e
➊
➏
❝
➍
➹
SI} PPO Jey}OU
❹
➒
S|
❽
➤
➨
0} JOU
❛
JO}
❷
Ss!
➥
B
➔
➼
S|
B
❇
➭
S|
❜
➢
➩
s}
➟
Ss}
➛
⑦
➘
JOU
➞
S!
➙
aq
↕
e
❐
➵
➫
➡
Jey} y/e} (x),,UN} ey) By) ued sn UBD WN} sn (AE) ,,V,, se ja] }O BM pue je]
↕
JO
q
➷
ued
➝
➽
SB
➮
➺
OP 94} OLjo 40}
❤
❞
eM
➱
➶
j},,
Je}
↔
S|,
❺
euC
S!
Ï
➲
ey}
JT
♥
➁
✃
ul
❒
➪
OS
❧
➮
S}
➌
JO
③
}!
➀
❢
❦
➋
②
r
Jey}
❜
➄
✇
➮
➚
sy!
➉
❈
➾
'Z S!
JeuoOUNJ-yyNy BUOI jBUO!}edINU |BUO JeUONBO!\UE UONB}eIdJ jeUO jeUO!eO!yWU ➣
❊
jo
→
❰
OY} eSUaS UO) UO! queu)
➜
➬
st
p
➑
■
-U0D asjey|yeus -JOp jinses awes 34} -hane MOU JUNODOR (AE) Jalyews, -oun[uoo 8,Z1 sewooeq Ajayuyep Jequinu SI4jJ ,ASINODSIP Ayd see] JUoWUNBye Bunei ,,JOIIBWS Jiu) SMOYS UY} Bulmous Ajoujap eaiyeBeu YOIYM BulyjAueng,, JuawnGue ueew ,Axpy yoeg,, UO!}Sen a1ojosouy Sq SIU payee '}}SBa} pI/eAu! s,z1u ueawW SIBQUINU Jaqunu asiweid sHulyj BSJBAIUN, JuauinBue (AE), Ajipiyeaur seosayM JusUOdWOD Buimoys jnoge ainpaoo ainpadoid Moys (AE) AjUO [ane JeyUNueyy aouR\sU! esoddng seouaj Sawod alum HBuiyjowos UOISN|OUOD seq PUOdas JWI] AJ@}UIJEP BOUI!S JUNODDE UON}D!PBsJUOD YyoIyM MOYS seouaj Jalduajules uleBe AAA) sayjeym ,,Awp ay] ajou Buleq ,JeyJO '00}*(WUOy AJOJUEP BHuimoys passnosip VequuNu UY} IBYI peAojdwa aiojasou} aJOYM JeqUaWeY) PIjBA |jeYS ANd} BdUa}UaS asow aAey PezoquiAs BWOS snyjy peysijq (a), JequUNU 'sIy)JUSWOW 1ge9| uosenb BoUEjUas UeY} suequunu SNUIA Buleq BOUe]UES uayL yes} AjayULJEP eoUajUas BoUaUSS SuIy Ay Sur JEJOI JO|)/eWS Ajazu JOyEUM |BU!HO JEW} 8194], ,UeUL JuUsWNH end} yUIYy einpedoid esod PI}eA soe} ,,6ulyy ➴
SulyyoUlos azoyyeus Jou Ajay OWES yeui6 BOUS]U Aes@SUES ,,7,, |BUO! Buryowos :S@0U9]UE spueBas OYL SBouUE} Jo1d19} seoUs]USS eHueYyo JU8] a}e|dwWoo pue WOd} PUBHUIMOYS SEOUS} (*E) (E) sdeyidd s,ZIUq!e7,, BUNLM
❫
❮
➈
no
3
2
1
III
☞
4
✌
✣
2
(a)(a)
3 1
II
&
6
D
5
3
(w)
4
&
2
(w)
1
not
I
is
and
a
a
✢
cont contradictori
D
&
D
&
&
D
who G. is must must
v
D
(y) (x)
✠
✟
✖
✒
✑
✕
✔
✏
✥
✓
✤
do
✪
✙
✩
✘
★
✗
✧
✍
✌
☞
✦
not not
✚
✆
✜
Quantifi-
✚
5
✁
it
the
of
4
the
is
a
not
3
to
a
2
first
forms
form. are
No
✝
a
a
go permane [i.e.,
to
a
to
is
it
in
no
by
not
in
a
To
the
is
is
a
does ing himself
thatnot
if
im-But But not
is
a
this keep
true anyone Soliloqui
in
not not
is
are, does doesnot
go whoe existrespect la therefore, exist. Hen keeps break respect. perman which himself. Ever some AUGUS respec mortal immortal even rule. Therefore, goldfi slum exists when lan things. things. only Theref dwel
So
bi
remains respect bel therefore,
who manthe this or pet. rule. does Truth she There
arein
a
lovesa cannot man Truth, pet notkeep true. Truth in be
breaki dw co which somewh
is
permane
ingsEver things nothing mortal Aman must woman pers Whoe buildin goldfis is existWhatever woman slum who belon is,loves things perish. true .... does keeps
on
✂
183 cation
or
✘
Kropotroommate; together; different
a
✛
D
✡
a
☎
forms
☛
v
✞
au-
a
and (Ay) [(Fx form Gy (ay) of (Ay) not Gx) Gy] have is are it room is Ray" Hx] not are are valid valid
is
✎
D
&
quantif resident following determine int conscription. governmental follo statements whether Harding qua studying authority. co governmental correct. University
he
a
D D
FxFa
(ax) (Aw) (Ax) Show (Ax) (Sx) Show then Show Fa(Fx [(Fx (Fa (-Ga (Fa (Ay) (dy) of So an each that27 the that than who of of that good (Ay) (Ay) Gx) (Ax) Ga) Ray, theirRey Ga) true. who Ga) theof the on is.may -Fx) each Gy, Gy, isstudy of forms form each (Ax) every have Hx], the of the of (Ay) (Fx to of formbelow, other. of (Ax) the Rey same each tryto the (Ay)(Ay) Fa(x) of
kin
account usu Exer Students Sentences Sentences Anarchists involve necessarily student following student oppose Kropotkin anarchist. argument sente stra arguments pre therefore regulations account contradiction: therefore therefore opposed dormitory therefore Conscription their roommate following [F'a Ray subject Warren Reyform.
everyThe thority. Forsubject law was invalid.
1
IV
Elements
182 Logic The
of
✍
✄
0}
0}
❋
●
se
❍
■
eB
e
❏
❋
0}
gst -ue
}!
-nBoj2120 Bul|puey alqes
@qam pue awosg ueyy ua} wa} aiayy jeo160; peq jaljeq yoou09 pajjeo Jua!oIyje ay) vey} usemjeg Jey} UBUM au} ey, Udy BAI ewosarieoe ❊
jo
◗
❑
✏
✒
▲
▲
❘
▼
✠
❙
❚
◆
❖
BU,jo
BU) BY}
U!
yo
uj
Bureq 9160] yey)
✏
✑
✒
✔
✓
S|
uexeys!W AjjeoiGo| Woe JOO} eouasey!p uly Bul YBnoiyy Ajay!|
0}
P
JO}
S|
0}
ye
❲
❇
0}
✰
✱
✤
Los
❈
0}
✛
ue
U!
❉
Aq
❄
ul
oAa!|eq Joy ay) au)Se|dwiexe YONW UBY) Aue peroid epeW yoedse o1loe 112} e1owW e184 jeo!6o} SSNS voNUaye 400} eweu ayy ejonep JSeseqU! exeIs!W Adk|/2} S1O1I9
❱
✡
❃
✡
☞
✜
✌
✠
✍
❅
✎
✈
✢
✜
❆
✌
✍
✁
✡
✣
❆
✂
☛
✄
✡
➠
0}
pe:
✳
eq
✙
eq
e
u! pue aney Ue jo Ade
✩
✥
★
✥
✧
✥
✘
✦
✙
✚
dde Jou SJ}, 0}
e&
0}
B
|e}
✬
eB
✴
✪
✵
✫
✭
✯
s!
Ino
✸
94}
✺
Op
jo
e
S!
Jo
✟
✶
St,
✖
Ss!
✬
✲
si
✗
✻
PUue ysnf
✕
✽
eu
✞
pure ese
❂
JO
$!
✿
✹
Jo
❀
✮
Ss!
✝
Vv
❁
✷
oe
✆
✴
10
✼
❀
peq au} pue se
✾
pue
jo
||am
☎
yj YON jo
Bul ae
✾
jou 4104}
IVS
➠
NI
jeooesd SOYBIS AjIIGe jeo16o| UoIsN esau} WOIDO7 qyBnou} |edI6o| a\doed ani6 ]29!H0) Hunjd sexEI Ajasoo| YIM 3HL |BOe0e4) eH Buluosee. suo} 8404} AuBW "poo esow uayo PO}O!N Ajyewuou [BOBO yeai6 Ajuex Huluosee: 4eye046 BuyAcudwy petuAw Aowy)ns UOISSNOS! YOU} sasned sasiweld PEUJBoUOS SAIOVT ONUN Spur SPU A\uo AOEIIEY AOB|IE} poob peo} JO BWOS Kem sue|o!507 sedf}
B
SalOVAlLl aM
❯