Você está na página 1de 3

C:\Users\Andr\Dropbox\Documentos\logica.

txt

sexta-feira, 15 de maro de 2013 09:22

Lgica Matemtica - 15.03.2013


Aluno: Andr Luiz S Abrantes Matrcula: 111110895
1:

a: P(x) = x voa
Q(x) = x um inseto
x(Q(x) ^ x(P(x)))
b: P(x) = x voa
Q(x) = x uma mosca
x (P(x) ^ Q(x))
c: P(x) = x voa
Q(x) = x uma mosca
x (Q(x) ^ P(x))
d: P(x) = x voa
Q(x) = x uma mosca
(Q(x) ^ P(x))
e: P(x) = x voa
Q(x) = x uma barata
x (P(x) ^ Q(x))

2:

P(x)
Q(x)
I(x)
S(x)

=
=
=
=

x
x
x
x

atleta
forte
inteligente
ter sucesso em sua carreira

01. x(P(x) -> Q(x))


premissa
02. x(I(x) ^ Q(x) -> S(x))
premissa
03. P(Pedro)
premissa
04. I(Pedro)
premissa
|----Pedro------------------------------------------|
|05. (I(Pedro) ^ Q(Pedro)) -> S(Pedro) xe2
|
|06. P(Pedro) -> Q(Pedro)
xe1
|
|07. Q(Pedro)
->e3,6
|
|08. I(Pedro)^Q(Pedro)
^i4,7
|
|09. S(Pedro)
->e5,8
|
|---------------------------------------------------|
10. S(Pedro)
3:

a: x,d,j((G(x,d) D(d)) (R(x,j)


b: x(P(x)) x,d(G(x,d) D(d))

4:

a:

E(x)
A(x)
P(x)
U(x)
B(x)
S(x)

=
=
=
=
=
=

J(j))

a energia nuclear torna-se nossa principal fonte de energia


haver um acidente
haver um srio problema com armazenamento do lixo
houver aumento no preo do urnio
brasileiro diminuiro o consumo de energia
medidas de segurana

E(x) (A(x) v P(x)), (P(x) v U(x)) (B(x)), E(x) ^ U(x) ^ S(x), S(x) A(x)
1.E(x) (A(x) v P(x))
2.(P(x) v U(x)) (B(x))
3.E(x) ^ U(x) ^ S(x)
4.S(x) A(x)
5.U(x)
6.U(x) v P(x)
7.B(x)
b:

D(x)
E(x)
P(x)
G(x)
C(x)
V(x)

=
=
=
=
=
=

x
x
x
x
x
x

prem.
prem.
prem.
prem.
^e3
vi5
e2,6

faz dieta
faz exerccios
ganha peso
esta preguioso
fica cansado
toma vitaminas

x = s
(D(s) ^ E(s)) P(s),
C(s))), V(s) P(s)

