Sum ario

1 L ogica Formal Proposicional 1.1 1.2 Formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5

L ogica Proposicional . . . . . . . . . . . . . . . . . . . . . 13 1.2.1 1.2.2 1.2.3 1.2.4 1.2.5 S mbolos . . . . . . . . . . . . . . . . . . . . . . . 13

Preced encia entre os operadores . . . . . . . . . . . 14 F ormulas bem formadas . . . . . . . . . . . . . . . 14 Formaliza c ao de argumentos na L ogica Proposicional 15 Regras de infer encia . . . . . . . . . . . . . . . . . 16

1.3 1.4

Exerc cios Propostos . . . . . . . . . . . . . . . . . . . . . 36 Quest oes de Concursos . . . . . . . . . . . . . . . . . . . . 39 47

2 Respostas dos Exerc cios

SUMARIO

Lista de Figuras
1.1 Representa c ao gr aca de transitividade. . . . . . . . . . . 33

LISTA DE FIGURAS

Cap tulo 1

L ogica Formal Proposicional

1.1 Formas

A L ogica Formal ou L ogica Simb olica e o estudo das formas de argumento. Argumentos provenientes de contextos completamente diferentes podem possuir a mesma forma. Observe os seguintes argumentos:
Se eu ganhar na loteria, serei rico. Eu ganhei na loteria. Logo, sou rico. Se fizer sol, eu irei ` a praia. Est a fazendo sol. Logo, eu vou ` a praia. Se eu comer bastante, passarei mal.

6
Comi bastante.

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

Logo, passo mal.

Todos estes tr es argumentos, apesar de pertencerem a contextos distintos, possuem a mesma forma. A forma deles e:
Se <alguma coisa>, <outra coisa>. <alguma coisa>. Logo, <outra coisa>.

Como p ode ser notado, a forma de racioc nio para os tr es argumentos e exatamente a mesma. A L ogica Formal possui um conjunto de regras abstratas de racioc nio que s ao comuns em v arios argumentos. A partir de agora, iremos representar as senten cas declarativas por meio de letras mai usculas do nosso alfabeto (s mbolos sentenciais): de A at e Z. Assim, refazendo a forma dos argumentos apresentados, temos:
Se A, B. A. Logo, B.

Podemos ent ao dizer que os tr es argumentos possuem a forma apresentada acima, ou ainda que os tr es argumentos s ao varia c oes gramaticais (ou inst ancias) desta forma. A esta forma de argumento damos o nome de Modus Ponens, e ser a explicada na Se c ao referente ` a L ogica Proposicional. Existem outras formas de argumento que podem ser expressas com o uso das seguintes express oes: Nega c ao: N ao e o caso que ... Conjun c ao: ... e ...

1.1. FORMAS Disjun c ao: ... ou ... Implica c ao (ou condicional): Se ... ent ao ... Bi-implica c ao (ou bi-condicional): ... se e somente se ...

Estas express oes s ao conhecidas como conectivos (ou operadores) l ogicos.

Conectivo n ao e o caso que..

Este conectivo prexa uma senten ca para formar uma nova senten ca a qual e denominada de nega c ao. Abaixo podemos ver um exemplo de nega c ao:
N~ ao e o caso que ele e patinador.

A nega c ao de uma senten ca pode n ao aparecer com o uso do prexo n ao e o caso que. Entre outras palavras, h a varia c oes gramaticais na nega c ao. Exemplos:
Ele n~ ao e patinador. Ele n~ ao patina. Ele e n~ ao-patinador.

Todas as tr es varia c oes possuem o mesmo valor sem antico do exemplo apresentado com o prexo n ao e o caso que, apesar de todas as quatro senten cas serem sintaticamente diferentes. Se f ossemos abstrair a forma dessas senten cas, ela seria N ao e o caso que P, com P signicando Ele e patinador.

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

Conectivo ..e..
Esse conectivo e usado para unir duas senten cas quaisquer formando uma composi c ao a qual e denominada de conjun c ao. Abaixo podemos ver um exemplo de conjun c ao:
Os brasileiros s~ ao trabalhadores e gostam de praia.

A forma desse argumento e T e P, com T signicando Os brasileiros s ao trabalhadores e P, Os brasileiros gostam de praia. Composi c oes feitas com a conjun c ao tamb em podem ser expressas por palavras1 como: contudo, todavia, mas, embora, entre outras. Alguns exemplos seriam:
Os brasileiros s~ ao trabalhadores mas n~ ao gostam das segundas-feiras. Jo~ ao assiste a todos os jogos embora n~ ao pratique esporte.

Os exemplos mencionados possuem a mesma forma: A e n ao e o caso que B. Com A signicando Os brasileiros s ao trabalhadores (ou Jo ao assiste a todos os jogos ) e B, Os brasileiros gostam das segundas-feiras (ou Jo ao pratica esporte ).

Conectivo ..ou..
Analogamente ao conectivo e, esse conectivo e usado para unir duas senten cas quaisquer formando uma composi c ao a qual e denominada de disjun c ao. Abaixo podemos ver um exemplo de disjun c ao:
Emerson vai ao jogo ou enlouquecer a.
1 Na

gram atica da l ngua portuguesa s ao conhecidas como Conjun c oes Adversati-

vas e Conjun co es Concessivas.

1.1. FORMAS

A forma desse argumento e J ou E, com J signicando Emerson vai ao jogo e E, Emerson enlouquecer a. importante destacar aqui que, na L E ogica Formal, este ou n ao deve passar a id eia de escolha u nica, apesar de aparentar. Com o uso deste conectivo, na disjun c ao J ou E, J pode acontecer ou E pode acontecer, ou at e mesmo ambos podem acontecer. Quando usualmente usamos a disjun c ao, falando ou mesmo escrevendo, no dia-a-dia, damos ao receptor a escolha u nica entre duas ou mais op c oes. A este ou espec co damos o nome de ou exclusivo e n ao ser a tratado neste livro.

Conectivo se...ent ao...

O uso deste conectivo resulta em enunciados chamados de implica c oes, ou condicionais. Pois este tipo de enunciado expressa uma condi c ao. Diferentemente dos enunciados resultantes dos conectivos anteriores, enunciados condicionais n ao permitem a invers ao na ordem das proposi c oes. A proposi c ao subseq uente ao se e chamada de antecedente, e a proposi c ao subseq uente ao ent ao e chamada de conseq uente. A forma de um enunciado condicional e Se A ent ao C. Onde A eo antecedente e C e o conseq uente. Um exemplo de condicional pode ser:
Se a porta ficar aberta ent~ ao o cachorro sair a de casa.

Muitos argumentariam usando este enunciado que se o cachorro saiu de casa foi porque a porta estava aberta. Todavia, tal argumento e uma fal acia2 ! O antecedente e condi c ao suciente para a ocorr encia do con2 Esta

fal acia e conhecida como fal acia da arma ca o do conseq uente.

10

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

seq uente. Mas, o conseq uente e condi c ao necess aria para a ocorr encia do antecedente, e n ao suciente. Um bom exemplo para entendermos enunciados condicionais e o seguinte:
Se e juiz ent~ ao e advogado.

Neste exemplo, o fato de ser juiz e suciente para ser advogado. E, para ser juiz, e necess ario ser advogado, mas n ao suciente. Em outras palavras, todo mundo que e juiz, tamb em e advogado. Mas, nem todo mundo que e advogado, tamb em e juiz. Um exemplo mais complexo, que os apresentados at e ent ao, poderia ser:
Se ele for ` a praia e n~ ao usar protetor solar, ent~ ao ele ficar a queimado ou ter a que usar chap eu.

