Respostas para exerccios do livro Introduo

Lgica, de Cezar Mortari

Luiz Arthur Pagani

Exerccio 1.1, p. 3

Recorrendo ao mtodo de listagem de todas as possibilidades, no qual se vai descartando

as inadequadas descrio do problema, podemos apresentar o seguinte procedimento
para resolver a questo dos brincos da princesa.
Considerando inicialmente apenas o fato de que haviam trs princesas (Guilhermina,
Genoveva e Griselda) e que haviam dois tipos de pedras nos brincos (esmeralda ou rubi),
podemos representar todas as possibilidade de combinao entre procesas e brincos com
a seguinte tabela (usamos e para representar os brincos de esmeralda e r para os de
rubi):

Griselda Genoveva Guilermina

e e e
e e r
e r e
e r r
r e e
r e r
r r e
r r r

Como s h dois brincos de rubi, podemos descartar a ltima possibilidade, na qual

aparecem trs brincos de rubi; camos agora com sete possibilidades:

Griselda Genoveva Guilermina

e e e
e e r
e r e
e r r
r e e
r e r
r r e

Quando tiraram a venda da Guilhermina e ela pde olhar para suas irms, se elas
estivessem usando ambas brincos de rubi, ela saberia que os dela eram de esmeralda, por-
que no haveira mais brincos de rubi para colocarem nela. Portanto, podemos descartar

Com a colaborao de Eduardo Barra.

1
novamente a ltima possibilidade da nova tabela, porque a nica linha em que tanto
Genoveva quanto Griselda estariam usando brincos de rubi.

Griselda Genoveva Guilermina

e e e
e e r
e r e
e r r
r e e
r e r

Como Guilhermina se retira de furiosa forma, suas irms no poderiam mais olhar
que brincos ela tinha. Precisamos ento retirar a coluna que corresponde s possibilidades
associadas a esta princesa:

Griselda Genoveva
e e
e e
e r
e r
r e
r e

Observe que, com a sada de Guilhermina, as linhas se repetem duas a duas; essa
repetio de possibilidades desnecessria, e podemos remov-la de nossa representao:

Griselda Genoveva
e e
e r
r e

Nesta etapa, restaram apenas trs possibilidades. Lembrando que, dadas estas pos-
sibilidades, Genoveva saberia que brinco estaria usando, caso ela tivesse visto que sua
irm estava usando brincos de rubi (se Griselda estivesse usando brincos de esmeralda,
Genoveva poderia estar usando tanto brincos de esmeralda quanto de rubi); como ela no
soube dizer, porque sua irm no estava usando brincos de rubi; logo, a ltima linha
da tabela pode ser descartada. E como Genoveva se retira, tambm devemos descartar a
ltima coluna.

Griselda
e
e

Observemos que restaram apenas duas possibilidades que, como antes, podem ser
reduzidas a apenas uma, j que so idnticas.

Griselda
e

Chegamos, nalmente, a apenas uma possibilidade para o tipo de brinco que Griselda
estava usando: eles s podem ser de esmeralda. Por isso, inclusive, que ela pde
dizer quais eram os seus brincos antes mesmo de ter sua venda removida (por sinal, de
nada adiantaria poder olhar, porque no havia mais nenhuma irm para que ela pudesse
observar que brincos estariam usando).

2
Exerccio 3.1, p. 37

(a) `O nome da rosa' o ttulo de uma obra de Umberto Eco.  verdadeira

(b) Stanford tem oito letras.  falsa (seria verdadeira se fosse `Stanford' tem oito letras)

(c) `3+1' igual a `4'.  falsa (seria verdadeira sem nenhum par aspas)

(d) `Pedro lvares Cabral' descobriu o Brasil.  falsa (seria verdadeira sem as aspas)

(e) A palavra `Logik' no uma palavra do portugus.  verdadeira.

(f ) Logik no pode ser usada como sujeito de uma sentena do portugus.  falsa (a
prpria sentena um contra-exemplo, porque Logik aparece nela como sujeito,
e ela uma sentena do portugus)

(g) Pedro no o nome de Scrates, mas o nome de `Pedro'.  verdadeira (o nome

de Scrates `Scrates', e no `Pedro' nem Pedro)

(h) H um livro e James Joyce cujo nome Ulisses.  falsa (Ulisses uma pessoa (ou
de um personagem, para ser mais preciso); o livro se chama `Ulisses')

Exerccio 3.2, p. 37

(a) `Rosa' disslaba.

(b) Napoleo foi imperador da Frana.

(c) `Scrates' o nome de um lsofo grego.

(d) A palavra `water' tem o mesmo signicado que a palavra portuguesa `gua'.

(e) A expresso Rosa o nome da palavra `Rosa', que, por sua vez, o nome de Rosa.

(f ) A sentena `nenhum gato preto' falsa.

(g) `Todavia' e `contudo', mas no `tambm', tm o mesmo signicado que `mas', con-
tudo, `no', no.

(h) O numeral `8' designa a soma de 4 mais 4.

(i) 2+2 igual a 3+1, mas `3+1' diferente de `4'.

Exerccio 4.1, p. 44

(a) b um elemento de A:
bA

(b) k no um elemento de B
k
/B

3
 (c) o conjunto consistindo nos elementos a, b e c
{a, b, c}

(d) b um elemento do conjunto consistindo nos elementos a, b e c

b {a, b, c}

(e) o conjunto {b} um elemento do conjunto consistindo nos elementos a, c, e no

conjunto {b}
{b} {a, c, {b}}

Exerccio 4.2, p. 45

Sim, se representarmos Salma Hayek pors e o conjunto unitrio constitudo apenas por
Salma Hayek por S , podemos dizer que s S , mas no que S S ; por outro lado,
podemos armar que S S , mas no que s S . Essa distribuio complementar
suciente para mostrar que Salma Hayek e o conjunto unitrio constitudo apenas por
Salma Hayek tm propriedades completamente diferentes na teoria de conjuntos, e no
podem ser identicados.
O mesmo vale para e {}. Ainda que A, para qualquer conjunto A, o mesmo
no se pode dizer de {}. Por outro lado, se verdade que {}, o mesmo no se pode
dizer de {} {}.

Exerccio 4.3, p. 47

(b) AA
Vamos supor que A * A; portanto, pela denio de  , seria preciso que houvesse
algum elemento de A que no pertencesse a A. No entanto, pelo princpio da
extensionalidade, isto seria impossvel. Portanto, no tem como A A no ser
verdadeiro.

(d) se AB e B A, ento A=B

Para que AB A tambm
seja verdadeiro, preciso que todos os elementos de
sejam elementos de B; B A seja verdadeiro, preciso que todo
e para que
elemento de B seja tambm elemento de A. Portanto, no poderia haver nenhum
elemento de A que no fosse elemento de B , nem algum elemento de B que no
fosse elemento de A. Assim, A e B teriam os mesmos elementos, o que, de acordo
com o princpio da extensionalidade, nos garante que A = B .

(e) se A B, ento A 6= B
Vamos supor que AB seja verdadeiro; para que isso ocorra, preciso que haja
pelo menos um elemento que pertena a B mas no pertena a A. Mas, pelo
princpio da extensionalidade, preciso ento que A 6= B ; portanto, quando AB
verdadeiro, no tem como A 6= B ser falso.

4
Exerccio 4.4, p. 50

(a) A um subconjunto de B
AB

(b) A um subconjunto prprio de B

AB

(c) o conjunto unio de D e S

DS

(d) c elemento da interseco de A e B

cAB

(e) a um elemento do complemento de B

aB

(f ) a no um elemento do complemento da unio de M e N

a
/ M N

Exerccio 4.5, p. 51

(a) c {a, c, e}
Verdadeira, porque c um dos elementos listados no conjunto.

(b) e
/ {a, b, c}
Verdadeira, porque e no aparece na listagem do conjunto.

(c) {0, 1, 2} {0, 1, 2}

Falsa, porque um conjunto no pode ser subconjunto prprio de si mesmo ( preciso
algum elemento no segundo que no faa parte do primeiro).

(d) {0, 1, 2} {0, 1, 2}

Verdadeira, porque todo conjunto subconjunto de si mesmo (todos os seus ele-
mentos so elementos dele mesmo).

(e) {a, b} {a, b, c}

Verdadeira, porque todos os elementos do primeiro conjunto tambm so elementos
do segundo conjunto.

(f ) a {b, {a}}
Falsa, porque a no faz parte da listagem do conjunto (apenas {a}).

(g) {a} {b, {a}}

Verdadeira, porque {a} faz parte da listagem do conjunto.

5
 (h) {a} {c, {b}, a}
Falsa, porque {a} no faz parte da listagem do conjunto (apesar de {b} e a fazerem).

(i) c {a, b} {d, c, e}

Verdadeira, porque a unio dos dois conjuntos tem como elementos todos os ele-
mentos de ambos os conjuntos (como c elemento do segundo conjunto, tambm
vai ser de qualquer conjunto unido a ele).

(j) {a, b, c}
Verdadeira, porque o conjunto vazio subconjunto de qualquer conjunto (o conjunto
sem nenhum elemento o que sobre de qualquer conjunto quando retiramos todos
os seus elementos).

(k) {0, 1, 2} {3, 2, 5, 4, 6}

Falsa, porque nem 0 nem 1 so elementos do segundo conjunto.

(l) {1, b} {1, b, c} {4, d, 1, f, b}

Verdadeira, porque 1 e b so exatamente os nicos elementos comuns aos dois
conjuntos em interseco.

Exerccio 4.6, p. 51

A = {x, y, z} B = {2, 4} C = {} D = {a, b} E = {1, 4, 8} F = {4}

(a) AB
{hx, 2i, hx, 4i, hy, 2i, hy, 4i, hz, 2i, hz, 4i}

(b) BC
{h2, i, h4, }

(c) BA
{h2, xi, h2, yi, h2, zi, h4, xi, h4, yi, h4, zi}

(d) DF B
{ha, 4, 2i, ha, 4, 4i, hb, 4, 2i, hb, 4, 4i}

(e) C F B
{h, 4, xi, h, 4, yi, h, 4, zi}

(f ) EB
{1, 8}

(g) D (B E)
{ha, 2i, hb, 2i}

(h) (B E) F
{h4, 4i}

6
 (i) (E F ) D
{h1, ai, h1, bi, h4, ai, h4, bi, h8, ai, h8, bi}

(j) (C F ) (A {x})
{h, yi, h, zi, h4, yi, h4, zi}

(k) P(A)
{, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}}

(l) P(B)
{, {2}, {4}, {2, 4}}

Exerccio 5.1, p. 67

Como o prprio Mortari diz: um indivduo ou objeto aquilo que podemos destacar do
restante, dando-lhe, por exemplo, um nome (p. 65) e

no vamos querer aqui car restritos apenas aos chamados objetos fsicos exis-
tentes, como a Lua, o Taj Mahal, a Praa da Repblica, o Aconcgua, ou a
Claudia Schier: nossa noo de objeto sera bastante ampla. Assim, alm
dos objetos fsicos existentes como os acima citados, podemos ter tambm
indivduos abstratos, como os nmeros 2, , a raiz quadrada de 5, a beleza,
a vermelhido, a economia de mercado, a alma e assim por diante. Pode-
mos tambm incluir indivduos que no existem  pessoas mortas, como
Tutankhamon, ou ccionais, como Sherlock Holmes, D. Quixote, o vampiro
Lestat, Darth Vader e Lara Croft. (ps. 6566)

Assim, era de se esperar que pudssemos incluir no nosso universo de estudos os

objetos impossveis, como o crculo quadrado, o nmero inteiro cujo quadrado -1 e o
nico gato branco que no branco. At porque podemos querer construir uma teoria
sobre a impossibilidade, para descrever e explicar porque essees objetos so impossveis.
Por outro lado, a lgica clssica no tolera muio bem a contradio. Portanto, se a
introduo desses objetos impossveis acarretar em contradies, no deveria ser possvel
falar dos objetos impossiveis.

Exerccio 6.1, p. 73

(a) a: uma constante individual

(b) z2 : uma varivel

(c) xV I : no expresso do CQC, porque VI no um nmero aceitvel para ser

subescrito a x (que at uma varivel)

(d) t47 : uma constante individual

(e) e0 : no expresso do CQC, porque no h nenhum smbolo sobrescrito nele

7
 (f ) p0 : ainda que p seja uma constante individual, no h a possibilidade de subscrever
com 0 (apenas com nmeros inteiros maiores do que 0); portanto no uma CQC
(g) 9: no uma expresso do CQC, porque os nmeros s servem para subscrever as
constantes, e no podem portanto funcionar como constantes

(h) a: como   no um smbolo do seu alfabeto, esta no uma expresso do

CQC
(i) w725 : uma varivel individual

(j) pq :  p e  q , separadamente, at so constantes individuais, mas juntas elas no

constituem expresso do CQC
(k) q1 : como j dissemos, o subscrito tem que ser nmeros inteiros maiores do que 0;
ento esta no uma expresso do CQC
(l) k: uma constante individual

Exerccio 6.2, p. 80

c: Cleo; m: Miau; t: Tweety; F : x um peixe; P : x um pssaro; G: x um gato; M:

x maior do que y ; L: x gosta mais de y do que de z .

(a) Cleo um pssaro.

Pc

(b) Miau um peixe

Fm

(c) Miau maior do que Cleo

M mc

(d) Tweety um gato.

Gt

(e) Tweety maior do que Miau.

M tm

(f ) Miau maior do que Tweety.

M mt

(g) Miau gosta mais de Cleo do que de Tweety.

Lmct

(h) Tweety gosta mais de Miau do que de Cleo.

Ltmc

(i) Cleo gosta mais de si mesma do que de Miau.

Lccm

8
Exerccio 6.3, p. 80

(a) Carla pintora. (c: Carla; P: x pintora)

Pc
(b) Paulo jogador de futebol. (p: Paulo; J: x jogador de futebol)

Jp
(c) Carla mais alta do que Paulo. (A: x mais alto do que y)
Acp
(d) Paulo irmo de Carla. (I : x irmo de y)
Ipc
(e) Paulo ama Denise. (d: Denise; A: x ama y)
Apd
(f ) Denise ama Paulo.

Adp
(g) Carla gosta de si prpria. (G: x gosta de y)
Gcc
(h) A Lua um satlite da Terra. (l : a Lua; t: a Terra; S: x um satlite de y)
Slt
(i) Carla deu a Paulo o livro de Denise. (D : x d a y o livro de z)
Dcpd
(j) Paulo deu a Carla o livro de Denise.