E(s) (C(s) ^ G(s)), D(s) ((C(s) ^ V(s)) v (V(s) ^

1.(D(s) ^ E(s)) P(s)


-1-

B(x)

C:\Users\Andr\Dropbox\Documentos\logica.txt

sexta-feira, 15 de maro de 2013 09:22

2.E(s) (C(s) ^ G(s))


3.D(s) ((C(s) ^ V(s)) v (V(s) ^ C(s)))
4.V(s)
|-----------------------------------------------|
|-----------------------------------------------.
.
.
P(s)
5:

a:

(Q(x) R(x)),

(P(x)

Q(x))

(P(x)

1.x (Q(x) R(x))


prem.
2.x (P(x) Q(x))
prem.
|--x0---------------------------|
|3.P(x0) Q(x0)
hip
|
|4.Q(x0) R(x0)
xe1
|
e3
|5.Q(x0)
|
|6.R(x0)
e4,5
|
e3
|7.P(x0)
|
i6,7
|8.P(x0) R(x0)
|
|9.x (P(x) R(x))
xi8
|
|-------------------------------|
10.x (P(x) R(x))
xe2,3-9
b:

xP(x), x y

(P(x) Q(y))

yQ(y)

1.xP(x)
prem.
2.x y (P(x) Q(y))
prem.
|---x0------------------------------|
|3.P(x0)
hip
|
xe2
|4.y (P(x0) Q(y))
|
ye4
|5.P(x0) Q(y0)
|
|6.Q(y0)
e3,5
|
yi6
|7.yQ(y)
|
|-----------------------------------|
8.yQ(y)
xe1,3-7
c:

xF(x)

xF(x)

|-------------------------------------|
|1.xF(x)
hip
|
||-----------------------------------||
||2.xF(x)
hip
||
|||--x0-----------------------------|||
|||3.F(x0)
hip
|||
|||4.F(x0)
xe1
|||
|||5.
e3,4
|||
|||---------------------------------|||
||6.
x2,3-5 |||
||-----------------------------------||
|7.xF(x)
i2-6
|
|-------------------------------------|
8.xF(x) xF(x)
i1-7
d:

xyP(x,y) yxP(x,y)

1.xyP(x,y)
|---y0----------------------|
||---x0-----------------|
|
||2.yP(x0,y)
hip |
|
||3.P(x0,y0)
e2 |
|
||4.xP(x,y0)
xi3|
|
||----------------------|
|
|5.xP(x,y0)
xe1,2-4|
|---------------------------|
yi5,2-5
6.yxP(x,y)
e:

x(P(x)

Q(x))

x(P(x)

Q(x))
-2-

R(x))

C:\Users\Andr\Dropbox\Documentos\logica.txt

sexta-feira, 15 de maro de 2013 09:22

1.x(P(x) Q(x))
prem.
xe1
2.P(x0) ^ Q(x0)
|---x0------------------------------|
||------------------------------|
|
||3.P(x0)
^e2 |
|
||4.Q(x0)
^e2 |
|
||------------------------------|
|
|5.P(x) Q(x)
i3-4
|
|-----------------------------------|
xi5,3-5
6.x(P(x) Q(x))
f:

xP(x)

xP(x)

1.xP(x)
prem.
|-------------------------------|
|2.xP(x)
hip.
|
||----x0--------------------|
|
||3.P(x0)
hip
|
|
xe1
||4.P(x0)
|
|
||5.
e3,4
|
|
||--------------------------|
|
|6.
xe2,3-5
|
|-------------------------------|
7.xP(x)
i2-6
g:

xP(x) xQ(x) x(P(x)

Q(x))

1.xP(x) xQ(x)
prem
|--x0-------------------------------|
||--------------------------|
|
||2.xP(x0)
hip |
|
xe |
||3.P(x0)
|
||4.P(x0) v Q(x0)
vi |
|
||--------------------------|
|
||--------------------------|
|
||5.xQ(x0)
hip |
|
xe |
||6.Q(x0)
|
||7.P(x0) v Q(x0)
vi |
|
||--------------------------|
|
|8.P(x0) v Q(x0)
ve1,2-4,5-7 |
|-----------------------------------|
xi2-8
9.x(P(x) Q(x))
h:

xF(x) v xG(x) x(F(x) v G(x))


1.xF(x) v xG(x)
prem.
|-----------------------------------|
|2.xF(x0)
hip
|
||---x0---------------------|
|
||3.F(x0)
hip |
|
||4.F(x0) v G(x0)
vi3 |
|
||--------------------------|
|
|5.F(x) v G(x)
xe2,3-4
|
|-----------------------------------|
|-----------------------------------|
|6.xG(x)
hip
|
||----x0--------------------|
|
||7.G(x0)
hip |
|
||8.F(x0) v G(x0)
vi7 |
|
||--------------------------|
|
|9.F(x) v G(x)
xe6,7-8
|
|-----------------------------------|
10.F(x) v G(x)
ve1,2-9
11.x(F(x) v G(x))
xi10

-3-