Neste u ltimo exemplo, o enunciado condicional e composto por uma conjun c ao sendo o antecedente, e por uma disjun c ao sendo o conseq uente. Al em disso, o a conjun c ao e composta por uma proposi c ao at omica e uma nega c ao de proposi c ao at omica. A forma para o exemplo seria Se P e n ao e o caso que S ent ao Q ou C. Sendo os signicados de P, S, Q e C respectivamente, Ele vai ` a praia, Ele usa protetor solar, Ele car a queimado e Ele ter a que usar chap eu. Seguindo o racioc nio empregado no exemplo do juiz (e advogado), temos o seguinte:
Se chover ent~ ao molha a rua.

1.1. FORMAS

11

suciente chover para algu E em deduzir que a rua ca molhada. Todavia, o fato da rua car molhada n ao garante necessariamente que choveu. Os enunciados condicionais tamb em podem ser expressos na ordem inversa: Como se sentir fome. Este enunciado condicional mant em a mesma sem antica dos enunciados: Se sentir fome, como e Se sentir fome ent ao como. H a diversas varia c oes gramaticais para o conectivo condicional. Para o enunciado Se faz sol ent ao faz calor, podemos ter: Fazer sol implica em fazer calor. Faz sol somente se faz calor. Se faz sol, logo faz calor. Faz calor se faz sol. Fazer sol e condi c ao suciente para fazer calor. Fazer calor e condi c ao necess aria para fazer sol.

Conectivo ...se e somente se...

O uso deste conectivo resulta em enunciados chamados de bi-implica c oes, ou bicondicionais. Pois este tipo de enunciado expressa uma condi c ao dupla. E, diferentemente do enunciado condicional, num enunciado bicondicional e permitida a invers ao na ordem das proposi c oes. Um enunciado bicondicional pode ser considerado como uma conjun c ao de dois condicionais.
E um pol gono de tr^ es lados se e somente se e um tri^ angulo.

12

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL O exemplo acima pode ser decomposto em uma conjun c ao composta

por duas condi c oes. As condi c oes para o referido exemplo s ao:
Se e um pol gono de tr^ es lados ent~ ao e um tri^ angulo. (1a) Se e um tri^ angulo ent~ ao e um pol gono de tr^ es lados. (2a)

Note que o antecedente de (1a) e o conseq uente de (2a) e vice-versa. Para car mais claro, observe as varia c oes gramaticais dos enunciados (1a) e (2a):
E um pol gono de tr^ es lados somente se e um tri^ angulo. E um pol gono de tr^ es lados se e um tri^ angulo. (1b) (2b)

Como j a foi visto na Se c ao correspondente ao conectivo se..ent ao.., os enunciados (1a) e (1b) s ao varia c oes gramaticais um do outro. Assim, possuem a mesma sem antica. Assim tamb em s ao os enunciados (2a) e (2b). Fazendo e um pol gono de tr es lados ser representado por A e e um tri angulo ser representado por B, teremos:
A somente se B. (1c) A se B. (2c)

Os enunciados (1c) e (2c) representam a forma dos enunciados (1b) e (2b) e, por isso, s ao mais concisos. Fica assim, mais f acil de identicar que a conjun c ao A se B e A somente se B equivale ao enunciado A se e somente se B. importante destacar aqui que os conectivos apresentados podem E ser combinados formando enunciados mais complexos, como por exemplo: A ou n ao e o caso que B se e somente se n ao e o caso que A e B.

 1.2. LOGICA PROPOSICIONAL

13

1.2

L ogica Proposicional

A L ogica Proposicional (ou C alculo Proposicional) e um sistema formal no qual as f ormulas representam proposi c oes que podem ser formadas pela combina c ao de proposi c oes at omicas usando os conectivos l ogicos j a apresentados, e um sistema de regras de deriva c ao que permite a prova da validade ou invalidade de um dado argumento.

1.2.1

S mbolos

Para facilitar a manipula c ao e leitura dos enunciados e argumentos, a L ogica Proposicional adota s mbolos especiais para representar os operadores (conectivos) l ogicos. S ao eles: ao e o caso que..: ou N ..e..: ou & ..ou..: Se..ent ao..: ..se e somente se..: Re-escrevendo o u ltimo enunciado da Se c ao anterior, teremos: ABAB. Podemos notar que, ao se usar os s mbolos especiais, a f ormula (chamada at e ent ao de enunciado) se torna muito mais concisa do que escrita na linguagem natural. Contudo, dependendo do n vel de complexidade da f ormula, muitas vezes faz-se necess ario o uso de par enteses.

14

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

1.2.2

Preced encia entre os operadores

O uso de par enteses e feito tanto para tornar a f ormula mais facilmente lida, quanto para impor uma certa preced encia na leitura da mesma. Mas, para o primeiro caso, este uso n ao pode ser feito de forma arbitr aria. Assim como nas opera c oes b asicas da Matem atica (soma, subtra c ao, multiplica c ao e divis ao), os conectivos l ogicos possuem prioridades diferentes entre si. Alguns autores adotam preced encia diferente de outros autores. Neste livro, adotaremos a seguinte preced encia (da maior para a menor): , , , e . Obedecendo esta preced encia, se quis essemos incluir par enteses na f ormula ABAB para torn a-la mais facilmente lida, obter amos a f ormula (AB)(AB). Apesar da inclus ao dos par enteses, a sem antica das duas f ormulas permanece exatamente a mesma. Deve-se sempre tomar cuidado com a inclus ao dos par enteses. Pois, um simples deslocamento na aplica c ao deles pode comprometer o signicado da f ormula, produzindo uma f ormula completamente diferente: A(BA)B. Deve-se tamb em tomar cuidado com a nega c ao (). As f ormulas AB e (AB) s ao semanticamente diferentes. Na primeira, a nega c ao est a sendo aplicada apenas ` a proposi c ao A. Enquanto que na segunda f ormula, a nega c ao est a sendo aplicada ` a conjun c ao AB.

1.2.3

F ormulas bem formadas

Se uma determinada f ormula, da L ogica Proposicional, estiver sintaticamente correta, dizemos que aquela f ormula e uma f ormula bem formada, ou simplesmente dizemos que e uma fbf.

 1.2. LOGICA PROPOSICIONAL H a algumas regras que determinam a forma das fbfs.

15

Qualquer letra do do nosso alfabeto (letra sentencial) e uma fbf. Exemplos: A, b, w, X Se e uma fbf, tamb em e uma fbf. Exemplos: e fbf, A tamb em e. Como A Como BA, (BA) tamb em e. Se e s ao fbf s, ent ao , , , e tamb em s ao. Exemplo: ao fbf s, (BA)(AC), (BA)(AC), Como BA e AC s (BA)(AC), e (BA)(AC) tamb em s ao.

1.2.4

Formaliza c ao de argumentos na L ogica Proposicional

Observemos o seguinte exemplo:

A proposta de aux lio est a no correio. Se os arbitros a receberem at e sexta, eles a analisar~ ao. Portanto, eles a analisar~ ao porque se a proposta estiver no correio, eles a receber~ ao at e sexta.

Para formalizarmos qualquer argumento, faz-se necess ario primeiro identicar quais s ao as proposi c oes at omicas presentes no argumento. No argumento acima temos:

16

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

A: a proposta de aux lio est a no correio. B: os arbitros recebem a proposta at e sexta. C: eles analisar~ ao a proposta.

De posse das proposi c oes at omicas, podemos montar as f ormulas referentes aos enunciados. Dando mais um passo ` a formaliza c ao do argumento, temos:
A. BC. Portanto, C porque AB.

A express ao portanto e usada, neste contexto, como um indicador de conclus ao. Assim, ca evidente que C e a conclus ao nal do argumento. O pr oximo, e u ltimo, passo na formaliza c ao do argumento e agrupar as premissas, seperadas por v rgula, entre chaves e lig a-las ` a conclus ao utilizando o s mbolo de asser c ao ( ). Assim, obtemos:
{A, BC, AB} C

O argumento nesta forma signica que, a partir das premissas delimitadas entre chaves, podemos inferir a conclus ao indicada.

1.2.5

Regras de infer encia

Algu em poderia se perguntar Por que formalizar os argumento?. Ou ainda Que vantagens eu tenho formalizando os argumentos?. A resposta e simples. A L ogica Proposicional possui regras abstratas que s ao utilizadas para gerar formas de argumentos numa s erie de etapas simples e precisas de racioc nio chamada prova ou deriva c ao. Uma deriva c ao de uma forma de argumento e uma seq uencia de enunciados <e1 ,e2 ,...,en >, onde: en e a conclus ao,

 1.2. LOGICA PROPOSICIONAL e cada ei , para 1in, pode ser: uma premissa;

17

ou o resultado da aplica c ao de uma regra aos enunciados anteriores. De posse de um argumento formalizado e usando as regras de infer encia da L ogica Proposicional, podemos determinar se tal argumento e ou n ao um argumento dedutivo v alido. Desta forma, basta formalizar o argumento e aplicar corretamente as regras de infer encia para provar a validade do referido argumento, dispensando assim, a necessidade de ler in umeras vezes o argumento. Para argumentos pequenos, uma u nica leitura muitas vezes resolve o problema. Mas, para argumentos grandes e complexos, faz-se necess aria uma quantidade de leituras e reex ao maiores. Observe o seguinte exemplo:
Se a porta ficar aberta ent~ ao o cachorro sair a de casa. A porta ficou aberta. Logo, o cachorro saiu de casa.

claro e evidente que o argumento acima E e valido. Todavia, esta clareza e evid encia se d a pelo fato de o argumento ser pequeno e de f acil leitura. Mas, se f ossemos vericar a validade do exemplo supracitado, sobre a proposta de aux lio, levar amos um tempo um pouco maior para raciocinar. Observemos a forma do argumento logo acima: {AC,A} C.

Tendo A e C signicando A porta ca aberta e O cachorro sai de casa,

18

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

respectivamente. A prova da validade do argumento se d a da seguinte forma: 1. AC 2. A 3. C P P 1 e 2 MP

A prova, como j a citada, possui uma seq uencia de enunciados. Cada um deles e enumerado para que se possa fazer refer encias durante o processo de deriva c ao. O enunciado 3, por exemplo, e gerado a partir dos enunciados 1 e 23 , usando a regra de infer encia chamada MP, ou Modus Ponens. Modus Ponens - MP Ou simplesmente modo armativo, e a regra de infer encia que diz que a partir de um enunciado condicional e de seu antecedente, podemos inferir o seu conseq uente. Assim, Usemos como exemplo, desta vez, o argumento da proposta de aux lio : {A, BC, AB} necess aria. 1. A 2. BC 3. AB
3 Cada

C. Para derivar, basta usar a regra MP sempre que

P P P

um destes enunciados possui a letra mai uscula P ` a sua direita identicando

que tal enunciado e uma das premissas do argumento.

 1.2. LOGICA PROPOSICIONAL 4. B 5. C 1 e 3 MP 2 e 4 MP

19