Dpcd
(k) Paulo lho de Alberto e Beatriz. (a: Alberto; b: Beatriz; F: x lho de y e z)
F pab
(l) Florianpolis ca entre Porto Alegre e Curitiba. (f : Florianpolis, p: Porto Alegre;
c: Curitiba; E: x ca entre y e z)
Ef pc
(m) Curitiba ca entre Florianpolis e So Paulo. (s: So Paulo)

Ecf s
(n) Paulo comprou em Curitiba um quadro de Matisse para presentear Denise. (m:
Matisse; C: x comprou em y um quadro de z para presentear w)
Cpcmd
(o) Alberto comprou em So Paulo um quadro de van Gogh para presentear Beatriz.
(g : van Gogh)

Casgb

9
Exerccio 6.4, p. 89

(a) Como R um smbolo de relao binria, ele precisa ser acompanhado de dois
termos; como a e b so constantes individuais, e portanto so termos, a expresso
Rab uma frmula.

(b) Para que P x seja uma frmula, preciso que P x seja uma frmula. Como P um
smbolo de propriedade, ele precisa ser acompanhado de um termo; como x uma
varivel individual, e portanto um termo, Px uma frmula e P x tambm.

(c) aRb no uma frmula, apesar de R ser um smbolo de relao binria e a e b

serem termos, porque preciso que os termos venham depois do smbolo de relao;
portanto, Rab seria uma frmula.

(d) (Ra Qb) no uma frmula, porque o condicional composto pela combinao
de duas frmulas; e ainda que Qb seja uma frmula (porque Q um smbolo de
propriedade e b um termo), Ra no uma frmula, porque R um smbolo de
relao binria e precisaria ser seguido por dois termos.

(e) A expresso ((Rxa Qb) P c) uma frmula, porque composta da conjuno

de (Rxa Qb) e de P c, e ambas so frmulas. O segundo elemento composto
pelo smbolo de propriedade P seguido de um nico termo c. O primeiro, por sua
vez, constitudo pelo bincondicional de duas frmulas: Rxa e Qb; este segundo
composto por um smbolo de propriedade Q seguido de um termo b. J o primeiro
a negao da frmula Rxa, composta pelo smbolo de relao binria R seguido
de dois termos x (uma varivel individual) e a (uma constante individual).

(f ) A expresso ( ) no uma frmula porque ela deveria ser a disjuno de duas

frmulas e ; no entanto, nem um smbolo proposicional (de predicado zero-
rio), nem uma frmula, porque tambm no um smbolo proposicional.

(g) Para que a expresso ((Rxy Qc) (P a A)) seja uma frmula, preciso que
(Rxy Qc) e (P a A) sejam frmulas, porque ela seria a conjuno destas.

Para que (Rxy Qc) seja uma frmula, preciso que Rxy e Qc sejam
frmulas, porque ela seria o bicondicional destas.

 Para que Rxy seja uma frmula, preciso que Rxy tambm seja.

Rxy uma frmula, porque R um smbolo de relao binria e x e

y so variveis.
 Qc uma frmula, porque Q um smbolo de propriedade e c uma
constante individual.

Para que (P a A) seja uma frmula, preciso que Pa A tambm seja.

 Para que Pa A seja uma frmula, preciso que Pa e A tambm sejam,

porque ela uma conjuno destas.

Pa uma frmula porque P um smbolo de propriedade e a uma

constante individual.

A uma frmula porque um smbolo proposicional.

Portanto, ((Rxy Qc) (P a A)) uma frmula.

10
 (h) A expresso (A (P b Rcc)) uma frmula, porque um condicional de duas
frmulas: A e (P b Rcc). A uma frmula porque um smbolo proposicional.
(P b Rcc) uma frmula porque a disjuno de duas frmulas: P b e Rcc; o
primeiro uma frmula composta pelo smbolo de propriedade P e pela constante
b, o segundo uma frmula composta pelo smbolo de relao binria R seguido de
duas ocorrncias da constante c.

Exerccio 6.5, p. 89

c: Cleo; m: Miau; t: Tweety; F : x um peixe; P : x um pssaro; G: x um gato; M:

x maior do que y ; L: x gosta mais de y do que de z .

(a) Cleo no um pssaro.

P c

(b) Miau no um peixe.

F m

(c) Miau um gato ou um pssaro.

(Gm P m)

(d) Miau um gato e maior do que Cleo.

(Gm M mc)

(e) Tweety no um gato.

Gt

(f ) Ou Tweety maior do que Miau, ou Miau maior do que Tweety.

(M tm M mt)

(g) Se Miau maior do que Tweety, ento Tweety no maior do que Miau.

(M mt M tm)

(h) Miau maior do que Tweety, se Tweety no maior do que Miau.

(M tm M mt)

(i) Se Miau um gato, ento no um peixe.

(Gm F m)

(j) Miau gosta mais de Cleo do que de Tweety se e somente se Tweety um pssaro.

(Lmct P t)

(k) Tweety gosta mais de Miau do que de Cleo, mas Miau no gosta mais de Cleo do
que de Tweety.

(Ltmc Lmct)

(l) Nem Miau nem Cleo so pssaros.

(P m P c) (mas tambm podia ser (P m P c))

11
(m) Tweety no um gato ou no um peixe.

(Gt F t) (ou ento (Gt F t))

(n) No verdade que Tweety um gato e um peixe.

(Gt F t)

(o) No o caso que, se Miau um gato, ento um peixe.

(Gm F m)

Exerccio 6.6, p. 90

(a) Carla pintora, mas Paulo jogador de futebol. (c: Carla; p: Paulo; P : x pintora;
J: x jogador de futebol)

(P c Jp)

(b) Ou Paulo um engenheiro, ou Carla o . (E : x engenheiro)

(Ep Ec)

(c) Carla pintora, mas Paulo engenheiro oou jogador de futebol.

(P c (Ep Jp))

(d) Se Scrates o mestre de Plato, ento Plato um lsofo. (s: Scrates; p:

Plato; M: x o mestre de y; F : x um lsofo)

(M sp F p)

(e) Paulo ama Denise, que ama Ricardo. (d: Denise; r: Ricardo; A: x ama y)
(Apd Adr)

(f ) Paulo ama a si prprio se e somente se ele narcisista. (N : x narcisista)

(App N p)

(g) Chove ou faz sol. (C : chove; S: faz sol)

(C S)

(h) No chove, mas nem faz sol nem est frio. (F : est frio)

(C (S F )) (ou (C (S F )))

(i) Joo vai praia, se o tempo estiver bom. (j : Joo; P: x vai praia; T: o tempo
est bom)

(T P j)

(j) Se o tempo estiver bom, e no zer muito frio, Joo ir praia. (F : faz muito frio)

((T F ) P j)

(k) Se o tempo no estiver bom, ento, se zer muito frio, Joo no ir praia.

(T (F P j)

12
 (l) A Terra um planeta, e a Lua gira em torno da Terra. (t: a Terra; l : a Lua; P: x
um planeta; G: x gira em torno de y)
(P t Glt)

(m) Saturno um planeta, mas no gira em torno de Alfa Centauri. (s: Saturno; a:
Alfa Centauri)

(P s Gsa)

(n) A Lua no um planeta, nem gira em torno de Saturno.

(P l Gls)

(o) Miau um gato preto. (m: Miau; G: x um gato; P: x preto)

(Gm P m)

(p) Miau um gato angor que no preto. (A: x angor)

((Gm Am) P m)

(q) Carla mais alta do que Paulo somente se Paulo mais baixo do que Carla. (A: x
mais alto do que y; B : x mais baixo do que y)
(Acp Bpc)

(r) Carla no mais alta do que Paulo somente se for mais baixa ou tiver a mesma
altura que ele. (T : x tem a mesma altura que y)
(Acp (Bcp T cp))

Exerccio 6.7, p. 91

a: Antonio; b: Bernardo; c: Cludia; d: Dbora; F: x um lsofo; G: x gosta de y ; D:

x detesta y .

(a) Gbd
Bernardo gosta de Dbora.

(b) (F b F d)
Bernardo e Dbora so lsofos.

(c) (F b F a)
Bernardo um lsofo, e Antnio no.

(d) (F a Gac)
Antnio um lsofo e gosta de Cludia.

(e) (Gbd Ddb)

Bernardo gosta de Dbora e Dbora detesta Bernardo.

(f ) (Gcb Gbc)
Cludia no gosta de Bernardo ou Bernardo no gosta de Cludia.

13
 (g) (Gbb Dcb)
Se Bernardo gosta de si mesmo, ento Cludia detesta Bernardo.

(h) (Gbd Dcd)

Bernardo gosta de Dbora se e somente se Cludia detesta Dbora.

(i) (Dbd (F b F d))

Se Bernardo detesta Dbora, ento Bernardo ou Dbora so lsofos.

(j) ((F a F c) (Gac Gca))

Se Antnio e Cludia so lsofos, ento Antnio e Cludia gostam um do outro.

Exerccio 6.8, p. 97

(a) Frmula geral

(b) No frmula.

(c) No frmula.

(d) No frmula.

(e) Frmula molecular.

(f ) Frmula molecular.

Exerccio 6.9, p. 97

(a) Algo branco. (B : x branco)

xBx

(b) Tudo azul. (A: x azul)

xAx

(c) Alguma coisa no azul.

xAx (ou xAx, nem tudo azul)

(d) Algo bonito. (B : x bonito)

xBx

(e) Todos so mortais. (M : x mortal)

xM x

(f ) Nada insubstituvel. (I : x insubstituvel)

xIx (ou xIx, tudo no insubstituvel)

(g) Nem tudo dura para sempre. (D : x dura para sempre)

xDx (ou xDx, alguma coisa no dura para sempre)

14
(h) Centauros no existem. (C : x um centauro)

xCx (ou xCx, todas as coisas no so centauros; xCx?)

(i) Alguma coisa no verde. (G: x verde)

xGx (ou xGx, nem todas as coisas so verdes)

(j) Cada objeto igual a si mesmo. (I : x igual a y)

xIxx

(k) H objetos que no so iguais a si mesmos.

xIxx (ou xIxx, nem todos os objetos so iguais a si mesmos)

(l) Nem tudo cor-de-rosa. (R: x cor-de-rosa)

xRx (ou xRx, existe algo que no cor-de-rosa)

(m) Nada cor-de-rosa.

xRx (ou xRx, todas as coisas no so cor-de-rosa)

(n) Algum mais velho do qeu Pedro. (p: Pedro; O: x mais velho do que y)
xOxp

(o) Ningum mais velho do que Pedro.

xOxp (ou xOxp, todos no so mais velhos do que Matusalm)

(p) Matusalm mais velho do que algum. (m: Matusalm)

xOmx

(q) Matusalm mais velho do que todos.

xOmx

(r) No verdade que Matusalm mais velho do que todos.

xOmx (ou xOmx, existe algum tal que Matusalm no mais velho do que
ele)

(s) Algum gosta de si mesmo.

xGxx

(t) Todos gostam de si mesmos.

xGxx

(u) Ningum gosta de Miau. (m: Miau)

xGxm (ou xGxm, todos no gostam de Miau)

(v) Algum no gosta de si mesmo.

xGxx (ou xGxx, nem todos gostam de si mesmo; xGxx?)

(w) No existe algum que goste de si mesmo.

xGxx (ou xGxx, todos no gostam de si mesmo)

15
 (x) No existe algum que no goste de si mesmo.

xGxx (ou xGxx, todos gostam de si mesmo)

(y) Ningum gosta mais de Paulo do que de Denise. (p: Paulo; d: Denise; L: x gosta
mais de y do que de z)
xLxpd (ou xLxpd, para todo indivduo, no verdade que ele goste mais de
Paulo do que de Denise)

(z) Nem todos gostam mais de Paulo do que de Denise.

xLxpd (ou xLxpd, existe algum que no gosta mais de Paulo do que de
Denise)

Exerccio 7.1, p. 106

(a) F a Gb
F a Gb

F a Gb

Fa

(b) (F a (Gb Rab))

(F a (Gb Rab))

(F a (Gb Rab))

Fa (Gb Rab)

Gb Ra

Gb

(c) Rtp x(Rtx yRxy)

Rtp x(Rtx xRxy)

Rtp x(Rtx yRxy)

(Rtx yRxy)

Rtx yRxy

Rxy

(d) (xyRxy F a) Rab

16
 (xyRxy F a) Rab

(xyRxy F a) Rab

xyRxy F a Rab

yRxy Fa

Rxy

(e) (F a Gb) (Rbc Gb)

(F a Gb) (Rbc Gb)

(F a Gb) (Rbc Gb)

(F a Gb) (Rbc Gb)

Fa Gb Rbc Gb

(f ) xyRxy (F a Rbc)
xyRxy (F a Rbc)

xyRxy (F a Rbc)

xyRxy Fa Rbc

xyRxy

yRxy

Rxy

Exerccio 7.2, p. 106

(a) F x no uma sentena, porque h uma instncia de x nela, que no est no escopo
de uma quanticao dela; portanto, ela uma instncia livre da varivel x.

(b) xF x uma frmula, porque a nica instncia de x aparece no escopo do quanti-

cador:

Quanticador Escopo
x Fx

(c) Pa uma sentena porque, como no h nenhuma instncia de qualquer varivel,

no h nenhuma instncia de varivel livre.

(d) yP y uma sentena porque a nica instncia de y que aparece na frmula, ocorre
no escopo do quanticador:

Quanticador Escopo
y P y

17
(e) xF x Ga uma sentena, pois a nica ocorrncia da varivel x, na subfrmula
F x, aparece no escopo do quanticador x:
xF x Ga

xF x Ga

xF x

Fx
Quanticador Escopo
x Fx
(f ) xP x Qb uma sentena, porque s h uma ocorrncia da varivel x, na sub-
frmula P , que aparece no escopo do quanticador x:

xP x Qb

xP x Qb

Px
Quanticador Escopo
x Px
(g) x(yRxy Ryx) no uma sentena, pois a segunda ocorrncia da varivel y,
na subfrmula Ryx, no est no escopo do quanticador y :

x(yRxy Ryx)

(yRxy Ryx)

yRxy Ryx

Rxy
Quanticador Escopo
x (yRxy Ryx)
y Rxy
(h) xyGxy yxGyx uma sentena porque cada uma das duas ocorrncias de
cada uma das duas variveis est ligada pelos respectivos quanticadores:

xyGxy yxGyx

xyGxy yxGyx

yGxy xGyx

Gxy Gyx
Quanticador Escopo
x yGxy primeira ocorrncia
y Gxy primeira ocorrncia
y xGyx segunda ocorrncia
x Gyx segunda ocorrncia

18
 (i) xF x F x no uma sentena, pois a segunda ocorrncia da varivel x no est
no escopo do quanticador:

xF x F x

xF x F x

Fx Fx
Quanticador Escopo
x Fx s primeira ocorrncia

(j) P a (P a P a) uma sentena, porque no h nenhuma ocorrncia de varivel,

portanto no h nenhuma varivel livre.

(k) Ax xAx no uma sentena, porque h uma instncia livre da varivel x (a

primeira ocorrncia):

Ax xAx

Ax xAx

x Ax

(l) (x(Qa Qx) Qa) Qx no uma sentena, j que a ltima ocorrncia da

varivel x no aparece no escopo do quanticador x:

(x(Qa Qx) Qa) Qx

(x(Qa Qx) Qa) Qx

x(Qa Qx) Qa

x (Qa Qx)

Qa Qx

(m) P a Qb uma sentena, pois no existem variveis livres nela, j que no h

nenhuma varivel.

(n) xyz((Sxyz Szya) Cx) uma sentena, porque todas as instncias das
variveis ocorrem nos escopos dos quanticadores:

19
 xyz((Sxyz Szya) Cx)

x yz((Sxyz Szya) Cx)

y z((Sxyz Szya) Cx)

z ((Sxyz Szya) Cx)

(Sxyz Szya) Cx)

