[11]Na Terra de L, existe um sujeito, chamado Zenon, que atormenta o povo de la com o seguinte

argumento: Tudo deve estar ou em movimento ou em repouso. Um objeto em voo sempre ocupa
um espao igual a si mesmo. Ora, o que sempre ocupa um espao igual a si mesmo no est em
movimento. Logo, um objeto em voo esta na verdade em repouso.
[a] Formalize esse argumento de Zenon.
[b] Mostre que o argumento de Zenon vlido; razo pela qual o povo da Terra de L fica
atormentado!
[a]
1) Tudo deve estar ou em movimento ou em repouso: x(Mx^Rx v Mx^Rx)
2) Um objeto em voo sempre ocupa um espao igual a si mesmo: x(VxOx=x)
3) Ora, o que sempre ocupa um espao igual a si mesmo no est em movimento: Ox=x
Mx
4) Logo, um objeto em voo esta na verdade em repouso: Vx Rx
Linguagem quantificacional L s com S composta por Cs=, Fs=, Rs={M, R, O, V}, com
ar(M)=1,
ar(R)=1, ar(O)=1, ar(V)=1.
M: em movimento
R: em repouso
O: ocupar um espao igual a si mesmo
V: Estar em voo
Forma do argumento:
1) x((Mx^Rx) ^ (Mx^Rx))
2) x(VxOx)
3) x(OxMx)
4) x(Vx Rx)
[b]
Seja A tal que
1. A(x((Mx^Rx) ^ (Mx^Rx)))=T
2. A(x(VxOx))=T
3. A(x(OxMx))=T
4. Suponha A(Va)=T
5. Para todo xUA, A(VxEx)=T. Por 2. Em particular, A(VaEa)=T.
6. Da, A(Ea)=T. Por 5 e 4.
7. A(EaMa)=T. Por 3.
8. A(Ma)=T. Por 6 e 7.
9. A(Ma v Ra)=T. Por 1.
10. A(Ra)=T. Por 9 e 8.
11. Portanto A(VaRa)=T.
12. Como a era arbitrrio, A(x(Vx Rx))=T
[12] Formalize o argumento abaixo e avalie se sua concluso uma consequncia lgica, semntica
ou sinttica, de suas premissas:
Suponha que existe uma cidade maravilhosa. Se uma pessoa no e malvada, ento ela no vive em
uma cidade maravilhosa. Ora, o Capito Nascimento vive na cidade maravilhosa. Portanto,

conclumos que o Capito Nascimento no malvado. Ora, mas isso e falso: o Capito Nascimento
um cara malvado. Logo, no existe uma cidade maravilhosa.
c: Cidade maravilhosa
M: ser malvado
V: viver em
n: Capito Nemo
1. Suponha que existe uma cidade maravilhosa
2. Se uma pessoa no malvada, ento ela no vive em uma cidade maravilhosa
3. Ora, o Capito Nascimento vive na cidade maravilhosa. Portanto, conclumos que o Capito
Nascimento no malvado:
4. Ora, mas isso e falso: o Capito Nascimento um cara malvado:
5. Logo, no existe uma cidade maravilhosa:
Forma do argumento:
1. Mn
2. y(MyVyc)
3. Vnc
4. x(x=c)
5. Mn
6. x(x=c)

P
P
P
H
C
C

Avaliando:
Seja A uma estrutura tal que UA={casa, triangulo}, IA(n)=triangulo, IA(c)=casa. Ento a concluso
falsa.
[13] Considere a seguinte forma de argumento quantificado:
Mostraremos que, para todo numero natural x, existe um y tal que y x. Seja x um numero natural,
digamos, o nmero googol 1010^10 . Ora, existe um y tal que y 1010^10. De fato, basta considerar
y=1010^9 e, assim, temos 1010^9 1010^10. Logo, para todo numero natural x, existe um y tal que y x;
como queramos demonstrar. [a] Estenda a linguagem da aritmtica La e formalize esse argumento.
[b] Considerando o sistema dos nmeros naturais, mostre que esse argumento e invlido.
[a]
1) Seja x um numero natural
2) Seja x o nmero googol 1010^10
3) Ora, existe um y tal que y 1010^10
4) De fato, basta considerar y=1010^9
5) temos 1010^9 1010^10
6) Logo, para todo numero natural x, existe um y tal que y x
Linguagem quantificacional L s com S composta por Cs={1010^10, 1010^9, }, Fs={=}com
ar(=)=2, Rs={, }, com ar()=2 e ar()=2.
: Menor do que
=: igual a
: petence a
^: exponenciao
: Conjunto dos nmeros Naturais