Neste exemplo n os temos os enunciados 1, 2 e 3 como premissas. A partir dos enunciados 1 e 3 foi poss vel inferir o enunciado 4. E, a partir do enunciado 4, juntamente com o 2, foi poss vel inferir o 5. Como conseguimos chegar at e a conclus ao a partir das premissas, podemos dizer que o argumento e v alido. Para o argumento {A(BC), A, B} prova: 1. A(BC) 2. A 3. B 4. BC 5. C P P P 1 e 2 MP 3 e 4 MP C, temos a seguinte

A diferen ca deste u ltimo exemplo para os demais, onde MP e usada, e que um dos antecedentes usados para se aplicar MP n ao e uma proposi c ao at omica: A. Vale a pena ressaltar que as duas nega c oes em A(BC) est ao negando apenas a fbf A. Para que as nega c oes fossem aplicadas a toda a f ormula, seria necess ario o uso de par enteses da seguinte forma: (A(BC)). a regra de infer Elimina c ao da nega c ao - E E encia que diz que a partir de uma fbf negada duas vezes, podemos inferir a pr opria fbf. Assim,

20

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL Modicando o exemplo anterior, temos: {A(BC), A, B}

C. A prova para este argumento se d a da seguinte forma: 1. A(BC) 2. A 3. B 4. A 5. BC 6. C P P P 2 E 1 e 4 MP 3 e 5 MP

Podemos dizer, em outras palavras, que a partir de qualquer f ormula bem formada negada n vezes, com n sendo par, podemos inferir a pr opria f ormula. Exemplo: a partir de A, podemos inferir A. E, a partir de qualquer f ormula bem formada negada n vezes, com n sendo mpar, podemos inferir a nega c ao da f ormula. Exemplo: a partir de A, podemos inferir A. Seria o mesmo que, em linguagem natural, termos N ao e o caso que ele n ao fuma. Este enunciado e negado duas vezes. Um enunciado equivalente seria Ele fuma. Introdu c ao da nega c ao - I Esta regra e an aloga ` a elimina c ao da nega c ao. Ela diz que a partir de uma fbf, podemos inferir a pr opria fbf negada duas vezes. Assim,

 1.2. LOGICA PROPOSICIONAL Para o argumento {A(BC), A, B} deriva c ao: 1. A(BC) 2. A 3. B 4. A 5. BC 6. C P P P 2 I 1 e 4 MP 3 e 5 MP

21 C, temos a seguinte

O que h a de diferente nesta deriva c ao em rela c ao ` as demais deriva c oes j a apresentadas e que o enunciado 4 foi obtido a partir da introdu c ao da nega c ao no enunciado 2. Com isso, podemos dizer, em outras palavras, que a partir de qualquer f ormula bem formada, podemos inferir a f ormula negada n vezes, sendo n um n umero par. Exemplos: a partir de A, podemos inferir A; e a partir de BA, podemos inferir (BA). Analogamente ` a exclus ao da nega c ao, seria o mesmo que, em linguagem natural, termos Ele fuma. Um enunciado equivalente seria N ao e o caso que ele n ao fuma. a regra de infer Introdu c ao da conjun c ao - I E encia que diz que a partir de quaisquer duas f ormulas bem formadas podemos inferir uma f ormula que e a conjun c ao daquelas duas. Assim,

22

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL Imaginemos que algu em, enquanto argumenta sobre algo, profere

que ele gosta de comer biscoito. Em outro momento, no mesmo argumento, a pessoa condiciona que se jogar baralho, perder a horas de estudo. De posse destas arma c oes, podemos inferir que ele gosta de comer biscoito e se jogar baralho, perder a horas de estudo. Formalmente, se temos B (gosta de comer biscoitos) e temos J (jogar baralho) H (horas de estudo), podemos inferir B(JH). Faz-se necess ario o uso dos par enteses para que a preced encia do operador sobre o operado n ao altere a sem antica original. Neste caso, a f ormula resultante e uma conjun c ao de uma proposi c ao at omica com um enunciado condicional. Caso os par enteses n ao tivessem sido usados, ter amos como f ormula resultante BJH. Esta u ltima f ormula e um enunciado condicional que tem como antecedente uma conjun c ao. Tomemos agora o argumento {C, ACB, A} este argumento e: 1. C 2. ACB 3. A 4. CA 5. B P P P 1 e 3 I 2 e 4 MP B. A prova para

Como j a foi visto, para que MP seja aplicado, e necess ario que se tenha um enunciado condicional e o seu antecedente para se inferir o exatamente o que acontece neste u conseq uente. E ltimo exemplo. Numa

 1.2. LOGICA PROPOSICIONAL

23

conjun c ao, a ordem das partes e irrelevante. Desta forma, CA e AC possuem o mesmo signicado. a regra de infer Elimina c ao da conjun c ao - E E encia que diz que a partir de uma conjun c ao podemos inferir qualquer uma de suas partes. Assim, ou D. A prova para

Tomemos o argumento {(AB)(CD),A, B} este argumento e: 1. (AB)(CD) 2. A 3. B 4. A 5. AB 6. CD 7. D P P P 2 E 3 e 4 I 1 e 5 MP 6 E

Nesta deriva c ao est ao presentes as regras de elimina c ao da nega c ao, inclus ao e elimina c ao da conjun c ao e modus ponens. Imaginemos agora que algu em, enquanto argumenta sobre algo, profere que ele gosta de comer biscoito e se jogar baralho, perder a horas de estudo. A partir desta conjun c ao, podemos inferir qualquer uma de suas partes: se jogar baralho, perder a horas de estudo ou ele gosta de comer biscoito. Esta regra e exatamente o oposto da inclus ao da conjun c ao.

24

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL importante frisar que a infer E encia de uma das partes n ao impos-

sibilita a infer encia das demais partes do enunciado original. a regra de infer Silogismo Disjuntivo - SD E encia que diz que a partir de qualquer disjun c ao e a nega c ao de uma das partes, podemos inferir a outra parte. Assim, Para o argumento {(AB)(AC),A} prova: 1. (AB)(AC) 2. A 3. AB 4. AC 5. B 6. C 7. BC P P 1 E 1 E 2 e 3 SD 2 e 4 SD 5 e 6 I BC, temos a seguinte

Notemos que a prova de uma argumento exije o conhecimento de todas as regras de infer encia. Neste exemplo, zemos uso da exclus ao (ou elimina c ao) e da inclus ao (ou introdu c ao) da conjun c ao. O que h a de novo aqui e a regra SD aplicada em 2 e 3 e 2 e 4 que resultou em 5 e 6, respectivamente. Informalmente, o Silogismo Disjuntivo diz que, de posse da informa c ao que se tem algumas op c oes, e da informa c ao que n ao se tem

 1.2. LOGICA PROPOSICIONAL

25

uma delas, tem-se uma das restantes (ou a restante). Para car mais evidente, raciocinemos da seguinte forma:
Jo~ aozinho vai ` a praia ou est a doente. Jo~ aozinho n~ ao est a doente. Logo, Jo~ aozinho vai ` a praia.

Assim, e evidente que como Jo aozinho n ao est a doente (D) e Jo aozinho vai ` a praia ou est a doente (PD), logo Jo aozinho vai ` a praia (P). Ou, formalmente, {D,PD} P.

No caso de haver mais de uma op c ao:

Jo~ aozinho vai ` a praia, ao circo ou est a doente. Jo~ aozinho n~ ao est a doente. Logo, Jo~ aozinho vai ao circo ou ao dentista.

Este argumento e valido. A v rgula usada na primeira premissa expressa disjun c ao por causa do ou. A forma da primeira premissa deste argumento e PCD. Um argumento semelhante mas semanticamete diferente e:
Jo~ aozinho vai ` a praia e ao circo ou est a doente. Jo~ aozinho n~ ao est a doente. Logo, Jo~ aozinho vai ` a praia e ao circo.