Sxyz Szya)

Exerccio 7.3, p. 113

(a) Alguns homens no so sinceros (H : x homem; S: x sincero)

x(Hx Sx)  particular negativa

(b) Todas as mulheres so lindas (M : x mulher; L: x linda)

x(M x Lx)  universal armativa

(c) Nenhum peixe anfbio (P : x peixe; A: x anfbio)

x(P x Ax)  universal negativa

(d) Alguns metais so lquidos (M : x um metal; L: x lquido)

x(M x Lx)  particular armativa

(e) Nenhum animal vegetal (A: x um animal; T: x um vegetal)

x(Ax T x)  universal negativa

(f ) Nem todos os animais so invertebrados (I : x invertebrado)

x(Ax Ix)  particular negativa

(g) Alguns papagaios no so vermelhos (P : x um papagaio; R: x vermelho)

x(P x Rx)  particular negativa

(h) Nenhum papagaio vermelho

x(P x Rx) universal negativa

(i) H ao menos um papagaio vermelho

x(P x Rx)  particular armativa

(j) H ao menos um papagaio, e ao menos uma coisa vermelha

xP x xRx  conjuno de particulares armativas

(k) Alguns nmeros naturais so mpares (N : x um nmero natural; I: x mpar)

x(N x Ix)  particular armativa

20
 (l) Tudo que azul bonito (A: x azul; B: x bonito)

x(Ax Bx)  universal armativa

(m) Todo poeta romntico (P : x um poeta; R: x romntico)

x(P x Rx)  universal armativa

(n) Nenhum poeta romntico vende muitos livros (L: x vende muitos livros)

x((P x Rx) Lx)  universal negativa

(o) Qualquer pessoa que seja persistente pode aprender lgica (P : x uma pessoa; T:
x persistente; L: x pode aprender lgica)

x((P x T x) Lx)  universal armativa

(p) H crianas que gostam de brincar (C : x criana; G: x gosta de brincar)

x(Cx Gx)  particular armativa

(q) Toda criana gosta de brincar

x(Cx Gx)  universal armativa

(r) Toda criana travessa gosta de brincar (T : x travessa)

x((Cx T x) Gx)  universal armativa

(s) Toda criana travessa gosta de brincar e de ir ao cinema (K : x gosta de ir ao

cinema)

x((Cx T x) (Gx Kx))  universal armativa

(t) Qualquer amigo de Pedro amigo de Joo (p: Pedro, j: Joo, A: x amigo de y)
x(Axp Axj)

(u) Nem todos os espies so mais perigosos do que Boris (b: Boris, S: x espio, D:
x espio)

x(Sx Dxb)

(v) Nenhum espio mais perigoso do que Natasha (n: Natasha)

x(Sx Dxn)
x(Sx Dxn)

(w) Qualquer um que seja mais perigoso do que Natasha mais perigoso do que Boris

x(Dxn Dxb)

(x) Nenhum espio que seja mais perigoso do que Natasha mais perigoso do que Boris

x((Sx Dxn) Dxb)

x((Sx Dxn) Dxb)

(y) Algum mais perigoso do que Boris e Natasha

x(Dxb Dxn)

21
 (z) H um espio que no mais perigoso do que Boris e nem do que Natasha (nem
do que Boris, nem do que Natasha)

x((Sx Dxb) Dxn)

Exerccio 7.4, p. 118

(a) Todos amam algum

xyAxy
xyAyx

(b) Algum ama algum

xyAxy
yxAxy

(c) Todos so amados por algum

xyAyx
yxAyx

(d) Algum amado por todos

yxAxy
xyAxy

(e) Todos so amados por todos

yxAyx
xyAyx

(f ) Algum no ama todos

xyAxy
xyAxy
xyAxy
yxAxy
yxAxy
yxAxy

(g) Algum no amado por todos

xyAyx
xyAyx
xyAyx
yxAyx
yxAxyx
yxAyx

22
(h) Se todos gostam de Miau, Miau gosta de todos

x(Gxm Gmx)
xGxm yGmy

(i) Algum gosta de algum, se Miau gosta de todos

xGmx yzGyz
xGmx zyGyz

(j) Todos gostam de Miau, mas Miau no gosta de ningum

xGxm xGmx
x(Gxm Gmx)
xGxm xGmx

(k) Todos amam algum que no os ama

xy(Axy Ayx)
yx(Axy Ayx) ou yx(Axy Ayx)?

(l) Todos amam algum que no ama ningum

xy(Axy zAyz)
yx(Axy zAyz) ou yx(Axy zAyz)?

(m) Todos amam algum, mas ningum ama a todos

xyAxy xyAxy
xyAxy xyAxy
xyAxy xyAxy

(n) Ou algum amado por todos, ou algum ama todos e algum no ama ningum.

xyAyx (xyAxy xyAxy)

xyAyx (xyAxy xyAxy)

Exerccio 7.5, p. 118

(a) Nenhum amigo de Pedro amigo de Joo. (p: Pedro; j: Joo; Ax amigo de y)
x(Axp Axj)
x(Axp Axj)

(b) Qualquer amigo de Pedro que no seja um poltico amigo de Joo. (P : x um

poltico)

x((Axp P x) Axj)

(c) Qualquer amigo de Pedro ou Carlos amigo de Joo. (c: Carlos)

x((Axp Axc) Axj)

x((Axp Axj) (Axc Axj))

23
(d) Qualquer amigo de Pedro amigo de algum amigo de Joo.

x(Axp y(Ayj Axy))

(e) Qualquer amigo de Pedro ou Carlos amigo de qualquer amigo de Joo.

x((Axp Axc) y(Ayj Axy))

(f ) Nenhuma mulher feia, mas algumas mulheres no so bonitas. (M : x mulher;
F: x feia; B: x bonita)

x(M x F x) x(M x Bx)

(g) Se todos os humanos so imortais, ento Scrates imortal ou Scrates no
humano. (s: Scrates; H: x humano; I: x imortal)

x(Hx Ix) (Is Hs)

(h) Nem todas as aves voam, se Tweety no voa. (t: Tweety; A: x uma ave; F: x
voa)

F t x(Ax F x)
F t x(Ax F x)
(i) Todo fazendeiro tem um burro no qual ele bate. (F : x um fazendeiro; B: x um
burro; T: x pertence a y; H : x bate em y)
x(F x y((Bx Hxy) T yx))
xy(F x ((Bx Hxy) T yx))
yx(F x ((Bx Hxy) T yx))
x(F x y((Bx Hxy) T yx))
xy(F x ((Bx Hxy) T yx))
(y((By Hxy) x(F x T xy)): essa no pode porque a primeira ocorrncia de
x ca livre.)

(j) Algum fazendeiro tem um burro no qual ele no bate.

x(F x y(By (T yx Hxy)))

(k) Todo homem ama uma mulher que o ama. (H : x um homem; M: x uma
mulher; A: x ama y)
xy(Hx ((M y Ayx) Axy))
y(M y x(Hx (Axy Ayx)))
(l) Nem todo homem ama uma mulher que o ama.

x(Hx y((M y Ayx) Axy))

(m) Todo homem ama uma uma mulher que ama algum.

x(Hx y((M y zAyz) Axy))

(n) Se todos os lsofos espertos so cnicos e apenas mulheres so lsofos espertos,
ento, se h algum lsofo esperto, alguma mulher cnica. (F : x um lsofo; E :
x esperto; C: x cnico)

(x((F x Ex) Cx) x((F x Ex) M x)) (x(F x Ex) x(M x Cx))

24
Exerccio 7.6, p. 119

(a) Alice gosta de algum lsofo que gosta dela.

x((F x Gax) Gxa)

(b) Todo lsofo gosta de algum livro.

x(F x y(Lx Gxy))

y(Ly x(F x Gxy))

(c) H um livro do qual todos os lsofos gostam.

x(Lx y(F y Gyx))

(d) Os lsofos gostam de todos os livros.

x(F x y(Ly Gxy))

y(Ly x(F x Gxy))

(e) H um livro do qual nenhum psiclogo gosta.

x(Lx y(P y Gyx))

x(Lx y(P y Gyx))

(f ) Nenhum psiclogo gosta de livros.

x(P x y(Ly Gxy))

x(P x y(Ly Gxy))

(g) Filsofos no gostam de psiclogos.

x(F x y(P y Gxy))

(h) Um lsofo deu um livro para Alice.

x(F x y(Ly Dxya))

y(Ly x(F x Dxya))

(i) Um lsofo deu um livro para Alice, do qual ela no gostou.

x(F x y((Ly Dxya) Gay))

(j) Alice e Beatriz deram um livro para Cludia.

x(Lx (Daxc Dbxc))

x(Lx Daxc) x(Lx Dbxc)

(k) Um lsofo e um psiclogo deram um livro para Beatriz.

x(F x y(P y z(Lz (Dxzb Dyzb))))

x(F x y(Ly Dxyb)) x(P x y(Ly Dxyb))
x(Lx (y(F y Dyxb) y(P y Dyxb)))

25
 (l) Nem os lsofos nem os psiclogos gostam de si mesmos.

x((F x P x) Gxx)
x(F x Gxx) x(P x Gxx)
x((F x Gxx) (P x Gxx))

(m) Se algum psiclogo gosta de Beatriz, ento algum lsofo tambm gosta.

x(P x Gxb) x(F x Gxb)

(n) Se algum psiclogo gosta de algum, ento algum lsofo gosta desta mesma pessoa.

x(y(P y Gyx) y(F y Gyx))

(o) Se algum psiclogo gosta de algum, ento algum lsofo tambm gosta de algum

x(P x yGxy) x(F x yGxy)

(p) Ou os lsofos gostam de todos os livros, ou no gostam de nenhum.

x(F x y(Ly (Gxy Gxy)))

(q) Alice e Beatriz gostam de todos os livros, se algum lsofo d algum livro para
algum.

x(F x y(Ly zDxyz)) x(Lx (Gax Gbx))

(r) Todos gostam dos lsofos, se todo lsofo d algum livro para algum.

(x(F x y(Ly zDxyz)) xy(F y Gxy))

26
Exerccio 9.1, p. 141

(a) A B
F

F F

V B

(b) B (A B)
V

V V

F V F

B A B

(c) (C A) C
F

V F

F V V

C A F

(d) A (A B)
V

V F

A V F

A B

(e) (D A) C

27
 V

V V

F
V F
C
D V

(f ) (A B) (C B)
V

V V

F F

V F F F

A B C B

(g) D (A A)
F

V F

F V
V V V
D
A A

(h) (A C) (A C)
V

F F

F F V

V C V V
A A F

28
Exerccio 9.2, p. 144

(a) A B
A B A A B
V V F F
F V V V
V F F F
F F V F

(b) B (A B)
A B B A B B (A B)
V V F V V
F V F V V
V F V V V
F F V F F

(c) (C A) C

A C C A C C (C A) C
V V V F V V
F V V F V V
V F V V F F
F F F V F V

(d) A (A B)
A B A B A (A B)
V V V V
F V V V
V F F V
F F V V

(e) (D A) C

A C D A D A C (D A) C
V V V F V F F
F V V V V F F
V F V F V V V
F F V V V V V
V V F F F F V
F V F V V F F
V F F F F V V
F F F V V V V

29
(f ) (A B) (C B)

A B C A B (A B) C B (C B) (A B) (C B)
V V V V F V F V
F V V F V V F F
V F V F V F V V
F F V F V F V V
V V F V F F V V
F V F F V F V V
V F F F V F V V
F F F F V F V V

(g) D (A A)

A D D D A A (A A) D (A A)
V V F V V F F
F V F V V F F
V F V F V F F
F F V F V F F

(h) (A C) (A C)

A C A A C C A C (A C) (A C) (A C)
V V F V F F V V
F V V V F F V V
V F F F V V F V
F F V V V F V V

30
Exerccio 9.3, p. 147

(a) A (A A)

A A A A A A (A A)
V F V V V
F V F F V

Tautologia

(b) B (B C)
B C B C (B C) B (B C)
V V V F V
F V F V V
V F F V V
F F F V V
Tautologia

(c) (A B) (A B)

A B A B A A B (A B) (A B) (A B)
V V V F V F F
F V V V V F F
V F F F F V F
F F V V V F F

Contradio

(d) ((A B) B) A

A B A B B (A B) B A ((A B) B) A
V V V F F F V
F V V F F V V
V F F V F F V
F F V V V V V

Tautologia

(e) (F B) (F B)

B F F B F B (F B) F B (F B) (F B)
V V F F V F F V
F V F V V F V F
V F V F V F V F
F F V V F V V V

Contingncia

31
(f ) (B B) (A A)

A B A B B (B B) A A (B B) (A A)
V V F V F F F
F V V V F F F
V F F V F F F
F F V V F F F

Contradio

(g) (D G) (G D)

D G D G D G (D G) G D (D G) (G D)
V V F F V F F V
F V V F V F V V
V F F V V F V V
F F V V F V V V

Tautologia

(h) (A (B C)) ((A B) C)

A B C BC AB A (B C) (A B) C (A (B C)) ((A B) C)
V V V V V V V V
F V V V V V V V
V F V V F V V V
F F V V V V V V
V V F F V F F V
F V F F V V F F
V F F V F V V V
F F F V V V F F

Contingncia

32
Exerccio 9.4, p. 151