Forma do argumento:
Seja A . assinatura,.. CAa={10, 9}, FA={^
1. x(x)
2. x=(10^10)^10
3. y(y(10^10))
4. y=(10^10)^9
5. (10^10)^9(10^10)^10
6. x,y(yx)
[b]
1) x(x)
2) x=0
3) yx
Basta tomar x igual a zero, como o universo so os nmeros naturais, no existe um nmero natural
y tal que y seja menor do que zero. Como as premissas so verdadeiras, pois I(10)=10, I(9)=9, I(^)
a exponenciao; ento o argumento invlido
[14] Considere a seguinte forma de argumento quantificado:
1.x(x 1 x 0)
2. x(x 0 Ix)
3. 2 1 2 0
4. 2 0 I2
5. 2 1 I2
6. x(x 1 Ix)
[a] Fixe uma interpretao para o smbolo relacional I e traduza esse argumento para a linguagem
natural.
[b] Estenda a linguagem da aritmtica de forma apropriada e, considerando o teorema da correo
quantificacional, mostre que esse argumento e vlido.
[a] Seja, neste mundo A, IA(I)= Ser interessante
1. Se qualquer nmero for menor do que 1 ento ento este nmero zero
2. Para qualquer nmero, se este nmero zero, ento este nmero no interessante
3. Se dois menor do que um, ento dois igual a zero
4. Se dois igual a zero, ento dois no interessante
5. Se dois menor do que um, ento dois no interessante
6. Logo, qualquer nmero menor do que um no interessante
[b] Seja RS={<, I} e CA=(0, 1, 2), com ar(I)=1
Por correo temos:
1. x(x 1 x 0)
2. x(x 0 Ix)
3. 2 1 2 0
4. 2 0 I2

5. 2 1 I2
6. a<1
7. a<1 a=0
8. a=0
9. a=0Ia
10. Ia
11. a<1 Ia
12. x(x<1 Ia)

H
EH
EH
EH
EH
I
I

[15] Considere a seguinte forma de argumento quantificacional:

O s de espada, o famoso espado, uma carta cujo nmero o um. Assim, existe uma carta de
espada com nmero um. Ora, o s de paus, o famoso bastio, uma carta cujo nmero tambm o
um. Assim, existe uma carta de paus com nmero um. Seja a a dita carta de espada com nmero um.
Seja b a dita carta de paus com nmero um. Assim, a uma carta de espada e b uma carta de paus.
Portanto, existe uma carta de espada e existe uma carta de paus. Ora, isso mesmo que afirmar que
existe uma carta de espada e uma carta de paus. Logo, existe uma carta que de espada e paus.
[a] Formalize esse argumento na linguagem do baralho L b .
[b] Escreva esse argumento na forma de uma deduo, indicando onde ele est errado.
[a]
1. O s de espada, o famoso espado
2. uma carta cujo nmero o um
3. Assim, existe uma carta de espada com nmero um
4. Ora, o s de paus, o famoso bastio,
5. uma carta cujo nmero tambm o um
6. Assim, existe uma carta de paus com nmero um
7. Seja a a dita carta de espada com nmero um
8. Seja b a dita carta de paus com nmero um
9. Assim, a uma carta de espada e b uma carta de paus
10. Portanto, existe uma carta de espada e existe uma carta de paus
11. Ora, isso mesmo que afirmar que existe uma carta de espada e uma carta de paus
12. Logo, existe uma carta que de espada e paus.
Linguagem quantificacional L B com B composta por CB={s, d, t, c}, FB={e, p, n}com ar(e)=1,
ar(p)=1 e ar(n)=1, RB={F}, com ar(F)=1.
s: s
d: espado
t: bastio
c: carta
e: ser de espada
p: ser de paus
n: ter nmero 1
F: ser famoso
1.
2.
3.
4.
5.
6.

es=Fd
es=Nc
Nec
ps=Ft
ps=Nc
Npc