Neste u ltimo argumento, a forma da primeira premissa e PCD. Vale a pena lembrar que a conjun c ao possui preced encia em rela c ao ` a disjun c ao. Assim, a mesma f ormula escrita com par enteses para dar mais legibilidade seria (PC)D. a regra de infer Introdu c ao da disjun c ao - I E encia que diz que a partir de qualquer f ormula podemos inferir uma disjun c ao qualquer onde uma das partes e a f ormula original. Assim,

26

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL Se temos, por exemplo, a f ormula BC, podemos inferir qualquer

uma das f ormulas: (BC)A, (BC)(BC), ou (BC)(CA). Para o argumento {A} 1. A 2. AB 3. AC 4. (AB)(AC) (AB)(AC), temos a seguinte prova: P 1 I 1 I 2 e 3 I

As duas disjun c oes 2 e 3 foram inferidas a partir da arma c ao A. E, como podemos armar tais disjun c oes, podemos tamb em armar a conjun c ao das duas, enunciado 4. Em linguagem natural, podemos dizer que ao armar que Jogo bola, algu em poderia inferir que Jogo bola ou tomo sorvete, e jogo bola ou vou ao clube. a regra de infer Elimina c ao da disjun c ao - E E encia que diz que a partir de uma disjun c ao e de enunciados condicionais, onde cada antecedente e uma das partes da disjun c ao e, com conseq uente em comum, podemos inferir o conseq uente. Ou seja, se temos uma disjun c ao 1 1 ...n e temos tamb em n enunciados condicionais do tipo i , para 1in, podemos inferir . Assim,

 1.2. LOGICA PROPOSICIONAL

27

Em linguagem natural, um argumento que exemplica muito bem esse caso e o que se segue.
Hoje e s abado ou domingo. Se hoje e s abado ent~ ao e um fim de semana. Se hoje e domingo ent~ ao e um fim de semana. Portanto, hoje e um fim de semana.

Para S, D e F signicando hoje e s abado, hoje e domingo e hoje e um m de semana, respectivamente, temos a seguinte formaliza c ao do argumento: {SD,SF,DF} seguinte: 1. SD 2. SF 3. DF 4. F P P P 1, 2 e 3 E F. A prova para este argumento e a

Introdu c ao do bicondicional - I Esta e a regra de infer encia que diz que a partir de dois enunciados condicionais onde o antecedente de um eo conseq uente do outro, e o antecedente do outro e o conseq uente do um, podemos inferir uma bicondi c ao envolvendo as duas partes diferentes. Assim,

Utilizando o exemplo anterior, podemos armar que se e s abado ou domingo, ent ao e um m de semana e se e um m de semana, ent ao

28

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

e s abado ou e domingo. De posse destas duas arma c oes, utilizando a introdu c ao do bicondicional, podemos inferir que e s abado ou domingo se e somente se e um m de semana. Para o argumento {AB, (AB)(BA)} guinte prova: 1. AB 2. (AB)(BA) 3. BA 4. AB P P 1 e 2 MP 1 e 3 I AB, temos a se-

Elimina c ao do bicondicional - E Esta e a regra de infer encia que diz que a partir de um enunciado bicondicional podemos inferir duas condi c oes. Uma condi c ao com antecedente e conseq uente sendo a primeira e a segunda partes do bicondicional, respectivamente. E outra condi c ao com antecedente e conseq uente trocados, em rela c ao ` a primeira condi c ao. Assim, ou

De forma oposta ao exemplo anterior, dada a arma c ao que e s abado ou domingo se e somente se e um m de semana, podemos inferir os enunciados condicionais se e s abado ou domingo, ent ao e um m de semana e se e um m de semana, ent ao e s abado ou e domingo. Para o argumento {F(SD),SD} 1. F(SD) P F, temos a seguinte prova:

 1.2. LOGICA PROPOSICIONAL 2. SD 3. (SD)F 4. F P 1 E 2 e 3 MP

29

Regras Hipot eticas Tomemos o argumento {(AB)C,CD,A} BD. Como prov a-lo?

Se observamos bem o argumento, perceberemos que com os conhecimentos adquiridos at e este momento n ao podemos inferir coisa alguma que nos seja u til. Para inferir D, precisamos de C. Para inferir C, precisamos de AB. Nas premissas n os encontramos A, contudo, n ao possu mos e nem temos como conseguir B. Se supormos B, conseguiremos provar a validade do argumento apresentado. Mas, para tornar o exemplo mais pr oximo da realidade, tomemos os seguintes signicados para cada uma das proposi c oes at omicas: A: prestar aten c ao na aula. B: fazer os exerc cios em casa. C: passar de ano. D: viajar durante as f erias. Assim, temos o seguinte argumento: Se prestar aten c ao na aula e zer os exerc cios em casa, ent ao passar a de ano. E, se passar de ano, ent ao ir a viajar durante as f erias. Voc e realmente tem prestado aten c ao na aula. Desta forma, se zer os exerc cios em casa, ent ao viajar a durante as f erias.

30

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL Para provar a validade deste argumento, faz-se necess ario, como j a

foi dito, supor que B e verdade. Assim, passamos a nos aventurar no mundo das suposi c oes, ou mundo das hip oteses. A prova formal para este argumento e como se segue: 1. (AB)C 2. CD 3. A 4. |B 5. |AB 6. |C 7. |D 8. BD P P P Hip otese p/ Prova do Condicional 3 e 4 I 1 e 5 MP 2 e 6 MP 4-7 Prova do Condicional

O que queremos provar e que se zer os exerc cios em casa, ent ao viajar a durante as f erias, ou simplesmente BD. Em outras palavras, queremos provar um condicional. Da e que vem o nome Prova do Condicional. Como n ao temos a arma c ao B, temos que sup o-la. Da , temos que lan car a hip otese de que temos B, ou de que B acontece. Como vista na prova formal, h a uma barra | logo antes do B, no enunciado 4. Essa barra signica que estamos numa linha de racioc nio hipot etico. Para determinados argumentos nos quais n ao teremos todas as informa c oes necess arias, teremos que fazer uso das hip oteses. Nos argumentos, as hip oteses n ao s ao consideradas como verdadeiras. Elas s ao artif cios l ogicos usados como estrat egia de prova.

 1.2. LOGICA PROPOSICIONAL

31

Voltando ao argumento em quest ao, no enunciado 5, AB, tamb em temos a barra indicando um racioc nio hipot etico. Devido ao fato de B ser uma hip otese, tudo que for inferido a partir de B tamb em dever a ser uma hip otese. Contudo, em algum momento deveremos sair do mundo das hip oteses para provar nosso argumento do mundo real. H a uma regra de infer encia que trata justamente disso. a regra de infer Prova do Condicional - PC E encia que diz que dada a deriva c ao (ou prova) de um determinado enunciado a partir de uma hip otese inicial , podemos abandonar um mundo das hip oteses e inferir um enunciado condicional do tipo: . Ou seja: {}

Tomemos mais um exemplo: Um atleta machucou o tornozelo uma semana antes de um campeonato de corrida e seu t ecnico procura convenc e-lo a parar alguns dias para que seu tornozelo sare totalmente. O t ecnico argumenta: Se voc e continuar a correr, voc e n ao estar a apto para disputar o campeonato. O atleta, apesar de conar bastante no t ecnico, n ao se convence e diz: Prove isso. A maneira mais comum de provar um condicional e colocar o seu antecedente como hip otese (admiti-lo como verdadeiro) e provar que, a partir dele, seu conseq uente se verica. Para esse exemplo, equivale a raciocinar da forma como se segue. fato que o seu torSuponhamos que o atleta continue correndo. E nozelo est a muito inchado. Se o tornozelo est a muito inchado e o atleta continuar correndo, o tornozelo n ao sarar a em uma semana. Se o tornozelo n ao sarar em uma semana, ent ao o atleta n ao estar a apto para

32

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

disputar o campeonato. Deste modo, o atleta n ao estar a apto para disputar o campeonato. O argumento hipot etico demonstra que se a hip otese voc e continuar correndo e verdadeira, ent ao a conclus ao do argumento, voc e n ao estar a apto para disputar o campeonato, se verica. Desta forma, ca provada a verdade do condicional: se voc e continuar correndo, voc e n ao estar a apto a disputar o campeonato. Para se provar a validade formal desde argumento precisamos formaliz a-lo. Este exemplo possui praticamente a mesma forma do exemplo anterior. As proposi c oes at omicas seriam: I: tornozelo inchado. C: continuar correndo. S: sarar. A: estar apto a disputar o campeonato. Temos ent ao a seguinte forma de argumento: {I,(IC)S,SA} CA. A prova formal se d a como se segue: 1. I 2. (IC)S 3. SA 4. |C 5. |IC 6. |S P P P H p/ PC 1 e 4 I 2 e 5 MP

 1.2. LOGICA PROPOSICIONAL 7. |A 8. CA 3 e 6 MP 4-7 PC

33

Um exemplo menor seria provar o conceito de transitividade. Se A ent ao B, Se B ent ao C. Logo, se A ent ao C. A Figura 1.1 demonstra bem a validade este argumento.

C B A

Figura 1.1: Representa c ao gr aca de transitividade.

Prova por Redu c ao ao Absurdo - RAA

Mostrar a deriva c ao hipot etica objetivando a RAA. O Modus Tolens vem em seguida (revisar o texto escrito).

Modus Tolens - MT Ou simplesmente modo negativo, e a regra de infer encia que diz que a partir de um enunciado condicional e da nega c ao de seu conseq uente, podemos inferir a nega c ao do antecedente. Assim,

34

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL O Modus Tolens pode ser visto como uma simplica c ao de uma

situa c ao comum na Prova por Redu c ao ao Absurdo. Observe as seguintes situa c oes: a) {P Q, Q} 1. Q 2. P Q 3. |P 4. |Q 5. |Q Q 6. P [Hip p/ PC] [2 e 3 MP] [1 e 4 I] 5. |A [3 - 5 RAA] 6. |B 7. |B B 8. A 9. C A [1 e 5 MP] [4 e 6 I] [5 - 7 RAA] [3 e 8 I] [Hip p/ RAA] P b) {A B, B C } 1. A B 2. B C 3. C 4. B [2 E] [2 E] C A

Em ambos os casos a Redu c ao ao Absurdo foi usada para resolver a situa c ao em que se tem as proposi c oes e para se obter . Entretanto, a regra Modus Tolens se prop oe a resolver o mesmo problema. Veja a solu c ao das quest oes anteriores, agora com Modus Tolens : a) {P Q, Q} P 2. P Q

1. Q

3. P

[1 e 2 MT]

 1.2. LOGICA PROPOSICIONAL 2. B C b) {A B, B C } C A 3. B 4. A 1. A B 5. C A [2 E] [1 e 3 MT] [3 e 8 I]

35

Apesar de ser uma regra simples, e comum encontrarmos erros de racioc nio pela falta da sua observa c ao. Veja um exemplo pr atico:

Se Luana for ` a praia, Fanny n ao vai. Luana n ao vai ` a praia. Ent ao, Fanny vai ` a praia.

Para identicar o problema o argumento acima e interessante formaliz a-lo antes. Assim, considere os s mbolos L e F para representar as frases Luana vai ` a praia e Fanny vai ` a praia, respectivamente. Observe que n ao e poss vel derivar a f ormula conclusiva F das f ormulas antecedentes L F e L. O argumento e inv alido.

1. L F 2. L 3. F [ N ao existe regra pra isso]

Tabela Verdade
Mostrar como a usar tabelas-verdade para provar a validade ou invalidade de argumentos.

36

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

Equival encias
Mostrar as equival encias entre (A B ), A B , (A B ) e A B , usando talvez tabelas-verdade para provar. Mostrar como representar/indicar as equival encias nas deriva c oes formais.

1.3

Exerc cios Propostos

1- Os argumentos abaixo s ao v alidos. Utilize as regras de infer encia Silogismo Disjuntivo (SD), Modus Ponens (M P ), inclus ao e elimina c ao da nega c ao() e conjun ca o() para provar cada um deles. a) {A B, A B, B C } b) {A B C, C A} AC

(B C ) (A B ) EB EC

c) {A B C, D C, D E }

d) {B C A, A B, B (E )} e) {B A, A C, C D, B }

C A B J G T A

f) {N K, L K, N X B, L} g) {H G J S, H A, A G S }

h) {A B C D, C D F B, F T } i) {G H K, M K H, M } j) {R F W, R F, R W } k) {(H G) M, M G} G W

H G

1.3. EXERC ICIOS PROPOSTOS l) {Z W C, Z R, E Q R} m) {K L S G, L R, (S G)} n) {(A B ) (B C ), C D} DA E C QW RK

37

o) {A B C, B D, (D E ) A} p) {X Y Z, Z Y, X W Y }

W X

2- Semelhante ao exerc cio anterior, prove a validade dos argumentos. Por em, al em das regras de infer encia usadas anteriormente( M P , SD, I , E , I , E ), considere tamb em as regras inclus ao e elimina c ao da disjun c ao() e bicondicional(). a) {S (P R), S } P R C (A B )

b) {A (B C ), A B } c) {A B, B C } AC

d) {A B C A, C, A B }

AC (W X ) (Y W ) (A D) B

e) {X Y, (X W ) Y, Y W }

f) {(D C, C B, (D A) (B D)} g) {S G, R (G S ), S (T Q)} h) {(A B ) C, B T, T A, A}

((G R) (S G)) Q BT Q (T S )

i) {(S T, R T, R (S Q), T (T S )} j) {A (C B ), A B, B C } k) {A (B C ), A B } l) {A (B C ), A B } C B

C (A B ) C (A B )

38

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL R (S P )

m) {(Q P ) (Q R), Q S, S (P R)} 3- Formalize e prove os seguintes argumentos:

a) Ou Marileide vai ao teatro, ou Denise vai. Mas Aryane vai e Denise n ao vai, se Luana for ao teatro. Acontece que Luana vai. Portanto, Marileide vai ao teatro. b) Mara ou Lucimara comem chocolate. Mas Ricardo s o come se Mara comer chocolate. Se Lucimara comer chocolate, Ricardo tamb em come. Se Ricardo come chocolate, Gustavo n ao come. Dessa forma, posso dizer que Ricardo ou Gustavo comem chocolate. c) Crisl aine ou Gabriela v ao ` a festa. Mas Thiago s o vai ` a festa se e somente se Crisl aine tamb em for. Gabriela n ao vai ` a festa e Franscol andio vai. Assim, Franscol andio e Thiago v ao ` a festa. 4- Considerando todas as regras de infer encia estudadas e tamb em que todos argumentos abaixo s ao v alidos, d e uma prova formal para cada um deles. a) {A B, (A B )} b) {P Q, S P } BC S S

c) {P Q, S P, Q} d) {P Q, S P }

Q S S S R (S Q)

e) {Q P, S P, Q R} f) {(R Q) P, S P, R} g) {(R Q) P, S P }

 1.4. QUESTOES DE CONCURSOS h) {(R Q) S, (Q S ) P } i) {A B } A (B C ) C D AD B (A E ) C C (R Q) (P R)

39

j) {A B, (C B ), A D} k) {B A, (C B ), C A}

l) {A (B C ), C D, E D} m) {A B, C A, B D, C D}

n) {(A B ) (A C ), A, C B, C B }

o) {(A B ) (C D), (E B ) (F D), E F G, B D, A C } BG

1.4

Quest oes de Concursos

(UNB - Prova da Pol cia Federal) Texto para os itens de 1 a 8 Considere que as letras P, Q, R e T representem proposi c oes e que os s mbolos , , e sejam operadores l ogicos que constroem novas proposi c oes e signicam n ao, e, ou e ent ao, respectivamente. Na l ogica proposicional, cada proposi c ao assume um u nico valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. Com base nas informa c oes apresentadas no texto acima, julgue os itens a seguir. 1 - Se as proposi c oes P e Q s ao ambas verdadeiras, ent ao a proposi c ao (P ) (Q) tamb em e verdadeira. 2 - Se a proposi c ao T e verdadeira e a proposi c ao R e falsa, ent ao a proposi c ao R (T ) e falsa.

40

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

3 - Se as proposi c oes P e Q s ao verdadeiras e a proposi c ao R e falsa, ent ao a proposi c ao (P R) (Q) e verdadeira. Considere as senten cas abaixo. I Fumar deve ser proibido, mas muitos europeus fumam. II Fumar n ao deve ser proibido e fumar faz bem ` a sa ude. ao faz bem ` a sa ude, deve ser proibido. III Se fumar n IV Se fumar n ao faz bem ` a sa ude e n ao e verdade que muitos europeus fumam, ent ao fumar deve ser proibido. V Tanto e falso que fumar n ao faz bem ` a sa ude como e falso que fumar deve ser proibido; conseq uentemente, muitos europeus fumam. P Q R T Fumar deve ser proibido Fumar deve ser emcorajado Fumar n ao faz bem ` a sa ude Muitos europeus fumam

Com base nas informa c oes acima e considerando a nota c ao introduzida no texto, julgue os itens seguintes. 4 - A senten ca I pode ser corretamente representada por P (T ). 5 - A senten ca II pode ser corretamente representada por (P ) (R). 6 - A senten ca III pode ser corretamente representada por R P . 7 - A senten ca IV pode ser corretamente representada por (R (T )) P. 8 - A senten ca V pode ser corretamente representada por T ((R) (P )).

 1.4. QUESTOES DE CONCURSOS

41