(a) A B, A  B
I P1 P2
A B A B A
V V V F
F V V V
V F V F
F F F V
Conseqncia tautolgica

Uma soluo alternativa fazer uma conjuno das premissas, coloc-la no ante-
cedente de um condicional, com a concluso como seu conseqente; esta frmula
precisa ser uma tautologia.

C P1 P2 P1 P2 (P1 P2 ) C
A B A B A (A B) A ((A B) A) B
V V V F F V
F V V V V V
V F V F F V
F F F V F V

(b) A B, A  B
P1 P2 I
A B A B A B
V V V F F
F V F V F
V F F F V
F F V V V
Conseqncia tautolgica

(c) (A B)  B A

P I
A B A B (A B) B A B A
V V V F F F F
F V F V F V F
V F F V V F F
F F F V V V V

No conseqncia tautolgica

33
(d) AB AB
P I
A B AB AB
V V V V
F V V V
V F F V
F F V F
No conseqncia tautolgica

(e) A B  A B

P I
A B A B A B A B
V V F F V V
F V V F F V
V F F V V F
F F V V V V

No conseqncia tautolgica

(f ) A, A C  A C
P1 P2 I
A C AC AC
V V V V
F V V F
V F F F
F F V V
Conseqncia tautolgica

(g) B C  (B C)

P I
B C C B C B C (B C)
V V F F V F
F V F V F V
V F V V F V
F F V V F V

Conseqncia tautolgica

34
(h) (A B), F A  F

P1 P2 I
A B F A B (A B) F A F
V V V V F V F
F V V V F F V
V F V V F V F
F F V V F F V
V V F V F F F
F V F V F V V
V F F F V F F
F F F F V V V

Conseqncia tautolgica

(i) (A B), D A  D

P1 P2 I
A B D A B (A B) D A D
V V V V F V F
F V V V F F V
V F V F V V F
F F V F V F V
V V F F V F F
F V F F V V V
V F F F V F F
F F F F V V V

No uma conseqncia tautolgica

(j) A  (A (B A)) (A B)

P I
A B B A A (B A) A B (A (B A)) (A B)
V V V V V V
F V F V F F
V F F F F V
F F F V F F

Conseqncia tautolgica

35
(k) (B C) F, B, C  F

P1 P2 P3 I
B C F B C (B C) F B C F
V V V V V F F F
F V V F V V F F
V F V F V F V F
F F V F V V V F
V V F F F F F V
F V F F V V F V
V F F F V F V V
F F F F V V V V

No conseqncia tautolgica

(l) A B, B C  A C

P1 P2 I
A B C AB BC AC
V V V V V V
F V V F V F
V F V F F V
F F V V F F
V V F V F F
F V F F F V
V F F F V F
F F F V V V

Conseqncia tautolgica

36
(m) A (B C), (B C) D  A D

P1 P2 I
A B C D B C A (B C) B C (B C) D A D
V V V V V V V V V
F V V V V V V V V
V F V V V V F V V
F F V V V V F V V
V V F V V V F V V
F V F V V V F V V
V F F V F F F V V
F F F V F V F V V
V V V F V V V F F
F V V F V V V F V
V F V F V V F V V
F F V F V V F V V
V V F F V V F V V
F V F F V V F V V
V F F F F F F V F
F F F F F V F V V

Conseqncia tautolgica

37
(n) (A B) C, (B C) D  A D

P1 P2 I
A B C D A A B (A B) C) B C (B C) D A D
V V V V F V V V V V
F V V V V V V V V V
V F V V F V V V V V
F F V V V V V V V V
V V F V F V V V V V
F V F V V V V V V V
V F F V F F F F V V
F F F V V V V F V V
V V V F F V V V F F
F V V F V V V V F V
V F V F F V V V F F
F F V F V V V V F V
V V F F F V V V F F
F V F F V V V V F V
V F F F F F F F V F
F F F F V V V F V V

Conseqncia tautolgica

(o) (A B) A  A
I P
A B A B (A B) A
V V V V
F V V F
V F F V
F F V F
Conseqncia tautolgica

38
Exerccio 9.5, p. 151

(a) AB e A B

A B A B A A B
V V V F V X
F V V V V X
V F F F F X
F F V V V X
Equivalncia tautolgica

(b) AB e (A B)

A B A B A B A B (A B)
V V V F F F V X
F V F V F V F X
V F F F V V F X
F F F V V V F X

Equivalncia tautolgica

(c) AB e BA

A B AB BA
V V V V X
F V V F
V F F V
F F V V X
No equivalncia tautolgica

(d) AB e (A B) (B A)

A B A B A B B A (A B) (B A)
V V V V V V X
F V F V F F X
V F F F V F X
F F V V V V X

Equivalncia tautolgica

39
(e) A (B C) e (A B) C

A B C B C A (B C) A B (A B) C
V V V V V V V X
F V V V V V V X
V F V V V F V X
F F V V V V V X
V V F F F V F X
F V F F V V F
V F F V V F V X
F F F V V V F

No equivalncia tautolgica

(f ) A e A

A A A
V F V X
F V F X
Equivalncia tautolgica

40
Exerccio 9.6, p. 154

(a) P a Qb, P a  Qb
I P1 P2
P a Qb P a Qb P a
V V V F
F V V V X
V F V F
F F F V
Conseqncia lgica

(b) (P a F c) xHx, P a, xHx  F c

P1 P2 P3 I
P a F c xHx P a F c (P a F c) xHx P a xHx F c
V V V V V F F F
F V V F V V F F
V F V F V F F V
F F V F V V F V
V V F V F F V F
F V F F V V V F
V F F F V F V V
F F F F V V V V X

No conseqncia lgica

(c) (Rbc Gm), D Rbc  Gm

P1 P2 I
Rbc Gm D Rbc Gm (Rbc Gm) D Rbc Gm
V V V V F V F
F V V F V F F
V F V F V V V X
F F V F V F V
V V F V F F F
F V F F V V F
V F F F V F V
F F F F V V V X

No conseqncia lgica

41
(d) xAx xBx, xBx xHx  xAxxHx

P1 P2 I
xAx xBx xHx xAx xBx xBx xHx xAx xHx
V V V V V V X
F V V F V V
V F V F F V
F F V V F V
V V F V F F
F V F F F V
V F F F V F
F F F V V V X

Conseqncia lgica

(e) (A Qb) xyRxy, (Qb xyRxy) Lab  A Lab

P1 P2 I
A Qb xyRxy Lab A A Qb (A Qb) xyRxy Qb xyRxy (Qb xyRxy) Lab A Lab
V V V V F V V V V V X
F V V V V V V V V V X
V F V V F F V V V V X
F F V V V V V V V V X
V V F V F V V V V V X
F V F V V V V V V V X
V F F V F F F F V V
F F F V V V V F V V X
V V V F F V V V F F
F V V F V V V V F V
V F V F F F V V F F
F F V F V V V V F V
V V F F F V V V F F
F V F F V V V V F V
V F F F F F F F V F
F F F F V V V F V V X

Conseqncia lgica

42
Esquemas tautolgicos, p. 146

(a) Princpio de identidade:

V V
F V
(b) Princpio da no-contradio: ( )
( )
V F F V
F V F V
(c) Princpio do terceiro excludo:

V F V
F V V
(d) Dupla negao:

V F V V
F V F V
(e) Idempotncia da disjuno: ( )
( )
V V V
F F V
(f ) Idempotncia da conjuno: ( )
( )
V V V
F F V
(g) Comutatividade da disjuno: ( ) ( )
( ) ( )
V V V V V
F V V V V
V F V V V
F F F F V
(h) Comutatividade da conjuno: ( ) ( )
( ) ( )
V V V V V
F V F F V
V F F F V
F F F F V

43
 (i) Comutatividade da equivalncia: ( ) ( )
( ) ( )
V V V V V
F V F F V
V F F F V
F F V V V

(j) Associatividade da disjuno: ( ( )) (( ) )

( ) ( ) ( ( )) (( ) )
V V V V V V V V
F V V V V V V V
V F V V V V V V
F F V V V F V V
V V F V V V V V
F V F V V V V V
V F F F V V V V
F F F F F F F V

(k) Associatividade da conjuno: ( ( )) (( ) )

( ) ( ) ( ( )) (( ) )
V V V V V V V V
F V V V F F F V
V F V F F F F V
F F V F F F F V
V V F F F V F V
F V F F F F F V
V F F F F F F V
F F F F F F F V

(l) Associatividade da equivalncia: ( ( )) (( ) )

( ) ( ) ( ( )) (( ) )
V V V V V V V V
F V V V F F F V
V F V F F F F V
F F V F V V V V
V V F F F V F V
F V F F V F V V
V F F V V F V V
F F F V F V F V

(m) Leis de Morgan:

( ) ( )

44
 ( ) ( ) ( )
V V V F F F F V
F V F V V F V V
V F F V F V V V
F F F V V V V V
( ) ( )
( ) ( ) ( )
V V V F F F F V
F V V F V F F V
V F V F F V F V
F F F V V V V V

(n) Contraposio: ( ) ( )
( ) ( )
V V V F F V V
F V V F V V V
V F F V F F V
F F V V V V V

(o) Distributividade:

( ( )) (( ) ( ))
( ) ( ) ( ) ( ( )) (( ) ( ))
V V V V V V V V V
F V V V F F F F V
V F V V V F V V V
F F V V F F F F V
V V F V V V F V V
F V F V F F F F V
V F F F F F F F V
F F F F F F F F V

( ( )) (( ) ( ))
( ) ( ) ( ) ( ( )) (( ) ( ))
V V V V V V V V V
F V V V V V V V V
V F V F V V V V V
F F V F F F V F V
V V F F V V V V V
F V F F F V F F V
V F F F V V V V V
F F F F F F F F V

(p) Modus ponens: ( ( ))

( ) ( ( ))
V V V V V
F V V F V
V F F F V
F F V F V

(q) Modus tollens: ( ( ))

45
 ( ) ( ( ))
V V F V F F V
F V F V F V V
V F V F F F V
F F V V V V V

(r) Silogismo disjuntivo: (( ) )

( ) (( ) )
V V V F F V
F V V V V V
V F V F F V
F F F V F V

(s) Silogismo hipottico: (( ) ( )) ( )

( ) ( ) (( ) ( )) ( )
V V V V V V V V
F V V V V V V V
V F V F V F V V
F F V V V V V V
V V F V F F F V
F V F V F F V V
V F F F V F F V
F F F V V V V V

(t) Lei de Peirce: (( ) )

( ) (( ) )
V V V V V
F V V F V
V F F V V
F F V F V

(u) Lei de Duns Scot: ( )

( ) ( )
V V F V V
F V V V V
V F F F V
F F V V V

(v) Prexao: ( )
( )
V V V V
F V F V
V F V V
F F V V

46
(w) Antilogismo: (( ) ) (( ) )
( ) ( ) (( ) ) (( ) )
V V V V V F F F V V
F V V F V F F F V V
V F V F V F F V V V
F F V F V F F V V V
V V F V F V V F F V
F V F F V V F F V V
V F F F V V V V V V
F F F F V V F V V V

(x) Exportao/Importao: (( ) ) ( ( ))
( ) ( ) (( ) ) ( ( ))
V V V V V V V V
F V V F V V V V
V F V F V V V V
F F V F V V V V
V V F V F F F V
F V F F V F V V
V F F F V V V V
F F F F V V V V

47
Exerccio 10.1, p. 164

(a) C = hC, IC i
C = {Aracaju, Belm, Belo Horizonte, Boa Vista, Braslia, Campo Grande, Cuiab,
Curitiba, Florianpolis, Fortaleza, Goinia, Joo Pessoa, Macap, Macei, Manaus,
Natal, Palmas, Porto Alegre, Porto Velho, Recife, Rio Branco, Rio de Janeiro,
Salvador, So Lus, So Paulo, Teresina, Vitria}

IC (a) = Curitiba
IC (b) = Belo Horizonte

IC (c) = So Paulo

IC (d) = Porto Alegre

IC (R) = {Porto Alegre, Florianpolis, Curitiba} (R: x ca na regio sul)

IC (M ) = {So Paulo, Rio de Janeiro, Belo Horizonte, Vitria} (M : x ca na regio

sudeste)

IC (C) = {Campo Grande, Goinica, Braslia, Cuiab} (C : x ca na regio centro-

oeste)

IC (H) = {Florianpolis, Rio de Janeiro, Vitria, Salvador, Aracaju, Macei, Recife,

Joo Pessoa, Natal, Fortaleza, So Lus} (H : x litornea)

IC (G) = {hAracaju, Maceii, hMacei, Aracajui, hBraslia, Goiniai,

hGoinia, Brasliai, hCuritiba, Florianpolisi, hFlorianpolis, Curitibai,
hJoo Pessoa, Natali, hNatal, Joo Pessoai, hJoo Pessoa, Recifei,
hRecife, Joo Pessoai, hMacei, Recifei, hRecife, Maceii, hNatal, Recifei,
hRecife, Natali} (G: x ca no mximo a 300 Km de distncia de y )

(b) N = hN, IN i
N = {0, 1, 2, 3, . . .}
IN (a) = 0
IN (b) = 1
IN (c) = 2
IN (d) = 3
IN (R) = {0, 2, 4, 6, . . .} (R: x par)

IN (M ) = {1, 3, 5, 7, . . .} (M : x mpar)

IN (C) = {2, 3, 5, 7, . . .} (C : x primo)

IN (H) = N (H : x inteiro)

IN (G) = {h1, 0i, h2, 1i, h3, 2i, h4, 3i, . . .} (G: x imediatamente maior do que y)

48
Exerccio 10.3, p. 167

(a) Ra
A(Ra) = V sse IA (a) IA (R)
IA (a) = Ana Maria
IA (R) = {Sebastian, Felipe, Conrado, Fernando}
A(Ra) = F

B(Ra) = V sse IB (a) IB (R)

IB (a) = 1
IB (R) = {1, 2}
B(Ra) = V

(b) Rc
A(Rc) = V sse IA (c) IA (R)
IA (c) = Sebastian
IA (R) = {Sebastian, Felipe, Conrado, Fernando}
A(Rc) = V

B(Rc) = V sse IB (c) IB (R)

IB (c) = 3
IB (R) = {1, 2}
B(Rc) = F

(c) Mb

A(M b) = V sse IA (b) IA (M )

IA (b) = Juliana
IA (M ) = {Veronika, Dorothee, Leila, Mariana, Gabriela, Elisa, Juliana, Ana Maria}

A(M b) = V.

B(M b) = V sse IB (b) IB (M )

IB (b) = 2
IB (M ) = {2, 3}
B(M b) = V

