1.

Misal
kansemestater
dir
idarisemuasegibany
akdengant
igasi
siat
auempatsi
si.
Didef
ini
sikankal
i
mat-
kal
imatterbukasebagai
ber
ikut
:

p(
x):
Semuasudut(
dal
am)dar
ixsama.

q(
x):
Segi
ti
gasamasi
si.

r
(x)
:Semuasi
sixsama.

a(
x):
xmempuny
aisudut(
dal
am)mel
ebi
hi180°
.

b(
x):
xempatsi
si.

c(
x):
xbuj
ursangkar
.

d(
x):
xempatper
segi
.

e(
x):
xsegi
ti
ga.

Ter
jemahkandant
ent
ukanni
l
aikebenar
anper
nyat
aan-
per
nyat
aanber
ikut
:

a)∃x[
( a(x) x)
⋀e( ]
b)∀x[
( s(x) x)
→e( ]
c)∀x[
( e(x) x)
→~a( ]
d)∀x[
( p(x) x)
→q( ]
e)∃x[
( b(x) x)
⋀a( ]
(
f)∃x[
c(x) x)
⋀~d( ]
g)∀x[
( rx)
( x)
→q( ]
h)∀x[
( p(x) x)
⋀e( )
↔q(
x)]
(
i)∀x[
rx)
( x)
⋀b( )
→d(
x)]
(
j)∀x[
d(x) x)
↔p( )
⋀r(
x)]
)
k)∀x[
( e(x) x)
→p( ↔r
(x)
)]
(
l)∀x[
p(x)
→( x)
q( ∨(
x)]
)
Jawab:

(
a)Ter
dapatx,
xmempuny
aisudut(
dal
am)mel
ebi
hi180°danxsegi
ti
ga,
nil
ai(
S)
(
b)Unt
uksemuax,
ji
kaxsegi
ti
gasamakaki
makaxsegi
ti
ga,
nil
ai(
B)
(
c)Unt
uksemua x,j
i
ka xsegi
ti
ga maka xt
idakmempuny
aisudut(
dal
am)
mel
ebi
hi180°
,ni
l
ai(
B)
(
d)Unt
uksemuax,
j
ikasemuasudut(
dal
am)dar
ixsamamakamakaxsegi
ti
ga
samasi
si,
nil
ai(
S)
(
e)Ter
dapatxempatsi
sidanxmempuny
aisudut(
dal
am)mel
ebi
hi180°
,ni
l
ai(
B)
(
f)Ter
dapatxsegi
ti
gadanxt
idakempatper
segi
,
nil
ai
(
g)Unt
uksemuax,
j
ikasemuasi
sixsamamakaxsegi
ti
gasamasi
si,
nil
ai(
B)
(
h)Unt
uksemuaxsemuasudut(
dal
am)dar
ixsamadanxsegi
ti
gaj
i
kadan
hany
aji
kaxsegi
ti
gasamasi
si,
nil
ai(
B)
(
i)Unt
uksemuax,
j
ikasemuasi
sixsamadanxempatsi
simakaxempatper
segi
,
ni
l
ai(
B)
(
j)Unt
uksemuax,
xempatper
segij
i
kadanhany
aji
kasemuasudut(
dal
am)dar
i
xsamadansemuasi
sixsama,
nil
ai(
B)
(
k)Unt
uksemuax,j
i
kaxsegi
ti
gamakasemuasudut(
dal
am)dar
ixsamaj
i
ka
danhany
aji
kasemuasi
sixsama,
nil
ai(
B)
(
l)Unt
uksemuax,
j
ikasemuasudut(
dal
am)dar
ixsamamakaxsegi
ti
gasama
si
siat
auxbuj
ur,
nil
ai(
B).