9 - (FCC) Um economista deu a seguinte declara c ao em uma entrevista: Se os juros banc arios s ao altos, ent ao a ina c ao e baixa. Uma proposi c ao logicamente equivale ` a do economista e: a) se a ina c ao n ao e baixa, ent ao os juros banc arios n ao s ao altos. b) se a ina c ao e alta, ent ao os juros banc arios s ao altos. c) se os juros banc arios n ao s ao altos, ent ao a ina c ao n ao e baixa. d) os juros banc arios s ao baixos e a ina c ao e baixa. e) ou os juros banc arios, ou a ina c ao e baixa. 10 - (FCC) Aquele policial cometeu homic dio. Mas centenas de outros policiais cometeram homic dios, se aquele policial cometeu. Logo, a) centenas de outros policiais n ao cometeram homic dios. b) aquele policial n ao cometeu homic dio. c) aquele policial cometeu homic dio. d) nenhum policial cometeu homic dio. e) centenas de outros policiais cometeram homic dios. 11 - (FCC) Se Rasputin n ao tivesse existido, Lenin tamb em n ao existiria. Lenin existiu. Logo: a) Lenin e Rasputin n ao existiram b) Lenin n ao existiu c) Rasputin existiu

42

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

d) Rasputin n ao existiu e) Lenin existiu 12 - (AFTN) Jos e quer ir ao cinema assistir ao lme Fogo contra Fogo, mas n ao tem certeza se o mesmo est a sendo exibido. Seus amigos, Maria, Lu s e J ulio t em opini oes discordantes sobre se o lme est a ou n ao em cartaz. Se Maria estiver certa, ent ao J ulio est a enganado. Se J ulio estiver enganado, ent ao Lu s est a enganado. Se Lu s estiver enganado, ent ao o lme n ao est a sendo exibido; Ora, ou o lme Fogo contra Fogo est a sendo exibido, ou Jos e n ao ir a ao cinema. Vericou-se que Maria est a certa. Logo: a) o lme Fogo contra Fogo est a sendo exibido. b) Lu s e J ulio n ao est ao enganados. c) J ulio est a enganado, mas n ao Lu s. d) Lu s est a enganado, mas n ao J ulio. e) Jos e n ao ir a ao cinema. 13 - (AFTN) Se Nestor disse a verdade, J ulia e Raul mentiram. Se Raul mentiu, Lauro falou a verdade. Se Lauro falou a verdade, h a um le ao feroz nesta sala. Ora, n ao h a um le ao feroz nesta sala. Logo: a) Nestor e J ulia disseram a verdade b) Nestor e Lauro mentiram c) Raul e Lauro mentiram d) Raul mentiu ou Lauro disse a verdade

 1.4. QUESTOES DE CONCURSOS e) Raul e J ulia mentiram.

43

14 - (AFC) Se Beto briga com Gl oria, ent ao Gl oria vai ao cinema. Se Gl oria vai ao cinema, ent ao Carla ca em casa. Se Carla ca em casa, ent ao Raul briga com Carla. Ora, Raul n ao briga com Carla. Logo, a) Carla n ao ca em casa e Beto n ao briga com Gl oria b) Carla ca em casa e Gl oria vai ao cinema c) Carla n ao ca em casa e Gl oria vai ao cinema d) Gl oria vai ao cinema e Beto briga com Gl oria e) Gl oria n ao vai ao cinema e Beto briga com Gl oria 15 - Sejam as declara c oes: Se o governo e bom ent ao n ao h a desemprego. Se n ao h a desemprego ent ao n ao h a ina c ao. Ora, se h a ina c ao podemos concluir que: a) A ina c ao n ao afeta o desemprego b) Pode haver ina c ao independe do governo c) O governo e bom e h a desemprego d) O governo e bom e n ao h a desemprego e) O governo n ao e bom e h a desemprego 16 - (ESAF) Considere a senten ca: Paulo passar a no exame, pois e aluno estudioso, e alunos estudiosos passam no exame.. A conclus ao do argumento expresso por esta senten ca e:

44

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

a) Paulo e estudioso. b) Existem alunos estudiosos. c) Paulo passar a no exame. d) Alunos estudiosos passam no exame. e) Paulo e estudioso ou existem alunos estudiosos. 17 - (ESAF) Uma senten ca l ogica equivalente a Se Pedro e economista, ent ao Luisa e solteira. e: a) Pedro e economista ou Luisa e solteira. b) Pedro e economista ou Luisa n ao e solteira. c) Se Luisa e solteira, Pedro e economista. d) Se Pedro n ao e economista, ent ao Luisa n ao e solteira. e) Se Luisa n ao e solteira, ent ao Pedro n ao e economista. 18 - (ESAF) Se Ana n ao e advogada, ent ao Sandra e secret aria. Se Ana e advogada, ent ao Paula n ao e professora. Ora, Paula e professora. Portanto: a) Ana e advogada. b) Sandra e secret aria. c) Ana e advogada, ou Paula n ao e professora. d) Ana e advogada e Paula e Professora. e) Ana n ao e advogada e Sandra e secret aria.

 1.4. QUESTOES DE CONCURSOS

45

(CESPE/INSS) Proposi c oes s ao senten cas que podem ser julgadas como verdadeiras ou falsas, mas n ao admitem ambos os julgamentos. A esse respeito, considere que A represente a proposi c ao simples E dever do servidor apresentar-se ao trabalho com vestimentas adequadas ao exerc cio da fun c ao, e que B represente a proposi c ao simples E permitido ao servidor que presta atendimento ao p ublico solicitar dos que procuram ajuda nanceira para realizar o cumprimento de sua miss ao. Considerando as proposi c oes A e B acima, julgue os itens subseq uen tes, com respeito ao C odigo de Etica Prossional do Servidor P ublico Civil do Poder Executivo Federal e ` as regras inerentes ao racioc nio l ogico. 19 - Sabe-se que uma proposi c ao na forma Ou A ou B tem valor l ogico falso quando A e B s ao ambos falsos; nos demais casos, a proposi c ao e verdadeira. Portanto, a proposi c ao composta Ou A ou B, em que A e B s ao as proposi c oes referidas acima e verdadeira. 20 - A proposi c ao composta Se A ent ao B e necessariamente verdadeira. 21 -Represente-se por A a proposi c ao composta que e a nega c ao da proposi c ao A, isto e, A e falso quando A e verdadeiro e A e verdadeiro quando A e falso. Desse modo, as proposi c oes Se A ent ao B e Se A ent ao B t em valores l ogicos iguais.

46

CAP ITULO 1. LOGICA FORMAL PROPOSICIONAL

Cap tulo 2

Respostas dos Exerc cios

Cap tulo ??
Exerc cios Propostos (P ag. ??) 2 Quest ao: Um argumento e inv alido quando suas premissas s ao verdadeiras e sua conclus ao e falsa. 3 Quest ao: a) Sim. At e aqui aprendemos uma regra de infer encia l ogica: Todas as vezes que as premissas Se A ent ao B e A forem verdadeiras, podemos concluir que B tamb em e verdade.. A premissa considerada em quest ao e a segunda metade que faltava para que a conclus ao fosse verdadeira. b) Inv alido. Um argumento n ao e v alido se suas premissas s ao verdadeiras e a conclus ao e falsa. c) N ao. Deve-se observar o formato da regra que e: com as premissas Se A ent ao B e A, conclui-se B. O formato com premissas Se A ent ao B e n ao acontece A n ao existe. 4 Quest ao: a) Dedutivo v alido b) Indutivo fraco c) Dedutivo v alido d) Dedutivo v alido e) Indutivo forte f) Dedutivo inv alido g) Indutivo forte h) Dedutivo v alido

47

48 Cap tulo ??

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