(d) Hc
A(Hc) = V sse IA (c) IA (H)
IA (c) = Sebastian
IA (H) = {Sebastian, Veronika, Dorothee}
A(Hc) = V

49
 B(Hc) = V sse IB (c) IB (H)
IB (c) = 3
IB (H) = {1, 2, 3}
B(Hc) = V

(e) Cb
A(Cb) = V sse IA (b) IA (C)
IA (b) = Juliana
IA (C) = {Mariana, Leila, Gabriela}
A(Cb) = F

B(Cb) = V sse IB (b) IB (C)

IB (b) = 2
IB (C) =
B(Cb) = F

(f ) Rd
A(Rd) = V sse IA (d) IA (R)
IA (d) = Felipe
IA (R) = {Sebastian, Felipe, Conrado, Fernando}
A(Rd) = V

B(Rd) = V sse IB (d) IB (R)

IB (d) = 2
IB (R) = {1, 2}
B(Rd) = V

(g) Gab

A(Gab) = V sse hIA (a), IA (b)i IA (G)

IA (a) = Ana Maria
IA (b) = Juliana
IA (G) = {hElisa, Julianai, hFelipe, Conradoi, hLeila, Gabrielai, hDorothee, Veronikai}
A(Gab) = F

B(Gab) = V ssehIB (a), IB (b)i IB (G)

IB (a) = 1
IB (b) = 2
IB (G) = {h2, 1i, h3, 1i, h3, 3i}
B(Gab) = F

50
(h) Gba

A(Gba) = V sse hIA (b), IA (a)i IA (G)

IA (b) = Juliana
IA (a) = Ana Maria
IA (G) = {hElisa, Julianai, hFelipe, Conradoi, hLeila, Gabrielai, hDorothee, Veronikai}
A(Gba) = F

B(Gba) = V ssehIB (b), IB (a)i IB (G)

IB (b) = 2
IB (a) = 1
IB (G) = {h2, 1i, h3, 1i, h3, 3i}
B(Gba) = V

(i) Gcc

A(Gcc) = V sse hIA (c), IA (c)i IA (G)

IA (c) = Sebastian
IA (G) = {hElisa, Julianai, hFelipe, Conradoi, hLeila, Gabrielai, hDorothee, Veronikai}
A(Gcc) = F

B(Gcc) = V ssehIB (c), IB (c)i IB (G)

IB (c) = 3
IB (G) = {h2, 1i, h3, 1i, h3, 3i}
B(Gcc) = V

51
Exerccio 10.4, p. 168

(a) Ra
1 A(Ra) = V sse A(Ra) = F def. 10.2(c)
2 A(Ra) = F exerc. 10.3(a)

3 A(Ra) = V 1, 2

1 B(Ra) = V sse B(Ra) = F def. 10.2(c)

2 B(Ra) = V exerc. 10.3(a)

3 B(Ra) = F 1, 2

(b) Rc M b

1 A(Rc M b) = V sse A(Rc) = V e A(M b) = V def. 10.2(e)

2 A(Rc) = V exerc. 10.3(b)

3 A(M b) = V exerc. 10.3(c)

4 A(Rc M b) = V 1, 2, 3

1 B(Rc M b) = V sse B(Rc) = V e B(M b) = V def. 10.2(e)

2 B(Rc) = F exerc. 10.3(b)

3 B(M b) = V exerc. 10.3(c)

4 B(Rc M b) = F 1, 2, 3

(c) M b
1 A(M b) = V sse A(M b) = F def. 10.2(c)
2 A(M b) = F sse A(M b) = V def. 10.2(c)

3 A(M b) = V exerc. 10.3(c)

4 A(M b) = F 2, 3
5 A(M b) = V 1, 4

1 B(M b) = V sse B(M b) = F def. 10.2(c)

2 B(M b) = F sse B(M b) = V def. 10.2(c)

3 B(M b) = V exerc. 10.3(c)

4 B(M b) = F 2, 3
5 B(M b) = V 1, 4

(d) Ca (Cb Ra)

(A(Ca) no foi calculado no exerccio 10.3, nem no texto.)

A(Ca) = V sse IA (a) IA (C)

IA (a) = Ana Maria
IA (C) = {Mariana, Leila, Gabriela}
A(Ca) = F

52
 1 A(Ca (Cb Ra)) = V sse A(Ca) = F ou A(Cb Ra) = V def. 10.2(f)
2 A(Cb Ra) = V sse A(Cb) = V ou A(Ra) = V def. 10.2(d)
3 A(Ra) = V sse A(Ra) = F def. 10.2(c)
4 A(Ca) = F acima
5 A(Cb) = F exerc. 10.3(e)
6 A(Ra) = F exerc. 10.3(a)
7 A(Ra) = V 3, 6
8 A(Cb Ra) = V 2, 5, 7
9 A(Ca (Cb Ra)) = V 1, 4, 8

B(Ca) = V sse IB (a) IB (C)

IB (a) = 1
IB (C) =
B(Ca) = F

1 B(Ca (Cb Ra)) = V sse B(Ca) = F ou B(Cb Ra) = V def. 10.2(f)

2 B(Cb Ra) = V sse B(Cb) = V ou B(Ra) = V def. 10.2(d)
3 B(Ra) = V sse B(Ra) = F def. 10.2(c)
4 B(Ca) = F acima
5 B(Cb) = F exerc. 10.3(e)
6 B(Ra) = V exerc. 10.3(a)
7 B(Ra) = F 3, 6
8 B(Cb Ra) = F 2, 5, 7
9 B(Ca (Cb Ra)) = V 1, 4, 8

(e) (Cb Hc) (Hc M b)

1 A((Cb Hc) (Hc M b)) = V sse A(Cb Hc) = A(Hc M b) def. 10.2(g)
2 A(Cb Hc) = V sse A(Cb) = V e A(Hc) = V def. 10.2(e)
3 A(Hc M b) = V sse A(Hc) = V ou A(M b) = V def. 10.2(d)
4 A(Hc) = V sse A(Hc) = F def. 10.2(c)
5 A(M b) = V sse A(M b) = F def. 10.2(c)
6 A(Cb) = F exerc. 10.3(e)
7 A(Hc) = V exerc. 10.3(d)
8 A(M b) = V exerc. 10.3(c)
9 A(Cb Hc) = F 2, 6, 7
10 A(Hc) = F 4, 7
11 A(M b) = F 5, 8
12 A(Hc M b) = F 3, 10, 11
13 A((Cb Hc) (Hc M b)) = V 1, 9, 12

53
 1 B((Cb Hc) (Hc M b)) = V sse B(Cb Hc) = B(Hc M b) def. 10.2(g)
2 B(Cb Hc) = V sse B(Cb) = V e B(Hc) = V def. 10.2(e)
3 B(Hc M b) = V sse B(Hc) = V ou B(M b) = V def. 10.2(d)
4 B(Hc) = V sse B(Hc) = F def. 10.2(c)
5 B(M b) = V sse B(M b) = F def. 10.2(c)
6 B(Cb) = F exerc. 10.3(e)
7 B(Hc) = V exerc. 10.3(d)
8 B(M b) = V exerc. 10.3(c)
9 B(Cb Hc) = F 2, 6, 7
10 B(Hc) = F 4, 7
11 B(M b) = F 5, 8
12 B(Hc M b) = F 3, 10, 11
13 B((Cb Hc) (Hc M b)) = V 1, 9, 12

(f ) (Gcc Gab)

1 A((Gcc Gab)) = V sse A(Gcc Gab) = F def. 10.2(c)

2 A(Gcc Gab) = F sse A(Gcc) = V e A(Gab) = F def. 10.2(f )

3 A(Gcc) = F exerc. 10.3(i)

4 A(Gab) = F exerc. 10.3(h)

5 A(Gcc Gab) = V 2, 3, 4
6 A((Gcc Gab)) = F 1, 5

1 B((Gcc Gab)) = V sse B(Gcc Gab) = F def. 10.2(c)

2 B(Gcc Gab) = F sse B(Gcc) = V e B(Gab) = F def. 10.2(f )

3 B(Gcc) = V exerc. 10.3(i)

4 B(Gab) = F exerc. 10.3(h)

5 B(Gcc Gab) = F 2, 3, 4
6 B((Gcc Gab)) = V 1, 5

54
Exerccio 10.5, p. 178

(a) Rxc
xRxc

(b) Rzw Rby

zwy(Rzw Rby)
zwRzw yRby

(c) Rxz uQu

xz(Rxz uQu)
xzRxz uQu

(d) y(Qy Lyz)

zy(Qy Lyz)
(Aqui no dava para fazer y(Qy zLyz), porque o escopo do universal caria
mais estreito do que o existencial.)

(e) (Rxy Ryz) Rxz

xyz((Rxy Ryz) Rxz)
xz(y(Rxy Ryz) Rxz)

(f ) B (Hbx Hyx)
xy(B (Hbx Hyx))
B xy(Hbx Hyx)

55
Exerccio 11.1, p. 185

(a) xP x P a
Para tentar mostrar que xP x P a vlida, demonstrando que no h uma
estrutura que a torne falsa, precisamos supor uma estrutura A tal que A(xP x
P a) = F , de forma a encontrar alguma contradio (o que mostraria que xP x
P a no tem como ser falsa).
Mas para que A(xP x P a) = F , preciso que A(xP x) = V e A(P a) = F (um
condicional falso tem o antecendente verdadeiro e o conseqente falso).

Como A(xP x) = V (todos os indivduos do domnio so P ), e como a o nome

de um dos indivduos do domnio, ento A(P a) = V .
Portanto, chegamos a duas atribuies contraditrias: A(P a) = F e A(P a) = V .
Assim, no h nenhuma estrutura que torne xP x P a falso, o que mostra que
ela vlida.

(b) P a xP x
Para que A(P a xP x) = F , seria preciso que A(P a) = V e A(xP x) = F .
Para que A(xP x) = F , seria preciso que, para todo parmetro i, A(P i) = F ;
assim, em particular, j que a um parmetro, seria preciso que A(P a) = F .
Portanto, chegamos a duas atribuies contraditrias: A(P a) = V e A(P a) = F , o
que mostra que P a xP x no tem como ser falso e ento vlido.

(c) x(P x P x)
Se A(x(P x P x)) = F , ento, para algum parmetro i, A(P i P i) = F ; disso
decorre que A(P i) = V e A(P i) = F (porque um condicional falso tem antecedente
verdadeiro e conseqente falso). Temos, portanto, a contradio que precisvamos
para mostrar que x(P x P x) no pode ser falso: s pode ser vlido.

(d) x(P x P x)
Vamos supor que A(x(P x P x)) = F . A(x(P x P x)) = V (pois a
Ento
negao inverte o valor de verdade). Assim, para algum parmetro i, A(P iP i) =
V (pela regra da quanticao existencial); e, da, A(P i) = V e A(P i) = V (pela
regra da conjuno). Mas se A(P i) = V , ento A(P i) = F (novamente pela regra
da negao). Chegando a esta contradio (A(P i) = V e A(P i) = F ), mostramos
que x(P x P x) vlida.

(e) x(P x P x)
Para que A(x(P xP x)) = F , preciso que, para algum parmetro i, A((P i
P i)) = F (pela regra da quanticao universal); supondo que a seja esse par-
metro, A((P a P a)) = F . Assim, A(P a P a) = V (pela regra da negao);
e, pela regra da conjuno, A(P a) = V e A(P a) = V . Finalmente, pela regra da
negao, A(P a) = F ; e chegamos contradio que mostrar que x(P x P x)
vlida.

(f ) x(P x P x)
Se considerarmos A(x(P x P x)) = F , preciso que A(P i P i)) = F , para
algum parmetro i. Supondo que a seja esse parmetro, temos que A(P a P a) =

56
 F; A(P a) = F e A(P a) = F . Finalmente,
pela regra da disjuno, chegamos a
pela regra da negao, chegamos a A(P a) = V e encontramos a contradio que
precisvamos para mostrar que x(P x P x) vlida.

(g) x(Ax Bx) (xAx xBx)

A(x(Ax Bx) (xAx xBx)) = F

A(x(Ax Bx)) = V A(xAx xBx) = F

A(Ai Bi) = V ,
para todo parmetro i
A(xAx) = V A(xBx) = F
A(Aa Ba) = V ,
para o parmetro a A(Ai) = V , A(Bi) = F ,
para todo parmetro i para algum parmetro i

A(Aa) = V , A(Ba) = F ,
para o parmetro a supondo o parmetro a
(antes das universais)

De A(Aa Ba) = V e A(Aa) = V , por modus ponens, podemos inferir que

A(Ba) = V , o que nos faz chegar contradio. (Outra alternativa seria dizer que,
quando A(Aa) = V e A(Ba) = F , temos A(Aa Ba) = F , o que nos faria chegar
a outra contradio.)

(h) (xAx xBx) x(Ax Bx)

A((xAx xBx) x(Ax Bx)) = F

A(xAx xBx) = V A(x(Ax Bx)) = F

A(Ai Bi) = F ,
para algum parmetro i

A(Aa Ba) = F ,
supondo o parmetro a

A(Aa) = F A(Ba) = F

A(xAx) = F A(xBx) = F
Se A(xAx) = F e A(xBx) = F , ento A(xAx xBx) = F (pela regra da
disjuno), e esta a contradio que estvamos buscando para provar a validade
de (xAx xBx) x(Ax Bx).

(i) x(Ax Bx) (xAx xBx)

57
 A(x(Ax Bx) (xAx xBx)) = F

A(x(Ax Bx)) = V A(xAx xBx) = F

A(Ai Bi) = V ,
para algum parmetro i

A(Aa Ba) = V ,
supondo o parmetro a

A(Aa) = V A(Ba) = V

A(xAx) = V A(xBx) = V
Se A(xAx) = V e A(xBx) = V , ento A(xAx xBx) = V (pela regra da
conjuno). E isso contradiz o outro achado de que A(xAx xBx) = F .

(j) xyRxy yxRxy

A(xyRxy yxRxy) = F

A(xyRxy) = V A(yxRxy) = F

A(yRiy) = V , A(xRxj) = F ,
para algum parmetro i para algum parmetro j
(possivelmente diferente de i)
A(yRay) = V ,
supondo o parmetro a A(xRxb) = F ,
supondo o parmetro b
A(Ral) = V ,
para todo parmetro l A(Rkb) = F ,
para todo parmetro k
A(Rab) = V ,
para o parmetro b A(Rab) = F ,
para o parmetro a
Temos, ento, a contradio que demonstra a validade de xyRxy yxRxy .

58
Exerccio 11.2, p. 185

