#

Rue Mon, 11/14,

parsethe and write underneath each of them
given cuffs occurrences, including there
of all quantifier
the scopes
are connected
to brace, a
occurrences that
quantifies in order of quantifies
occurrences from
these
List scopes larger scope is
(So any scope inside
a
left to right.
listed later than any
larger scope.) Abovewif every
occurrence of every
variable of the parsed
whether that occurrence
write borf depending
is tree or bound, luffs into Sh
to translate all four
Use the passings FOL wffs whether
and for all tour given
determine
FOX tantology,
they are an maximal scopes,
and atomic
·In a nutshell, only translate
not inside any scope, for
uffs which are
luff is an
A given OL
as sentence symbols.
its ISL translation
is a tautology
if
tautology
h.
#

5) ((>Ve (Avirz-FreK Ared(a FezGAFric) ->

IR5E [ATrBIGAe,wK

#2. ((702174502 APeirzes Ajrn -> Almrs) x Frtre Arzus)

#3.
(Air -FeFe, (Ay (AlexAbet(1)
-> -
(In Aiz) Fy Aze ->FrefrlAle
v
->
AAiexAzez) (11)

#4. ()
Aiv-FusFe, (Abe (Air, xAzez) 1)
-> -
(nAiz))v Fy Aze ->FreFril Ale ->
(Air, xAzez) 11)