Exerc cios Propostos (P ag. ??) 3 Quest ao: a) 1 (Os defensores do aborto s ao hip ocritas.) 2 [Eles, continuamente, contestam em altos brados a execu c ao de criminosos ou a destrui c ao de nossos inimigos.] 3 [Mas eles nada v eem de errado com o assassinato de crian cas inocentes.] b) 1 (O lixo jogado em locais indevidos traz preju zos ` a comunidade.) 2 [Ele ajuda na prolifera ca o de doen cas, polui visualmente a cidade, al em de destruir o ecossistema.] 3 [O lixo tamb em e o maior respons avel pelo entupimento de galerias pluviais, quando n ao, a conseq uente polui ca o nos rios.] c) 1 [Estou cursando na Universidade Federal, uma das melhores institui co es brasileiras.] Portanto, 2 [estou no Brasil]. 3 (Posso andar livremente), pois 4 [no territ orio brasileiro as pessoas t em o direito de ir e vir livremente.] d) 1 [Todos os argumentos s ao ou indutivos ou dedutivos.] 2 [O que voc e est a lendo agora e um argumento.] 3 [Este argumento n ao e indutivo.] Por isso 4 (te digo que este argumento e dedutivo) e) 1 [Hoje o d olar subiu e as minhas a c oes na bolsa de valores tamb em subiram.] 2 [Desde quando era estudante, h a mais de 10 anos, sempre observei que quando o d olar sobe, as a c oes sobrem.] Assim, 3 (se o d olar subir amanh a, certamente minhas a co es subir ao.) f) 1 [O mec anico falou que o problema no meu carro pode estar no motor ou na qualidade a bom], porque 3 [fa co revis oes preventivas e uso do combust vel.] 2 [O motor est oleo de boa qualidade.] Dessa forma, 4 (o problema est a no combust vel.) 5 [Lembro que posto onde abasteci pela u ltima vez n ao tem nem nome.] 6 [Postos sem nome certamente vendem combust vel sem marca e com baixa qualidade.] g)
1

(O pre co do p ao vai subir.) 2 [Houve aumento de pre co dos combust veis em todos os postos do Estado.] 3 [O aumento no combust vel faz o pre co do frete subir.] 4 [Por sua vez, o pre co do frete inuencia o valor nal da farinha de trigo e outros ingredientes do p ao.]

h) 1 (Ele e um idiota.) 2 [Se n ao fosse idiota n ao teria trocado um jantar preparado especialmente por sua el esposa por uma noite de galanteios e farras com os amigos.] Impl cito:
3

[Ele trocou o jantar pela noite de galanteios e farras com os amigos.]

i) 1 [Cl audia vai sair com Ricardo ou vai car em casa e ver novela.] 2 [Ela n ao quer sair com Ricardo], porque 3 [ele quer ir ao show de rock.] 4 [Cl audia odeia rock.] Dessa forma, 5 (Cl audia deve car em casa vendo novela.) Al em disso, 6 [o cap tulo de hoje 7 e imperd vel] porque [o menino lobo vai virar on ca].

49
j) 1 (O governo e o respons avel pela queda do viaduto.) 2 [H a mais de 15 anos n ao fazem manuten ca o preventiva.] Al em disso, 3 [no ano passado, engenheiros apontaram a necessidade de refor co na estrutura que suporta as 30ton de concreto.] k) 1 [Se o sandu che daquela lanchonete fosse bom eu n ao teria encontrado uma perninha de barata no meio da salada.] Impl citos: 2 [Uma perninha de barata foi encontrada na salada.] lanchonete n ao e bom.)
3

(O sandu che da

l) 1 [A terra realiza movimentos de transla c ao e rota ca o ao redor do sol], por isso 2 [temos o dia e a noite, assim como as esta c oes do ano, o vento, o frio e o calor.] 3 [A natureza necessita dessas varia c oes de temperatura e luminosidade para sobreviver.] Dessa forma, 4 (a natureza sempre est a viva.) m)
1

[Preciso trocar os pneus do carro,] j a que 2 [tenho que viajar no s abado] e 3 [os pneus est ao carecas.] 4 [Todas as vezes que compramos pneus para o carro, tamb em precisamos de balanceamento e alinhamento.] 5 (Assim, vou gastar com pneus e servi cos.)

n) 1 [A programa c ao da TV n ao e adequada para meus lhos.] 2 [N ao e adequada porque a classica c ao recomendada e para maiores de 14 anos] e 3 [meus lhos t em 10 e 12 anos.] Assim, 4 (meus lhos v ao assistir uma programa c ao musical em DVD,) porque 5 [todas as vezes que a programa c ao n ao e adequada, digo-lhes para fazer isso.] o) 1 [Abasteci o carro com 50 litros de combust vel.] 2 [Dirigi mais de 500Km sem abaste3 cer] e [meu carro faz 10Km com um litro de combust vel,] ent ao 4 (preciso abastecer.) Al em disso, 5 [um carro s o para de funcionar por motivo t ecnico ou por falta de combust vel.] 6 [Ele n ao tem problema t ecnico e parou de funcionar.] Ent ao, realmente eu preciso abastecer. (a u ltima frase e apenas uma repeti ca o da proposi c ao de n umero 4)

4 Quest ao: a) 2+3 1 b) 2 1 3 c) 1 2+4 3

50
d)

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

j) 1+2+3 4 2+3 1 k) 1+2 3 1+2 3 l) 3 1+2 4 5 6 1 2+3 4 m) 2+3+4 1 2+3 1+4 5 n) 2+3 1+5 4 o) 5 1+2+3 4 5+6

e)

f)

g)

h) 2+3 1 i) 3+4 1+2 7 6

51
Exerc cios Propostos (P ag. ??) 2 Quest ao: a) causa-efeito (mau) b) autoridade (bom) c) indutivo (bom) d) autoridade (bom) l) causa-efeito (mau) e) analogia (mau) f) causa-efeito (bom) g) indutivo (bom) h) causa-efeito (bom) m) ignor ancia (bom) n) causa-efeito (mau) o) causa-efeito (bom) i) analogia (bom) j) autoridade (bom) k) indutivo (bom)

Cap tulo 1
Exerc cios Propostos (P ag. 36) 1 Quest ao: a) 1. A B 2. A B 3. B C 4. A 5. B 6. C 7. A C b) [2 E] [1 e 4 MP] [3 e 5 SD] [4 e 6 I] 1. (A B ) C 2. D C 3. D E 1. A (B C ) 2. C A 3. A [2 E] 4. D 5. E 6. C [2 E] [3 e 4 MP] [2 E] c) 4. B C 5. C 6. B 7. A B [1 e 3 SD] [2 E] [4 e 5 SD] [6 I] [4 e 7 I]

8. (B C ) (A B )

52
7. A B 8. B 9. E B

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

[1 e 6 SD] [7 E] 1. N K [5 e 8 I] 2. L K 3. N (X B ) 4. L 1. B (C A) 2. A B 3. B (E ) 4. B 5. A 6. C A 7. C 8. E 9. E [2 E] [2 E] g) [1 e 4 SD] [5 e 6 SD] [3 e 4 MP] [8E] [7 e 9 I] 1. (H G) (J S ) 2. H A 3. A (G S ) 4. H 5. A [2 E] [2 E] [3 e 5 MP] [6 E] [4 e 7 I] [1 e 8 MP] [9 E] [7 e 10 I] 5. K 6. N 7. X B 8. B [2 e 4 MP] [1 e 5 SD] [3 e 6 MP] [7E] f)

d)

10. E C

e)

6. G S 7. G 1. B A 8. H G 2. A C 9. J S 3. C D 4. B 5. A 6. C 7. C 8. C A [1 e 4 MP] [2 e 5 MP] [6 E] [5 e 7 I] h) 10. J 11. J G

1. A B C D 2. C D F B

53
3. F T 4. B (C D ) 5. B 6. C D 7. F B 8. F 9. T 10. A 11. T A [1 E] 1. (H G) M [4 E] 2. M G [4 E] 3. M [2 e 6 MP] 4. G [5 e 7 SD] [3 e 8 MP] [1 E] [9 e 10 I] l) i) 1. Z (W C ) 1. (G H ) K 2. M K H 3. M 4. K H 5. K 6. H 7. G H 8. G [2 e 3 MP] [4 E] [4 E] [1 e 5 SD] [6 e 7 SD] 2. Z R 3. (E Q) R 4. R 5. E Q 6. Q 7. Z 8. W C 9. C Q W [3 E] [1 E] [5 E] [2 e 4 SD] [1 e 7 MP] [6 e 8 I] 5. H G 6. H 7. H G [2 e 3 MP] [1 E] [4 e 5 SD] [4 e 6 I] [1 E] k)

j)

m)

1. R F W 2. R F 3. R W 4. R 5. W [2 E] [3 e 4 SD]

1. (K L) (S G) 2. L R 3. (S G) 4. (S G) 5. K L [3 E] [1 e 4 SD]

54
6. L 7. K 8. R 9. R K

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

[5 E] [5 E] [2 e 6 MP] [7 e 8 I] 5. D E 6. B C 7. B 8. B 9. D [3 E] [1 e 4 MP] [6 E] [7 E] [2 e 8 SD] [5 e 9 MP]

n) 10. E 1. (A B ) (B C ) p) 2. C D 3. A B 4. B C 5. A 6. B 7. C 8. D 9. D A [1 E] [1 E] [3 E] [3 E] [4 e 6 MP] [2 e 7 SD] [5 e 8 I] 1. (X Y ) Z 2. Z Y 3. X (W Y ) 4. Z 5. Y 6. X Y 7. X 8. W Y o) 9. W 1. A ((B ) C ) 2. B D 3. (D E ) A 4. A [3 E] 10. W X [8 E] [7 e 9 I] [2 E] [2 E] [1 e 4 SD] [6 E] [3 e 7 MP]

2 Quest ao: a) 1. S (P R) 2. S 3. P R 4. P 5. P R [1 e 2 SD] [3 E] [4 I]

55
b) 2. (X W ) Y 3. Y W 1. A (B C ) 4. Y W 2. A B 5. X W 3. A 4. B 5. B C 6. C [2E] 6. W [2E] 7. Y [1 e 3 MP] 8. X [4 e 5 SD] [6I] 9. W X [1 e 7 SD] [6 e 8 I] [9 I] [2 E] [1, 4 e 5 E] [2 E] [3 E]

7. C (A B )

10. (W X ) (Y W )

c)

f) 1. A B 2. B C 3. B 4. C 5. B A 6. A 7. A C [2E] [2E] [1E] [3 e 5 MP] [4 e 6 I]

1. D C 2. C B 3. (D A) (B D ) 4. B D 5. C D 6. D [3 E] [1 E] [2, 4 e 5 E]

7. D A [3 E] 8. A 9. A [6 e 7 MP] [8 E] [6 e 9 I] [10 I]

d)

1. (A B ) (C A) 2. C 3. A B g) 4. A C [2 I]

10. A D

11. (A D ) B

1. S G e) 2. R (G S ) 1. X Y 3. S (T Q)

56
4. R 5. G S 6. S 7. G 8. G R 9. S G

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

[2 E] [2 E] 1. A (C B ) [3 E] 2. A B [1 e 6 MP] 3. B C [4 e 7 I] 4. C [1 e 5 I] [8 e 9 I] [10 I] k) 5. C B [4 I] [3 E] j)

10. (G R) (S G)

11. ((G R) (S G)) Q

h)

1. A (B C ) 2. A B 3. A 4. B 5. B C [1 E ] [4 e 5 SD] [6 I] l) 6. C [2 E] [2 E] [1 e 3 MP] [4 e 5 SD] [6 I]

1. (A B ) C 2. B T 3. T A 4. A 5. A B 6. B 7. B T

7. C (A B )

i)

1. A (B C ) 1. S T 2. R T 3. R (S Q) 4. T (T S ) 5. T S 6. S T [4 E] [ 1 e 5 I] [6 I] 2. A B 3. A 4. B 5. B C 6. C 7. A B [2 E] [2 E] [1 e 3 MP] [4 e 5 SD] [3 I]

7. Q (T S )

8. C (A B ) [6 e 7 I]

57
m) 6. Q P 7. Q R 1. (Q P ) (Q R) 8. R 2. Q S 9. R (S P ) 3. S (P R) 4. Q 5. S [2 E] [2 E] [8 I] [4 e 7 MP] [4 I] [1 e 6 MP]

3 Quest ao: a) c)

1. M D 2. L (A D ) 3. L 4. A D 5. D 6. M [2 e 3 MP] [4 E] [1 e 5 SD]

1. C G 2. T C 3. G F 4. G 5. F 6. C 7. C T 8. T [3 E] [3 E] [1 e 4 SD] [2 E] [6 e 7 MP] [5 e 8 I]

b)

1. M L 2. M R 3. L R 4. R G 5. R 6. R G [1, 2 e 3 E] [5 I]

9. F T

58
4 Quest ao: a)

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

5. |S 6. Q S 1. A B 2. A B 3. B 4. B C [2 E] [3 I] e) 1. Q P 2. S P 3. Q R

[2 e 4 MT] [3 - 5 PC]

b)

4. Q 1. P Q 2. S P 3. P 4. S [1 E] [2 e 3 MT] f) g) h) 5. P 6. S

[3 E] [1 e 4 MP] [2 e 5 MT]

c) 1. (R Q) S 1. P Q 2. S P 3. Q 4. P 5. S [1 e 3 MT] [2 e 4 MT] 2. (Q S ) P 3. |R Q 4. |S 5. |Q 6. |Q S 7. |P d) 8. |P R [Hip p/ PC] [1 e 3 MP] [3 E] [4 e 5 I] [2 e 6 MP] [7 I] [3 - 8 PC]

9. (R Q) (P R) 1. P Q 2. S P 3. |Q 4. |P [Hip p/ PC] [1 e 3 MT] i) 1. A B 2. |A

[Hip p/ PC]

59
3. |B 4. |B C [1 e 2 MP] [3 I] [2 - 5 PC] 2. C D 3. ED [H p/ PC] [H p/ PC] [ 1 e 5 MP] [4 e 6 MP] [2 e 7 MP] [3 e 8 MT] [5 - 9 PC] [4 - 10 PC]

5. A (B C )

4. |B 5. ||A

j)

6. ||B C 1. A B 2. C B 3. A D 4. C 5. B 6. A 7. D 8. C D [2 E] [2 E] [1 e 5 MT] [3 e 6 MP] 1. A B [4 e 7 I] 2. C A m) 7. ||C 8. || D 9. ||E 10. |A E 11. B (A E )

k)

3. B D 4. C D 1. B A 5. |B 2. C B 3. C A 4. |B 5. |A 6. B A 7. A 8. A D [Hip p/ PC] [1 e 4 SD] [4 - 5 PC] [2, 3 e 6 E] [7 I] 6. |D 7. |C 8. B C 9. |A 10. |C 11. A C 12. C [H p/ PC] [3 E 5 MP] [4 E 6 MT ] [5 - 7 PC] [H p/ PC] [2 e 9 MT] [9 - 10 PC] [ 1, 8 e 11 E]

l)

n)

1. A (B C )

1. (A B ) (A C )

60
2. A 3. C B 4. C B 5. |A C 6. |C 7. (A C ) C 8. |A B 9. |B 10. |C 11. (A B ) C 12. C

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

4. B D 5. A C 6. A B [H p/ PC] [ 5 E] [5 - 6 PC] [H p/ PC] 10. |B [2 e 8 MP] 11. C B [3 e 9 MT] 12. B [8 - 10 PC] [7, 11 e 1 E] 13. E B 14. F D [2 E] [2 E] [12 e 13 MT] [15 I] [3 e 16 MP] [10 e 17 I] [5, 6 e 11 vE] [8 - 10 PC] [4 e 9 MT] 7. C D 8. |C 9. |D [1 E] [1 E] [H p/ PC] [7 e 8 MP]

o)

15. E 1. (A B ) (C D ) 2. (E B ) (F D ) 3. E F G 16. E F 17. G 18. B G

Quest oes de Concursos (P ag. 39) 1 Quest ao: Errado! Observe que usando as regras de infer encia e imposs vel obter a f ormula P Q, assumindo que as f ormulas P e Q s ao verdadeiras. O esbo co da tabelaverdade abaixo mostra a interpreta c ao que prova que a deriva ca o sugerida n ao est a correta. P V 2 Quest ao: Errado! Veja o esbo co da tabela-verdade que mostra que a interpreta c ao sugerida n ao est a correta. T V R F T F R T V Q V P F Q F P Q F

61
3 Quest ao: Correto! Veja o esbo co da tabela-verdade que mostra que a interpreta c ao sugerida est a correta. P V Q V R F Q F P R F (P R) Q V

4 Quest ao: Errado! A senten ca I e corretamente representada pela f ormula P T 5 Quest ao: Correto! 6 Quest ao: Correto! 7 Quest ao: Correto! 8 Quest ao: Errado! A senten ca V e corretamente representada pela f ormula (RP ) T 9 Quest ao: letra a). Trata-se de uma a aplica c ao da regra Modus Tollens. 10 Quest ao: letra e). Trata-se de uma a aplica c ao da regra Modus Ponens. 11 Quest ao: letra c). Trata-se de uma a aplica c ao da regra Modus Tollens. 12 Quest ao: letra e). Basta usar as regras de infer encia Modus Ponens e Silogismo Disjuntivo :

1. M J 2. J L 3. L E 4. E C 5. M 6. J 7. L 8. E 9. C [1 e 5 MP] [2 e 6 MP] [3 e 7 MP] [4 e 8 SD]

13 Quest ao: letra b).

1. N (J R)

62
2. R L 3. L F 4. F 5. L 6. R 7. |N 8. |J R 9. |R 10. N R 11. N 12. N L

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

[3 e 4 MT] [2 e 5 MT] [Hip p/ PC] [1 e 7 MP] [8 E] [7 - 9 PC] [6 e 10 MT] [5 e 11 I]

14 Quest ao: letra a). Assumindo que as f ormulas at omicas signicam: B = Beto briga com Gl oria G = Gl oria vai ao cinema C = Carla ca em casa R = Raul briga com Carla

1. B G 2. G C 3. C R 4. R 5. C 6. G 7. B 8. C B [3 e 4 MT] [2 e 5 MT] [1 e 6 MT] [5 e 7 I]

15 Quest ao: letra e).

63
1. G D 2. D I 3. I 4. D 5. G 6. G D [2 e 3 MT] [1 e 4 MT] [4 e 5 I]

16 Quest ao: letra c). Aplica ca o da regra Modus Ponens. 17 Quest ao: letra e). Aplica ca o da regra Modus Tollens. 18 Quest ao: As alternativas b e e est ao corretas. Neste caso, quest ao deveria ser anulada no concurso. Observe:

1. A S 2. A P 3. P 4. A 5. S 6. A S [2 e 3 MT] [1 e 4 MP] (op ca o b) [4 e 5 I] (op c ao e)

19 Quest ao: certo. A e verdade e B e falso. Logo, a f ormula A B e verdadeira. 20 Quest ao: errado. A e verdade e B e falso. Logo, a f ormula A B e falsa. 21 Quest ao: errado. Observe que os valores l ogicos de A B e A B s ao diferentes. A V V F F B V F V F A F F V V B F V F V AB V F V V A B V V F V

Cap tulo ??
Exerc cios Propostos (P ag. ??) Quest oes de Concursos (P ag. ??)

64

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

1 Quest ao: letra a). Observe que a quest ao sugere a utiliza c ao do Modus Ponens ou Modus Tollens. Entretanto, nenhuma das regras podem ser usadas, pois n ao existe deriva c ao das proposi co es F D e F . A resposta ent ao e uma rearma c ao de uma das proposi co es: algu em signica que pelo menos um ( o pr oprio Francisco ). 2 Quest ao: letra b). Se aY (a) X (a), todo aquele que consulta Y, independente de consultar Z, tamb em consulta Y. 3 Quest ao: letra a). Se xB (x) A(x), ent ao se algu em l e C e B, vai tamb em l e A. 4 Quest ao: letra c). A verdade ou falsidade de cada proposi c ao (premissas e conclus ao) e independente da validade do argumento, que est a relacionada a forma coerente de racioc nio. Observe que o racioc nio l ogico est a correto, entretanto os elementos (proposi c oes) usados no racioc nio s ao falsos. 5 Quest ao: letra c). Basta saber que a nega ca o da nega ca o de X, na l ogica, e igual a arma ca o de X (X X ). 6 Quest ao: letra e) 7 Quest ao: letra b). Observe que xC (x) A(x) e equivalente a xC (x) A(x). 8 Quest ao: letra e) 9 Quest ao: letra b) 10 Quest ao: letra b) 11 Quest ao: letra c) 12 Quest ao: letra a). xP (x) A(x) equivale ` a xP (x) A(x) 13 Quest ao: Correto.

1. E (x) R(x) 2. C (x) A(x) 3. A(x) R(x) 4. E (marcelo) 5. A(x) R(x) [3 equiv]

Observando a f ormula, temos que qualquer R(x) implica A(x) (Modus Tollens). Na f ormula 2 vemos que para qualquer x carioca, sempre x ser a alegre (Modus Ponens). E, novamente, quem e alegre, n ao e rico (Modus Tollens). 14 Quest ao: Correto.

65
1. E (x) R(x) 2. C (x) A(x) 3. A(x) R(x) 4. E (marcelo) 5. A(x) R(x) 6. R(marcelo) 7. A(marcelo) 8. C (marcelo) [3 equiv] [1 e 4 MP] [5 e 6 MT] [2 e 7 MT] [6 e 8 I]

9. C (marcelo) R(marcelo)

15 Quest ao: Errado. Basta observar a solu c ao da quest ao anterior: Marcelo n ao e carioca, assim como nenhum outro funcion ario poderia ser. As deriva c oes foram feitas usando as f ormulas com o s mbolo da universalidade ( = paratodo ). 16 Quest ao: Errado. Todos os cariocas s ao alegres e n ao s ao ricos.

66

CAP ITULO 2. RESPOSTAS DOS EXERC ICIOS

Refer encias Bibliogr acas

1 MENDELSON, E. Introduction to Mathematical Logic. [S.l.]: D. Van Nostrand, 1987. 2 FERREIRA, A. B. de H. Novo Dicion ario Aur elio da L ngua Portuguesa. 3. ed. Curitiba: Positivo, 2004. ISBN 8574724149. c ao ` a L ogica. 3. ed. S ao Paulo: Editora Mestre Jou, 1981. 3 COPI, I. M. Introdu 4 POPPER, K. R. A L ogica da Pesquisa Cient ca. 8. ed. S ao Paulo: Editora Cultrix, 2003. ISBN 853160236X.

67