(a) P a xP x
Imaginemos uma estrutura A = hA, IA i, de forma que A = {0, 1} e IA (a) = 0,
IA (b) = 1 e IA (P ) = {0}. Nesta estrutura, A(P a) = V (porque I(a) I(P )) e
A(xP x) = F (porque I(b) A, mas I(b) / I(P )). Portanto, A(P a xP x) = F
(pois esse um condicional cujo antecendente verdadeiro e o conseqente falso).

(b) xP x P a
Suponhamos agora uma estrutura B = hB, IB i, tal que B = {Sol, Lua} e IB (a) =
Sol, IB (b) = Lua e IB (P ) = {Lua}. Aqui B(xP x) = V (pois IB (b) IB (P )) e
B(P a) = F (j que IB (a)
/ IB (P )). Consequentemente, B(xP x P a) = F (de
novo, condicional com antecendente verdadeiro e conseqente falso).

(c) (xP x xQx) x(P x Qx)

Para esta soluo, a estrutura ser C = hC, IC i, com IC (a) = Austria, IC (b) =
Brasil, IC (P ) = {Austria} e IC (Q) = {Brasil}. Desta forma, C(xP x) = V (pois
IC (a) IC (P )) e C(xQx) = V (pois IC (b) IC (Q)); portanto, C(xP xxQx) =
V (porque ambas as sentenas da conjuno so verdadeiras). J C(x(P xQx)) =
F , porque seria preciso que, para algum parmetro i, C(P i Qi) = V ; como
C(P a) = V mas C(P b) = F , e como C(Qa) = F mas C(Qb) = V , no existe um tal
parmetro i que torne C(P i Qi) = V . Finalmente, ento, C((xP x xQx)
x(P x Qx)) = F .
(d) x(Ax Bx) (xAx xBx)
De volta aos nmeros, faamos D = hD, ID i, para D = {0, 1}, ID (a) = 0, ID (b) = 1,
ID (A) = {0} e ID (B) = {1}. Para que D(x(Ax Bx)) = V , preciso que
D(Ai Bi) = V , para todo parmetro i; como D(Aa) = V (pois ID (a) ID (A), o
que faz D(Aa Ba) = V ), e D(Bb) = V (pois ID (b) ID (B), o que tambm faz
D(Aa Ba) = V ), conrmamos D(x(Ax Bx)) = V . Mas como D(xAx) = F
(pois ID (b)
/ ID (A)) e D(xBx) = F (pois ID (a)
/ ID (B)), D(xAxxBx) = F .
Assim, nalmente, D(x(Ax Bx) (xAx xBx)) = F .

(e) xyRxy yxRxy