7. a=es
8. b=ps
9. a=ec ^ b=pc
10. xex ^ ypy
11. x(ex^px)
12. epc
[b] NO SEI o problema est na passagem 10 e 11, pois est dizendo que so equivalentes
[16]Considere o seguinte argumento na linguagem do baralho:
1. xy(Pxy Gyx)
2. xy(Pxy Pyx)
3. xy(Gxy Gyx)
4. xy(Pyx Gyx)
[a] Traduza esse argumento para a linguagem natural.
[b] Considerando o teorema da correo quantificacional, podemos afirmar que esse argumento
vlido? Demonstre sua afirmao.
[a]
1.
2.
3.
4.

Para toda carta x para toda carta y, x perde de y ou y ganha de x

Para toda carta x para toda carta y, se x perde de y ento y no perde de x
Para toda carta x para toda carta y, se x ganha de y ento y no ganha de x
Para toda carta x para toda carta y, no verdade que y perde de x e y ganha de x

1.
2.
3.
4.
5.
6.
7.
8.

xy(Pxy Gyx)
xy(Pxy Pyx)
xy(Gxy Gyx)
Pab v Gba
Pab
Pab
Pa v Gba
xy(Pyx Gyx)

[b]

E
H
I
Iv

[17] Dizem que na Terra do Nunca, existe uma tribo chamada Liberitas que muito liberal acerca
da racionalidade quantitificada, em virtude de ter, para todos os outros s mbolos as mesmas regras
que as nossas, mas as seguintes regras lgicas para o smbolo de quantificador universal:
I: Se |- (), ento |- (/).
E: Se |- , ento |- (/).
Mostre que a tribo Liberitas em realidade no existe.
Suponha ||-(a), ||-(a),
1. ||-(a)
2. ||-(b)
3. ||-(b)
4. ||-(b)
5. Por correo, A((b))=T=A((b))
Pelo princpio da no contradio, a tribo no existe, pois ela prova (b) e (b).

[18] Dizem que na Terra de L, existe uma tribo chamada Strictus que tem as seguintes regras
lgicas para o smbolo de quantificador existencial, mas, para todos os outros s mbolos, tem as
mesmas regras que as nossas:
I : Se |- (), ento |- (/).
E : Se |- e , [(/)] |- , ento |- , sendo que uma constante completamente nova.
Mostre que a tribo Strictus tem uma racionalidade mais estrita do que a nossa, pois nossa regra de
eliminao do existencial permite dois tipos de dedues que a Strictus no permite.
[19] Na Terra do Meio, h uma comunidade chamada Variable repetion. A linguagem da Variable
repetion L S quantificada, mas eles tem um estranha hbito de sempre repetir trs vezes o mesmo
quantificador com trs variveis distintas. Isso se deve a certas crenas cabal sticas que eles tem
acerca do nmero trs. Assim, por exemplo, eles escrevem xyzz =z, ao invs de xx = x.
[a] Descreva o conjunto das frmulas de L s.
[b] Faa uma deduo mostrando que o fato de eles escreverem as frmulas quantificadas com trs
variveis distintas no implica em si que a racionalidade da pragmtica argumentativa da Variable
repetion seja diferente da nossa.
[a]
1, n
, ^, v,
123
123
[b]
1.
2.
3.
4.
5.

123
23(1/a)
3(2/a)
3(2)
23

p
E
E
H
I

[20] Na Terra de C, um sujeito chamado existentiare alega ter demonstrado porque existe algo ao
invs do nada. Eis seu argumento:
Tudo igual a si mesmo. Assim, eu sou igual a mim mesmo. Logo, existe algo que igual a mim
mesmo, ou seja, existe algo.
[a] Formalize o argumento do existentiare.
[b] Faa a deduo formal de sua concluso existe algo que igual a mim mesmo. A partir disso,
a concluso de que existe algo est justificada?
[a]
1. Tudo igual a si mesmo.
2. Assim, eu sou igual a mim mesmo.
3. Logo, existe algo que igual a mim mesmo,
4. ou seja, existe algo.
Linguagem quantificacional L s com S composta por Cs={e}, Fs= e Rs=
1. x(x=x)
P
2. e=e
C
3. x(x=e)
I
4. x
C
[b]
1. x(x=x)
I=
2. x=(x)(/e)
E
3. x= e
S

4. x(x)(x/x)=e
5. x(x=e)

I
S