Suponhamos a estrutura E = hE, IE i, de forma que D = {0, 1}, e IE (a) = 0,
IE (b) = 1 e IE (L) = {h0, 0i, h1, 1i}.
Nesta estrutura, E(xyRxy) = V ; i (IE (i) E ),
pois, para cada parmetro
E(yP iy) = V  ou seja, para pelo menos um j E , E(P ij) = V (temos ape-
nas dois indivduos, 0 e 1; de forma que para o indivduo 0 temos E(P aa) = V
(pois hIE (a), IE (a)i IE (L)), e para o indivduo 1 temos E(P bb) = V (pois
hIE (b), IE (b)i IE (L)).
No entanto, E(yxRxy) = F . Para que ele fosse verdadeiro, teria que haver algum
parmetro i
para o qual E(xLxy) = V ; mas o fato que no h na estrutura E
esse parmetro de forma que hIE (a), IE (ii IE (L) e hIE (b), IE (ii IE (L).

(f ) (xP x A) x(P x A)
Uma estrutura F, na qual F((xP x A) x(P x A)) = F , precisa que
F(xP x A)) = V e F(x(P x A)) = F .

59
Para esta ltima, preciso que, para algum parmetro i, F(P i A) = F ; portanto,
preciso que F(P i) = V e F(A) = F .
Para a outra frmula, preciso que F(xP x) = F ou F(A) = V ; no primeiro caso,
para algum parmetro j, preciso que F(P j) = F .

Assim, necessrio que F(A) = F (porque, se fosse verdadeiro, o consequente do

condicional principal seria falso, o que tornaria esse condicional automaticamente
verdadeiro). Para o predicado P, preciso que algum seja P (F(P i) = V , para
algum parmetro i), mas nem todos sejam P (F(P j) = F , para algum parmetro
j).
Portanto, a estrutura F = hF, IF i tem que ser tal que F = {, }, IF (a) = ,
IF (b) = e IF (P ) = {} (ou, alternativamente, IF (P ) = {}).

60
Exerccio 11.3, p. 188

(a) {P a, Rab, P b}
Com uma estrutura A = hA, IA i, denida de forma que A = {0, 1}, e IA (a) = 0,
IA (b) = 1, IA (P ) = {0} e IA (R) = {h1, 1i}, A modelo para {P a, Rab, P b},
porque A(P a) = V (pois IA (a) IA (P )), A(Rab) = V (pois A(Rab) = F , j que
hIA (a), IA (b)i
/ IA (R)) e A(P b) = V (pois A(P b) = F , j que IA (b)
/ IA (P )).

(b) {xQx, xP x, P a Qa}

Para encontrarmos a estrutura B que seja modelo para {xQx, xP x, P aQa},
precisamos que algum seja Q (xQx), algum seja P (xP x), mas que esse algum
no seja a (P a Qa).
Assim, a estrutura B = hB, IB i, precisa de pelo menos dois indivduos B = {0, 1},
tal que um deles pertena a P e a Q (IB (Q) = {1} e IB (P ) = {1}); como o indivduo
cujo nome a no pertence a esses conjuntos (IB (a) = 0), podemos chamar o outro
indivduo de b (IB (b) = 1).

(c) {x(Ax Bx), Am, Bp}

Para que C(Am) = V , preciso que IC (m) IC (A). Para que C(Bp) = V ,
preciso que C(Bp) = F ; ou seja, IC (p)
/ IC (B). Finalmente, para que C(x(Ax
Bx)) = V , preciso que IC (A) IC (B).
Assim, a estrutura C = hC, IC i que satisfaz essas condies precisa ser tal que
C = {, }, e IC (m) = , IC (p) = , IC (A) = {} e IC (B) = {}.

(d) {xP x, xQx}

A estrutura D = hD, ID i precisa ser tal que todos sejam P (xP x), mas ningum
seja Q (xQx).
Assim, supondo C = {, , , }, preciso que ID (P ) = {, , , } e ID (Q) =
{} (como no h constantes individuais nesta lngua, no precisamos indicar a
interpretao de a, b . . . ).

(e) {P a, xP x xyLxy}
A estrutura E = hE, IE i {P a, xP x xyLxy}
que torna todas as frmulas em
E(P a) = V (ou seja, IE (a) IE (P )) e E(xP x
verdadeiras precisa ser tal que
xyLxy) = V (ou seja, se IE (i) IE (P ), para algum parmetro i, ento, para
todo parmetro j e todo parmetro k, hIE (j), IE (k)i IE (L)).

Supondo que IE (a) = 0, preciso ento que IE (P ) = {0}; nesse caso, se 0 for o
nico indivduo do domnio do discurso, ento E = {0} e IE (L) = {h0, 0i}.

61
Exerccio 11.4, p 188

Mostre que:

(a) A Qb, Qb  A
Para mostrar que A Qb, Qb  A, preciso mostrar que no h uma estrutura
A tal que A(A Qb) = V , A(Qb) = V e A(A) = F .
Assim, preciso que A(A) = V e A(Qb) = F . Mas para que A(A Qb) = V ,
preciso que A(A) = V , e portanto A(A) = F , ou A(Qb) = V . No primeiro caso,
acabamos chegando necessidade de que A(A) = V e A(A) = F (o que uma
contradio); no segundo caso, seria preciso que A(Qb) = F e A(Qb) = V (o que
tambm uma contradio).

Assim, no temos nenhuma maneira de construir uma estrutura no contraditria

para {A Qb, Qb} verdadeiras e A falsa; o que mostra que A Qb, Qb  A.

(b) x(F x Gx)  xF x

Uma estrutura B, B(x(F x Gx)) = V e B(xF x) = F , teria B(F i) =
para que
F , para todo parmetro i, e B(F j Gj) = V , para algum parmetro j; devido a
esta ltima, seria preciso que B(F j) = V e B(Gj) = V , para algum parmetro j.

Assim, como preciso que, para algum parmetro j, B(F j) = V , mas que B(F i) =
F , para todo parmetro i, no possvel que algum seja F se ningum pode ser F .
O que mostra que no h uma estrutura que faa x(F x Gx) verdadeiro e xF x
falso; portanto, efetivamente, x(F x Gx)  xF x.

(c) P a xLxa, Lba  P a

Uma estrutura C que seja modelo para {P a xLxa, Lba}, mas que resultasse
em C(P a) = F , precisaria que:

C(P a) = V
C(Lba) = F (pois C(Lba) = V )
C(P a) = F ou C(xLxa) = V (pois C(P a xLxa) = V )
 No primeiro caso, chegaramos exigncia de que C(P a) = V e de que
C(P a) = F (contradio)

 No segundo caso, seria preciso que C(Lia) = V , para todo parmetro i;

como b um parmetro, seria preciso em especial que C(Lba) = V , mas
tambm se exige que C(Lba) = F (outra contradio).

Assim, no h uma estrutura que seja modelo para {P a xLxa, Lba} e resulte
em P a falso; portanto, P a xLxa, Lba  P a.

(d) x(P x Qx), yP y  zQz

Uma estrutura D que fosse modelo para {x(P x Qx), yP y}, mas que no fosse
para {zQz}, teria que ser tal que:

D(x(P x Qx)) = V
 D(P i Qi) = V , para todo parmetro i

62
 D(P i) = F ou D(Qi) = V , para todo parmetro i
D(yP y) = V
 D(P j) = V , para todo parmetro j
D(zQz) = F
 D(Qk) = F , para algum parmetro k

No primeiro caso da disjuno acima, a exigncia de que D(P i) = F , para todo

parmetro i, contraditria com a de que D(P j) = V , para todo parmetro j (no
h como todos serem P P ). No segundo caso da disjuno, no h
e ningum ser
como D(Qk) = F , para algum parmetro k, mas D(Qi) = V , para todo parmetro
i (no possvel que algum no seja Q, quando todos so Q).
Portanto, x(P x Qx), yP y  zQz .

63
Exerccio 11.5, p. 188

(a) A Qb, Qb 2 A
Para mostrar que A Qb, Qb 2 A, precisamos de uma estrutura A = hA, IA i, de
forma que A(A) = F , mas A(A Qb) = V e A(Qb) = V . Assim, A(A) = V e
IA (A) = V , mas tambm IA (b) IA (Q). Portanto, com mais A = {0}, IA (b) = 0 e
IA (Q) = {0}, chegamos estrutura A que precisvamos.

(b) xF x 2 x(F x Gx)

preciso uma estrutura B = hB, IB i B(xF x) = V , mas B(x(F x
na qual
Gx)) = F . Assim, preciso que exista um parmetro i, tal que B(F i) = V ; mas
tambm que, para todo parmetro j, B(F j Gj) = F . Esta ltima nos leva a
duas condies: ou B(F j) = F , para todo parmetro j; ou B(Gj) = F , para todo
parmetro j. Como precisamos de pelo menos um indivduo que seja F (B(F i) = V ,
para algum parmetro i), precisamos ento que ningum seja G.

Portanto, se B = {0}, IB (a) = 0, IB (F ) = {0} e IB (G) = {}, obtemos a estrutura

que precisamos para mostrar que xF x 2 x(F x Gx).

(c) P a xLxa, xLax 2 P a

Precisamos que

C(P a xLxa) = V
 C(P a) = F C(xLxa) = V
ou

C(Lia) = V , para todo parmetro i (todo mundo ama Pedro, por

exemplo)

C(xLax) = V
 C(Laj) = V , para algum parmetro j
C(Laj) = F , para algum parmetro j (h algum que Pedro no ama)
C(P a) = F
 C(P a) = V
Assim, se tivermos a estrutura C = hC, IC i, de forma que C = {P edro, M aria}, e

IC (a) = P edro
IC (b) = M aria
IC (P ) = {P edro}
IC (L) = {hP edro, P edroi, hM aria, P edroi}

demonstramos que P a xLxa, xLax 2 P a.

(d) x(P x Qx), yQy 2 zP z

D(x(P x Qx)) = V
 D(P i Qi) = V , para todo parmetro i
D(P i) = F ou D(Qi) = V , para todo parmetro i (algum no P
ou todos so Q)

64
 D(yQy) = V
 D(Qj) = V , para todo parmetro j (todos so Q)
D(zP z) = F
 D(P k) = F , para algum parmetro k (algum no P )

D = hD, ID i

D = {P edro, M aria}
ID (P ) = {P edro}
ID (Q) = {P edro, M aria}

65
Exerccio 12.1, p. 207

(a) X F (A B) B
X V (A B)
F B
V A
V B

1 F (A B) B Concl. X
2 V AB 1/F X
3 F B 1/F
4 V A 2/V
5 V B 2/V
3, 5

(b) X F B (A B)
V B
X F A B
X F A
F B
V A

1 F B (A B) Concl. X
2 V B 1/F
3 F A B 1/F X
4 F A 3/F X
5 F B 3/F
6 V A 4/F
2, 5

(c) X F (F a F a) Qb
X V F a F a
X F Qb
V Qb

V F a X V F a
? F Fa
?

66
 1 F (F a F a) Qb Concl. X
2 V F a F a 1/F X
3 F Qb 1/T X
4 V Qb 3/F

5 V F a 2/V 6 V F a 2/V X
? 7 F F a 7/V
?

(d) X F (A B) B
X V AB
X F B
V A
V B
X V B
F B

1 F (A B) B Concl. X
2 V AB 1/F X
3 F B 1/F X
4 V A 2/V
5 V B 2/V
6 V B 3/F X
7 F B 6/V
5, 7

(e) 1 F A (A B) Concl. X

2 F A 1/F X 5 F A B 1/F X
3 V A 2/F X 6 V A 5/F
4 F A 3/V 7 F B 5/F
? ?

67
(f ) 1 F P a (P a P a) Concl. X

2 V P a 1/F X 8 F P a 1/F X
3 F Pa Pa 1/F X 9 V Pa Pa 1/F X
4 F P a 2/V X 10 V P a 8/F X
5 V Pa 4/F 11 F Pa 10/F
6 F Pa 3/F
7 F Pa 3/F
5, 6 (5, 7) 12 V P a 9/V 13 V P a 9/V
11, 12 11, 13

(g)
1 F Lc (Lc T s) Concl. X
2 F Lc 1/F
3 F (Lc T s) 1/F X
4 V Lc T s 3/F X
5 V Lc 4/V
6 V Ts 4/V
2, 5

(h) 1 F (A A) A Concl. X

2 V AA 1/F X 6 F A A 1/F X
3 F A 1/F 7 V A 1/F
4 V A 2/V
5 V A 2/V
3, 4 (2, 5) 8 F A 6/F 9 F A 6/F
7, 8 7, 9

68
Exerccio 12.2, p. 210

(a) A B, A  B ?
1 V A B Prem. X
2 V A Prem. X
3 F B Concl.
4 F A 2/V

5 V A 1/V 6 V B 1/V
4, 5 3, 6
Tabl completamente fechado, portanto A B, A  B !

(b) P a Qb, P a  Qb?

1 V P a Qb Prem. X
2 V P a Prem. X
3 F Qb Concl. X
4 F Pa 2/V
5 V Qb 3/F

6 V P a 1/V 8 F P a 1/V
7 V Qb 1/V 9 F Qb 1/V
4, 6 5, 9
Tabl completamente fechado, portanto P a Qb, P a  Qb!

(c) (B A)  B A?
1 V (B A) Prem. X
2 F B A Concl. X
3 F BA 1/V X

4 F B 2/F X 8 F A 2/F X
5 V B 4/F 9 V A 8/F

6 F B 3/F 7 F A 3/F 10 F B 3/F 11 F A 3/F

5, 6 ? ? 9, 11

Tabl aberto, portanto (B A) 2 B A!

(d) A B  A B?

69
 1 V A B Prem. X
2 F A B Concl. X
3 F A 2/F
4 F B 2/F

5 F A 1/V 6 V B 1/V
? 4, 6
Tabl aberto, portanto A B 2 A B!

(e) P a Qb  P a Qb?
1 V P a Qb Prem. X
2 F P a Qb Concl. X
3 V Pa 2/F
4 F Qb 2/F

5 F P a 1/V X 7 V Qb 1/V X
6 V P a 5/F 8 F Qb 7/V
? ?
Tabl aberto, portanto P a Qb 2 P a Qb!

(f ) P a, P a C  P a C ?
1 V Pa Prem.
2 V Pa C Prem. X
3 F Pa C Concl. X

4 V Pa 3/F 8 F Pa 3/F
5 F C 3/F 9 V C 3/F

6 F Pa 2/V 7 V C 2/V 10 F Pa 2/V 11 V C 2/V

1, 6 (4, 6) 5, 7 1, 8 (1, 10) 1, 8

Tabl completamente fechado, portanto P a, P a C  P a C !

Resoluo alternativa, encerrando o ramo assim que encontra contradio:

70
 1 V Pa Prem.
2 V Pa C Prem. X
3 F Pa C Concl. X

4 F P a 2/V 5 V C 2/V
1, 4

6 V P a 3/F 8 F P a 3/F
7 F C 3/F 9 V C 3/F
5, 7 1, 8

(g) B Cb  (B Cb)?
1 V B Cb Prem. X
2 F (B Cb) Concl. X
3 V B Cb 2/F X
4 V B 3/V
5 V Cb 3/V

6 F B 1/V 7 V Cb 1/V X
4, 6 8 F Cb 6/V
5, 8
Tabl completamente fechado, portanto B Cb  (B Cb)!
(h) A  (A (Qb A)) (A Qb)?
1 V A Prem.
2 F (A (Qb A)) (A Qb) Concl. X
3 V A (Qb A) 2, F X
4 F A Qb 2, F X

5 F A 3, V X 6 V Qb A 3, F X
1, 5 7 V Qb 6, V
8 V A 6, V

9 F A 4, F 10 F Qb 4, F
8, 9 7, 10

71
 Tabl completamente fechado, portanto A  (A (Qb A)) (A Qb)!

(i) (Ba Ca) F b, Ba, Ca  F b?

1 V (Ba Ca) F b Prem. X
2 V Ba Prem. X
3 V Ca Prem. X
4 F F b Concl. X
5 F Ba 2, V
6 F Ca 3, V
7 V Fb 4, F

8 F Ba Ca 1, V X 11 V F b 1, V
?

9 F Ba 8, F 10 F Ca 8, F
? ?
Tabl aberto, portanto (Ba Ca) F b, Ba, Ca 2 F b!

(j) (A B), F a A  F a?
1 V (A B) Prem. X
2 V Fa A Prem. X
3 F F a Concl. X
4 F AB 1, V X
5 V Fa 3, F
6 F A 4, F
7 F B 4, F

8 V F a 2, V 10 F F a 2, V
9 V A 2, V 11 F A 2, V
6, 9 5, 10
Tabl completamente fechado, portanto (A B), F a A  F a!

(k) (A B), F a A  F a?

72
 1 V (A B) Prem. X
2 V F a A Prem. X
3 F F a Concl. X
4 F AB 1, V X
5 V Fa 3, F

6 V F a 2, V 10 F F a 2, V
7 V A 2, V 11 F A 2, V
5, 10

8 F A 4, F 9 F B 4, F
7, 8 ?
Tabl aberto, portanto (A B), F a A  F a!

(l) P a P b, P b P c  P a P c?
1 V Pa Pb Prem.
2 V Pb Pc Prem.
3 F Pa Pc Concl.

73
Exerccio 12.3, p. 218

(a) xRxx Raa

1. F xRxx Raa Concl. X
2. V xRxx 1, F
3. F Raa 1, F
4. V Raa 2, V (x 7 a)
3, 4

(b) xRxx Raa

1. F xRxx Raa Concl. X
2. V xRxx 1, F X
3. F Raa 1, F X
4. F xRxx 2, V
5. V Raa 3, F
6. F Raa 4, F
5, 6

(c) x(P x P x)
1. F x(P x P x) Concl. X
2. F Pa Pa 1, F X
3. V Pa 2, F
4. F Pa 2, F
3, 4

(d) x(P x P x)
1. F x(P x P x) Concl. X
2. V x(P x P x) 1, F X
3. V P a P a 2, V X
4. V Pa 3, V
5. V P a 3, V X
6. F Pa 5, V
4, 6

(e) x(Ax Bx) (xAx xBx)

1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F
3. F xAx xBx 1, F X
4. V xAx 3, F
5. F xBx 3, F X
6. F Ba 5, F
7. V Aa Ba 2, V X

8.1. F Aa 7, V 8.2. V Ba 7, V
9.1. V Aa 4, V 6, 8.2
8.1, 9.1

74
(f ) x(Ax Bx) (xAx xBx)
1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F
3. F xAx xBx 1, F X
4. V xAx 3, F X
5. F xBx 3, F
6. V Aa 4, V
7. V Aa Ba 2, V X

8.1. F Aa 7, V 8.2. V Ba V
6, 8.1 9.2. F Ba F
8.2, 9.2

(g) x(Ax Bx) (xAx xBx)

1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F
3. F xAx xBx 1, F X

4.1. F xAx 3, F X 4.2. F xBx 3, F X

5.1. F Aa 4.1, F 5.2. F Ba 4.2, F
6.1. V Aa Ba 2, V X 6.2. V Aa Ba 2, V X
7.1. V Aa 6.1, V 7.2. V Aa 6.1, V
8.1. V Ba 6.1, V 8.2. V Ba 6.1, V
5.1, 7.1 5.2, 8.2

(h) (xAx xBx) x(Ax Bx)

1. F (xAx xBx) x(Ax Bx) Concl. X
2. V xAx xBx 1, F X
3. F x(Ax Bx) 1, F X
4. V xAx 2, V
5. V xBx 2, V
6. F Aa Ba 3, F X

7.1. F Aa 6, F 7.2. F Ba 6, F
8.1. V Aa 4, V 8.2. V Ba 5, V
7.1, 8.1 7.2, 8.2

(i) (xAx xBx) x(Ax Bx)

75
 1. F (xAx xBx) x(Ax Bx) Concl. X
2. V xAx xBx 1, F X
3. F x(Ax Bx) 1, F

4.1. V xAx 2, V X 4.2. V xBx 2, V X

5.1. V Aa 4.1, V 5.2. V Ba 4.2, V
6.1. F Aa Ba 3, F X 6.2. F Aa Ba 3, F X
7.1. F Aa 6.1, F 7.2. F Aa 6.2, F
8.1. F Ba 6.1, F 8.2. F Ba 6.2, F
5.1, 7.1 5.2, 8.2

(j) x(Ax Bx) (xAx xBx)

1. F x(Ax Bx) (xAx xBx) Concl.

1. F x(Ax Bx) (xAx xBx) Concl. X

2. V x(Ax Bx) 1, F
3. F xAx xBx 1, F

1. F x(Ax Bx) (xAx xBx) Concl. X

2. V x(Ax Bx) 1, F
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F X
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
6. V Aa Ba 2, V

1. F x(Ax Bx) (xAx xBx) Concl. X

2. V x(Ax Bx) 1, F X
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
6. V Aa Ba 2, V X

7.1. V Aa 6, V 7.2. V Ba 6, V

76
1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F X
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
6. V Aa Ba 2, V X

7.1. V Aa 6, V 7.2. V Ba 6, V
8.1. F Aa 4, F
1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F X
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
6. V Aa Ba 2, V X

7.1. V Aa 6, V 7.2. V Ba 6, V
8.1. F Aa 4, F
7.1, 8.1

1. F x(Ax Bx) (xAx xBx) Concl. X

2. V x(Ax Bx) 1, F X
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
6. V Aa Ba 2, V X

7.1. V Aa 6, V 7.2. V Ba 6, V
8.1. F Aa 4, F 8.2. F Ba 5, F
7.1, 8.1

1. F x(Ax Bx) (xAx xBx) Concl. X

2. V x(Ax Bx) 1, F X
3. F xAx xBx 1, F X
4. F xAx 3, F
5. F xBx 3, F
6. V Aa Ba 2, V X

7.1. V Aa 6, V 7.2. V Ba 6, V
8.1. F Aa 4, F 8.2. F Ba 5, F
7.1, 8.1 7.2, 8.2

77
(k) x(P x P x)
1. F x(P x P x) Concl. X
2. F (P a P a) 1, F X
3. V P a P a 2, F X
4. V Pa 3, V
5. V P a 3, V X
6. F Pa 5, V
4, 6

(l) xP x xP x
1. F xP x xP x Concl. X

2.1. F xP x 1, F X 2.2. V xP x 1, F
3.1. V xP x 1, F X 3.2. F xP x 1, F X
4.1. F xP x 3.1, V 4.2. V xP x 3.2, F X
5.1. F Pa 2.1, F 5.2. V P a 4.2, V X
6.1. F P a 4.1, F X 6.2. F Pa 5.2, V
7.1. V Pa 6.1, F 7.2. V Pa 2.2, V
5.1, 7.1 6.2, 7.2

(m) xP x xP x
1. F xP x xP x Concl. X

2.1. F xP x 1, F 2.2. V xP x 1, F X
3.1. V xP x 1, F X 3.2. F xP x 1, F X
4.1. F xP x 3.1, V X 4.2. V xP x 3.2, F
5.1. F P a 4.1, F X 5.2. V Pa 2.2, V
6.1. V Pa 5.1, F 6.2. V P a 4.2, V X
7.1. F Pa 1, F 7.2. F Pa 6.2, V
6.1, 7.1 5.2, 7.2

(n) yxRxy xyRxy

1. F yxRxy xyRxy Concl. X
2. V yxRxy 1, F X
3. F xyRxy 1, F X
4. V xRxa 2, V
5. F yRby 3, F
6. V Rba 2, V
7. F Rba 5, F
6, 7

(o) (xP x xQx) x(P x Qx)

78
 1. F (xP x xQx) x(P x Qx) Concl. X
2. V xP x xQx 1, F X
3. F x(P x Qx) 1, F X
4. F P a Qa 3, F X
5. F Pa 4, F
6. F Qa 4, F

7.1. V xP x 2, V 7.2. V xQx 2, V

8.1. V Pa 7.1, V 8.2. V Qa 7.2, V
5, 8.1 6, 8.2

(p) x(P x Qx) (xP x xQx)

1. F x(P x Qx) (xP x xQx) Concl. X
2. V x(P x Qx) 1, F X
3. F xP x xQx 1, F X
4. V P a Qa 2, V X
5. V Pa 4, V
6. V Qa 4, V

7.1. F xP x 3, F 7.2. F xQx 3, F

8.1. F Pa 7.1, F 8.2. F Qa 7.2, F
5, 8.1 6, 8.2

79
Exerccio 12.4, p. 218

(a) xAx xBx, xBx  xAx

1. V xAx xBx Prem. X
2. V xBx Prem. X
3. F xAx Concl. X
4. F xBx 2, V
5. V xAx 3, F X
6. V Aa 5, V

7.1. F xAx 1, V 7.2. V xBx 1, V X

8.1. F Aa 7.1, F 8.2. V Bb 7.2, V
6, 8.1 9.2. F Bb 4, F
8.2, 9.2

(b) xP x xQx, xP x  Qb
1. V xP x xQx Prem. X
2. V xP x Prem.
3. F Qb Concl.

4.1. F xP x 1, V X 4.2. V xQx 1, V

5.1. F Pa 4.1, F 5.2. V Qb 4.2, V
6.1. V Pa 2, V 3, 5.2
5.1, 6.1

H uma resposta mais curta: se observamos que h duas instncias de xP x, uma

verdadeira e outra falsa, nas linhas 2 e 4.1, podemos fechar imediatamente o ramo
esquerdo.

1. V xP x xQx Prem. X
2. V xP x Prem.
3. F Qb Concl.

4.1. F xP x 1, V 4.2. V xQx 1, V

2, 4.1 5.2. V Qb 4.2, V
3, 5.2

(c) xP x xQx, xQx  P a

80
 1. V xP x xQx Prem. X
2. V xQx Prem. X
3. F P a Concl. X
4. F xQx 2, V
5. V Pa 3, F

6.1. F xP x 1, V 6.2. V xQx 1, V

7.1. F Pa 6.1, F 7.2. F Qa 4, F
5, 7.1 8.2. V Qa 6.2, V
7.2, 8.2

(d) x(Ax Bx), xBx  xAx

1. V x(Ax Bx) Prem.
2. V xBx Prem. X
3. F xAx Concl.
4. V Ba 2, V X
5. F Ba 4, V
6. V Aa Ba 1, V X

7.1. F Aa 6, V 7.2. V Ba 6, V
8.1 F Aa 3, F X 5, 7.2
9.1 V Aa 8.1, F
7.1, 9.1

(e) x(P x Qx), P a  Qa

1. V x(P x Qx) Prem.
2. V Pa Prem.
3. F Qa Concl.
4. V P a Qa 1, V X

5.1. F Pa 4, V 5.2. V Qa 4, V
2, 5.1 3, 5.2

(f ) x(P x Qx), Qb  P b

81
 1. V x(P x Qx) Prem.
2. V Qb Prem. X
3. F P b Concl. X
4. F Qb 2, V
5. V Pb 3, F
6. V P b Qb 1, V X

7.1. F Pb 6, V 7.2. V Qb 6, V
5, 7.1 4, 7.2

(g) x(Gx F x), F c  Gc

1. V x(Gx F x) Prem.
2. V Fc Prem.
3. F Gc Concl.
4. V Gc F c 1, V X

5.1. F Gc 4, V X 5.2. V F c 4, V X
6.1. V Gc 5.1, F 6.2. F Fc 5.2, V
3, 6.1 2, 6.2

(h) x(P x Qx), Qb  P b

1. V x(P x Qx) Prem.
2. V Qb Prem. X
3. F Pb Concl.
4. F Qb 2, V
5. V P b Qb 1, V X

6.1. V Pb 5, V 6.2. V Qb 5, V
3, 6.1 4, 6.2

(i) x((Ax Bx) Cx), Ab  Cb

1. V x((Ax Bx) Cx) Prem.
2. V Ab Prem.
3. F Cb Concl.
4. V (Ab Bb) Cb 1, V X

5.1. F Ab Bb 4, V X 5.2. V Cb 4, V
6.1. F Ab 5.1, F 3, 5.2
7.1. F Bb 5.1, F
2, 6.1

82
(j) x(P x Qx), x(Qx Rxb)  P a Rab
1. V x(P x Qx) Prem.
2. V x(Qx Rxb) Prem.
3. F P a Rab Concl. X
4. V Pa 3, F
5. F Rab 3, F
6. V P a Qa 1, V X

7.1. F Pa 6, V 7.2. V Qa 6, V
4, 7.1 8.2. V Qa Rab 2, V X

9.2.1 F Qa 8.2, V 9.2.2. V Rab 8.2, V

7.2, 9.2.1 5, 9.2.2

(k) xF x yHy, zxT zx  F a T ab

1. V xF x yHy Prem. X
2. V zxT zx Prem.
3. F F a T ab Concl. X
4. V xF x 1, V
5. V yHy 1, V

6.1. F Fa 3, F 6.2. F T ab 3, F
7.1. V Fa 4, V 7.2. V xT ax 2, V
6.1, 7.1 8.2. V T ab 7.2, V
6.2, 8.2

(l) xP x, x(Cx P x), F a Cb  F a

1. V xP x Prem.
2. V x(Cx P x) Prem.
3. V F a Cb Prem. X
4. F Fa Concl.

5.1. V Fa 3, V 5.2. V Cb 3, V
4, 5.1 6.2. V Cb P b 2, V X

7.2.1 F Cb 6.2, V 7.2.2. V Pb 6.2, V

5.2, 7.2.1 8.2.2. V P b 1, V X
9.2.2. F Pb 8.2.2, V
7.2.2, 9.2.2

(m) x(P x Qx)  xP x xQx

83
 1. V x(P x Qx) Prem.
2. F xP x xQx Concl. X

3.1. F xP x 2, F X 3.2. F xQx 2, F X

4.1. F Pa 3.1, F 4.2. F Qa 3.2, F
5.1. V P a Qa 1, V X 5.2. V P a Qa 1, V X
6.1. V Pa 5.1, V 6.2. V Pa 5.2, V
7.1. V Qa 5.1, V 7.2. V Qa 5.2, V
4.1, 6.1 4.2, 7.2

(n) xP x xQx, Qa  xP x
1. V xP x xQx Prem. X
2. V Qa Prem. X
3. F xP x Concl. X
4. F Qa 2, V
5. V xP x 3, F

6.1. F xP x 1, V X 6.2. V xQx 1, V

7.1. F Pb 6.1, F 7.2. V Qa 6.2, V
8.1. V Pb 5, V 4, 7.2
7.1, 8.1

(o) x(P x Qx), xP x  xQx

1. V x(P x Qx) Prem.
2. V xP x Prem.
3. F xQx Concl. X
4. F Qa 3, F
5. V P a Qa 1, V X

6.1. F Pa 5, V 6.2. V Qa 5, V
7.1. V Pa 2, V 4, 6.2
6.1, 7.1

(p) x(Sx Rx), x(P x Sx)  x(P x Rx)

84
 1. V x(Sx Rx) Prem.
2. V x(P x Sx) Prem.
3. F x(P x Rx) Concl. X
4. F P a Ra 3, F X
5. V Pa 4, F
6. F Ra 4, F X
7. V Ra 7, F
8. V P a Sa 2, V X

9.1. F Pa 8, V 9.2. V Sa 8, V
5, 9.1 10.2. V Sa Ra 1, V X

11.2.1. F Sa 10.2, V 11.2.2. V Ra 10.2, V X

9.2, 11.2.1 12.2.2. F Ra 11.2.2, V
7, 12.2.2

(q) xP bx, xy(P xy Syx)  xSxb

1. V xP bx Prem.
2. V xy(P xy Syx) Prem.
3. F xSxb Concl. X
4. F Sab 3, F
5. V P ba 1, V
6. V y(P by Syb) 2, V
7. V P ba Sab 6, V X

8.1. F P ba 7, V 8.2. V Sab 7, V

5, 8.1 4, 8.2

(r) x(P x Qx), xP x  xQx

1. V x(P x Qx) Prem.
2. V xP x Prem. X
3. F xQx Concl.
4. V Pa 2, V
5. V P a Qa 1, V X

6.1. F Pa 5, V 6.2. V Qa 5, V
4, 6.1 7.2. F Qa 3, F
6.2, 7.2

(s) x(P x Qx), xQx  xP x

85
 1. V x(P x Qx) Prem.
2. V xQx Prem. X
3. F xP x Concl.
4. V Qa 2, V X
5. F Qa 4, V
6. V P a Qa 1, V X

7.1. F Pa 6, V 7.2. V Qa 6, V
8.1. F P a 3, F X 5, 7.2
9.1. V Pa 8.1, F
7.1, 9.1

(t) x(Gx F x), xF x  xGx

1. V x(Gx F x) Prem.
2. V xF x Prem. X
3. F xGx Concl.
4. V Fa 2, V
5. V Ga F a 1, V X

6.1. F Ga 5, V X 6.2. V F a 5, V X
7.1. V Ga 6.1, F 7.2. F Fa 6.2, V
8.1. F Ga 3, F 4, 7.2
7.1, 8.1

(u) x(P x Qx), yQy  zP z

1. V x(P x Qx) Prem.
2. V yQy Prem. X
3. F zP z Concl.
4. V Qa 2, V X
5. F Qa Prem.
6. V P a Qa 1, V X

7.1. V Pa 6, V 7.2. V Qa 6, V
8.1. F Pa 3, F 5, 7.2
7.1, 8.1

(v) x((Ax Bx) Cx), xAx  xCx

86
 1. V x((Ax Bx) Cx) Prem.
2. V xAx Prem. X
3. F xCx Concl.
4. V Aa 2, V
5. V (Aa Ba) Ca 1, V X

6.1. F Aa Ba 5, V X 6.2. V Ca 5, V
7.1. F Aa 6.1, F 7.2. F Ca 3, F
8.1. F Ba 6.1, F 6.2, 7.2
4, 7.1

87
Exerccio 12.5, p. 221

(a) P a xP x
1. F P a xP x Concl. X
2. V Pa 1, F
3. F xP x 1, F X
4. F Pb 3, F
?

(Mas esse j tinha sido dado como exemplo, na pgina 219!)

(b) xP x P a
1. F xP x P a Concl. X
2. V xP x 1, F X
3. F Pa 1, F
4. V Pb 2, V
?

(c) (xP x xQx) x(P x Qx)

1. F (xP x xQx) x(P x Qx) Concl. X
2. V xP x xQx 1, F X
3. F x(P x Qx) 1, F
4. V xP x 2, V X
5. V xQx 2, V X
6. V Pa 4, V
7. V Qb 5, V
8. F P a Qa 3, F X

9.1. F Pa 8, F 9.2. F Qa 8, F
6, 9.1 10.2. F P b Qb 3, F X

10.2.1. F Pb 10.2, F 10.2.2. F Qb 10.2, F

? 7, 10.2.2

(d) x(Ax Bx) (xAx xBx)

88
 1. F x(Ax Bx) (xAx xBx) Concl. X
2. V x(Ax Bx) 1, F
3. F xAx xBx 1, F X
4. F xAx 3, F X
5. F xBx 3, F X
6. F Aa 4, F
7. F Bb 5, F
8. V Aa Ba 2, V X

9.1. V Aa 8, V 9.2. V Ba 8, V
6, 9.1 10.2. V Ab Bb 2, V X

10.2.1. V Ab 10.2, V 10.2.2. V Bb 10.2, V

? 7, 10.2.2

(e) x(P x Qa) (xP x Qa)

1. F x(P x Qa) (xP x Qa) Concl. X
2. V x(P x Qa) 1, F X
3. F xP x Qa 1, F X
4. V xP x 3, F X
5. F Qa 3, F
6. V Pb 4, V
7. V P c Qa 2, V X

8.1. F Pc 7, V 8.2. V Qa 7, V
? 5, 8.2

(f ) (xP x xQx) x(P x Qx)

1. F (xP x xQx) x(P x Qx) Concl. X
2. V xP x xQx 1, V X
3. F x(P x Qx) 1, V X
4. F P a Qa 3, F X
5. V Pa 4, F
6. F Qa 4, F

7.1. F xP x 2, V X 7.2. V xQx 2, V

8.1. F Pb 7.1, F 8.2. V Qa 7.22, V
6, 8.2

89
Exerccio 12.6, p. 222

Determine se as frmulas direita de `' so consequncia lgica ou no das demais:

(a) xF x xHx  x(F x Hx)

1. V xF x xHx Prem. X
2. F x(F x Hx) Concl.

3.1. V xF x 1, V X 3.2. V xHx 1, V X

4.1. V Fa 3.1, V 4.2. V Ha 3.2, V
5.1. F F a Ha 2, F X 5.2. F F a Ha 2, F X
6.1. F Fa 5.1, F 6.2. F Fa 5.2, F
7.1. F Ha 5.1, F 7.2. F Ha 5.2, F
4.1, 6.1 4.2, 7.2

Sim, consequncia lgica.

(b) xP bx, xy(P xy Syx)  xSxb

1. V xP bx Prem. X
2. V xy(P xy Syx) Prem.
3. F xSxb Concl.
4. V P ba 1, V
5. F Sab 3, F
6. V y(P by Syb) 2, V
7. V P ba Sab 6, V X

8.1. F P ba 7, V 8.2. V Sab 7, V

4, 8.1 5, 8.2

(c) xP x xQx, xQx  xP x

1. V xP x xQx Prem. X
2. V xQx Prem. X
3. F xP x Concl. X
4. V xP x 3, F
5. V Qa 2, V X
6. F Qa 5, V

7.1. F xP x 1, V X 7.2. V xQx 1, V

8.1. F Pb 7.1, F 8.2. V Qa 7.2, V
9.1. V Pb 4, V 6, 8.2
8.1, 9.1

90
 Sim, consequncia lgica.

H uma resposta um pouco mais simples, j que h duas instncias de xP x, uma

verdadeira e outra falsa:

1. V xP x xQx Prem. X
2. V xQx Prem. X
3. F xP x Concl. X
4. V xP x 3, F
5. V Qa 2, V X
6. F Qa 5, V

7.1. F xP x 1, V 7.2. V xQx 1, V

4, 7.1 8.2. V Qa 7.2, V
6, 8.2

(d) xAx xBx, xBx  xAx

1. V xAx xBx Prem. X
2. V xBx Prem. X
3. F xAx Concl.
4. V Ba 2, V X
5. F Ba 4, V

6.1. F xAx 1, V 6.2. V xBx 1, V X

7.1. F Aa 6.1, F 7.2. V Bb 6.2, V
8.1. F Aa 3, F X ?
9.1. V Aa 8.1, F
7.1, 9.1

No consequncia lgica.

(e) x(P x Rxb), x(Qx Rxb), x(Rxb Qx)  yRyb

91
 1. V x(P x Rxb) Prem.
2. V x(Qx Rxb) Prem. X
3. V x(Rxb Qx) Prem.
4. F yRyb Concl.
5. V Qa Rab 2, V X
6. F Rab 4, F
7. V P a Rab 1, V X
8. V Pa 7, V
9. V Rab 7, V X
10. F Rab 9, V

11.1. V Qa 5, V X 11.2. V Rab 5, V

12.1. F Qa 11.1, V 6, 11.2
13.1. V Rab Qa 3, V X

14.1.1. F Rab 13.1, V X 14.1.2. V Qa 13.1, V

15.1.1. V Rab 14.1.1, F 12.1, 14.1.2
6, 15.1.1

Sim, consequncia lgica.

(f ) x(F x Cx), x(Ax F x)  x(Ax Cx)

1. V x(F x Cx) Prem.
2. V x(Ax F x) Prem. X
3. F x(Ax Cx) Concl.
4. V Aa F a 2, V X
5. V Aa 4, V
6. V Fa 4, V
7. F Aa Ca 3, F X

8.1. F Aa 7, F 8.2. F Ca 7, F
5, 8.1 9.2. V F a Ca 1, V X

10.2.1. F Fa 9.2, V 10.2.2. V Ca 9.2, V

6, 10.2.1 8.2, 10.2.2

Sim, consequncia lgica.

(g) x(F x Hx), z(T z F z), y(T y Qy)  x(Hx Qx)

92
 1. V x(F x Hx) Prem.
2. V z(T z F z) Prem.
3. V y(T y Qy) Prem. X
4. F x(Hx Qx) Concl.
5. V T a Qa 3, V X
6. V Ta 5, V
7. V Qa 5, V
8. V Ta Fa 2, V X

9.1. F Ta 8, V 9.2. V Fa 8, V
6, 9.1 10.2. V F a Ha 1, V X

11.2.1 F Fa 10.2, V 11.2.2. V Ha 10.2, V

9.2, 11.2.1 12.2.2. F Ha Qa 4, F

13.2.2.1. F Ha 12.2.2, F 13.2.2.2. F Qa

11.2.2, 13.2.2.1

93