12

Autorretrato probabilstico. Waldemar Cordeiro, 196].

Filho de pai brasileiro e me italiana, Cordeiro nasceu na Itlia e veio morar no Brasil aos 21anos. Foi jornalista, professor universitrio e artista plstico pioneiro na chamada arte eletrnica (artenica), tomando-se figura importante no cenrio internacional. Observe que no seu autorretrato aparecem repetidas vezes as palavras sim e no. De fato, toda computao est baseada no sistema binrio, isto , composto por apenas dois elementos: sim ou no; tudo ou nada; ligado (on) ou desligado (ofj); falso ou verdadeiro. Neste capitulo voc ver como a lgica simblica vale-se do princpio de biva/ncia, segundo o qual toda proposio verdadeira ou falsa, no havendo outro valor de verdade que ela possa tomar. O sistema binrio implementa os circuitos eletrnicos dos computadores e a linguagem informtica.
141

liTabelas de verdade
Vamos agora tratar da validade ou invalidade dos argumentos. Na lgica proposicional, ao atribuir valores de verdade s sentenas, adotado o principio de bivalncia, segundo o qual toda proposio verdadeira ou falsa, no havendo outro valor de verdade que ela possa tomar. Dizemos ento que: os enunciados verdadeiros tm o valor de verdade verdadeiro (V). os enunciados falso (F). falsos tm o valor de verdade

c) Disjuno Como vimos, a disjuno pode ter dois sentidos diferentes. Observe que a diferena, nas duas tabelas, notada na primeira linha abaixo da risca. A disjuno exclusiva falsa quando ambas as proposies so verdadeiras.

Disjuno inclusiva
p
V

Disjuno exclusiva
p
V V

q
V F V F

pvq
V V V F

q
V F V F

pwq
F V V F

Representaremos as sentenas declarativas por letras sentenciais (maisculas), como A, B, C etc. As letras minsculas p, q, r etc. sero utilizadas para as variveis proposicionais (que podem ser substitudas por diferentes sentenas). a) Negao Uma proposio p qualquer pode ser verdadeira ou falsa. No caso de ser verdadeira, sua negao falsa. No caso de ser falsa, sua negao verdadeira.

V F F

F
F

d) Implicao (condicional) Note que em um enunciado condicional verdadeiro no se pode ter o antecedente verdadeiro e o consequente falso.

P
V F

NP
F V

p
V V

q
V F V F

p---+q
V F V V

Ou seja, se verdadeiro que "O senador renunciou" (p), falso dizer que "O senador no renunciou" (Np) e vice-versa. b) Conjuno Para duas proposies p e q quaisquer, seus valores de verdade podem ser combinados de quatro maneiras, conforme a tabela abaixo. A conjuno ser verdadeira somente no caso de ambas as proposies serem verdadeiras.

F F

p
V V F F

q
V F V F

p.q
V F F F

L-se assim a primeira linha abaixo da risca: "Sendo p verdadeiro e q verdadeiro, p . q verdadeiro:' Esse o nico caso em que a conjuno ser verdadeira.

Os enunciados condicionais so importantes tambm para refletirmos sobre as condies suficientes e as condies necessrias que ligam as sentenas. Vejamos o exemplo: Se Joo paulista, ento ele brasileiro" (P ---+ B) o mesmo que dizer que Joo paulista condio suficiente para ele ser brasileiro. Outro exemplo: "Se Maria divorciada, ento j foi casada" (D ---+ C), ou seja, C condio necessria para D: no se divorcia quem nunca se casou. Esse tipo de enunciado hipottico importante tambm quando examinamos as conexes entre eventos. Uma condio necessria para que se produza um efeito determinado aquela sem a qual o evento no pode ocorrer. Por exemplo, o oxignio condio necessria para que haja combusto, mas no condio suficiente.
Captulo 12

lgica simblica

e) Equivalncia
Enquanto a sentena condicional estabelece uma relao de sentido nico, a relao de equivalncia bicondicional, porque se d nos dois sentidos.

a) ",L

b) ",(L. E) c) L~E d)(L. '" E) ~ L e) (L v ",E) . (",L. E)

Respostas: a) A linguagem da economia no o economs. b) No o caso, ao mesmo tempo, que a linguagem da economia o economs e que os economistas falam economs. c) A linguagem da economia o economs se e somente se os economistas falam economs. d) Se a linguagem da economia o economs e os economistas no falam economs, ento a linguagem da economia o economs. e) A linguagem da economia o economs ou os economistas no falam economs. Alm disso, a linguagem da economia no o economs e os economistas falam economs. 3. "Se A, B e C so enunciados verdadeiros e X, Y e Z so enunciados falsos, quais so os verdadeiros dentre os enunciados seguintes" (para a resposta, consulte as tabelas de verdade.) a) (CvZ).(YvB) b) ",B vC c) ",[(",YvZ)v(",ZvY)]

p~

V V F F

F
V

F
F V

Nesse caso, o bicondicional verdadeiro quando ambos os enunciados tm o mesmo valor de verdade, e falso quando tm valores de verdade diferentes.

m Sinais de pontuao
Quando os enunciados so mais complexos do que os vistos at aqui, precisamos usar, alm dos smbolos de que j lanamos mo, outros sinais de pontuao para os tornar inteligveis e evitar ambiguidade. Alis, o mesmo acontece na matemtica. Por exemplo, na expresso 3 x 5 + 4, o resultado ser diferente se agruparmos os nmeros (3 x 5) + 4 ou ainda 3 x (5 + 4): no primeiro caso o resultado 19 e no segundo 27. Da a necessidade de usar parnteses ou chaves. Vamos exercitar: tente sozinho e s depois confira as respostas. 1. Simbolize as sentenas usando como referncia as letras sublinhadas: a) Alm da pssima gistribuio pas, continua a forrupo. de renda no

d) [A. (B v C)] . "'[ (A. B) v (A. C) ]

Respostas a) Verdadeiro. Como exemplo, vamos explicitar apenas este exerccio; nos seguintes, que . tm chaves, lembre-se de como voc trabalha em matemtica.
(C v Z) V F (Y v B) F V

b) Se hoje Quinta-feira, ento amanh ser .exta-feira. Respostas:

a) D. C

b) Q ~ S

2. Traduza as variaes do enunciado a seguir, a partir dos smbolos que aparecem na sequncia (ainda no temos preocupao com a verdade ou falsidade das sentenas). Exemplo: ''Alinguagem da economia o economs, e os gconomistas falam economs".' L.E o exemplo de Paulo Roberto Margutti 2001. p. 83. O exemplo de Irving Copio Introduo
Unidade 3
Pinto, Introduo

V
V

b) Verdadeiro. c) Falso. d) Falso.

lgica simblica. Belo Horizonte:

UFMG,

lgica. 2. ed. So Paulo: Mestre Iou, 1978. p. 233.

r ':~'" I

o conhecimento

fi Tabelas de verdade
Vamos agora tratar da validade ou invalidade dos argumentos. Na lgica proposicional, ao atribuir valores de verdade s sentenas, adotado o princpio de bivalncia. segundo o qual toda proposio verdadeira ou falsa, no havendo outro valor de verdade que ela possa tomar. Dizemos ento que: os enunciados verdadeiros tm o valor de verdade verdadeiro (V). os enunciados falsos tm o valor de verdade

c) Disjuno Como vimos, a disjuno pode ter dois sentidos diferentes. Observe que a diferena, nas duas tabelas, notada na primeira linha abaixo da risca. A disjuno exclusiva falsa quando ambas as proposies so verdadeiras.

Disjuno inclusiva
p
V V F F

Disjuno exclusiva
p

q
V

pvq
V V V F

I pwq
V V
F

falso (F).
Representaremos as sentenas declarativas por letras sentenciais (maisculas), como A, B, C etc. As letras minsculas p, q, r etc. sero utilizadas para as variveis proposicionais (que podem ser substitudas por diferentes sentenas). a) Negao Uma proposio p qualquer pode ser verdadeira ou falsa. No caso de ser verdadeira, sua negao falsa. No caso de ser falsa, sua negao verdadeira.

F
V

V F
F

F V
F

d) Implicao (condicional) Note que em um enunciado condicional verdadeiro no se pode ter o antecedente verdadeiro e o consequente falso.

"'p

V
F

F
V

p
V V

q
V

p---+q
V

F
V F

F
V V

Ou seja, se verdadeiro que "O senador renunciou" (p), falso dizer que "O senador no renunciou" ("'p) e vice-versa. b) Conjuno Para duas proposies p e q quaisquer, seus valores de verdade podem ser combinados de quatro maneiras, conforme a tabela abaixo. A conjuno ser verdadeira somente no caso de ambas as proposies serem verdadeiras.

F F

p
V V F F

q
V F V F

p.q
V F

F
F

L-se assim a primeira linha abaixo da risca: "Sendo p verdadeiro e q verdadeiro, p . q verdadeiro:' Esse o nico caso em que a conjuno ser verdadeira.

Os enunciados condicionais so importantes tambm para refletirmos sobre as condies suficientes e as condies necessrias que ligam as sentenas. Vejamos o exemplo: Se Joo paulista, ento ele brasileiro" (P ---+ B) o mesmo que dizer que Joo paulista condio suficiente para ele ser brasileiro. Outro exemplo: "Se Maria divorciada, ento j foi casada" (D ---+ C), ou seja, C condio necessria para D: no se divorcia quem nunca se casou. Esse tipo de enunciado hipottico importante tambm quando examinamos as conexes entre eventos. Uma condio necessria para que se produza um efeito determinado aquela sem a qual o evento no pode ocorrer. Por exemplo, o oxignio condio necessria para que haja combusto, mas no condio suficiente.

Lgica simblica

Captulo 12 ~~'

e) Equivalncia Enquanto a sentena condicional estabelece uma relao de sentido nico, a relao de equivalncia bicondicional, porque se d nos dois sentidos. lp+--+q
V F F V

a) ~L b) ~(L. E) c) L +--+ E d)(L . ~ E)

--+

e) (Lv~E).(~L.E) p
V V F F

q
V F V F

Respostas:

a) A linguagem da economia no o economs. b) No o caso, ao mesmo tempo, que a linguagem da economia o economs e que os economistas falam economs. c) A linguagem da economia o economs se e somente se os economistas falam economs. d) Se a linguagem da economia o economs e os economistas no falam economs, ento a linguagem da economia o economs. e) A linguagem da economia o economs ou os economistas no falam economs. Alm disso, a linguagem da economia no o economs e os economistas falam economs. 3. "Se A, B e C so enunciados verdadeiros e X, Y e Z so enunciados falsos, quais so os verdadeiros dentre os enunciados seguintes'? (para a resposta, consulte as tabelas de verdade.) a) (CvZ).(YvB) b) ~B v C c) ~[(~YvZ)v(~ZvY)]

Nesse caso, o bicondicional verdadeiro quando ambos os enunciados tm o mesmo valor de verdade, e falso quando tm valores de verdade diferentes.

m Sinais de pontuao
Quando os enunciados so mais complexos do que os vistos at aqui, precisamos usar, alm dos smbolos de que j lanamos mo, outros sinais de pontuao para os tornar inteligveis e evitar ambiguidade. Alis, o mesmo acontece na matemtica. Por exemplo, na expresso 3 x 5 + 4, o resultado ser diferente se agruparmos os nmeros (3 x 5) + 4 ou ainda 3 x (5 + 4): no primeiro caso o resultado 19 e no segundo 27. Da a necessidade de usar parnteses ou chaves. Vamos exercitar: tente sozinho e s depois confira as respostas. 1. Simbolize as sentenas usando como referncia as letras sublinhadas: a) Alm da pssima Qistribuio de renda no pas, continua a orrupo.
b) Se hoje guinta-feira,

d) [A. (B v C)] . -I (A. B) v (A. C) ]

Respostas a) Verdadeiro. Como exemplo, vamos explicitar apenas este exerccio; nos seguintes, que . tm chaves, lembre-se de como voc trabalha em matemtica. (e v Z) (Y v B)
F V

ento amanh ser

.exta-feira. Respostas: a) D. C b) Q --+ S 2. Traduza as variaes do enunciado a seguir, a partir dos smbolos que aparecem na sequncia (ainda no temos preocupao com a verdade ou falsidade das sentenas). Exemplo: ''A linguagem da economia o economs, e os ~conomistas falam economs".' L.E o exemplo
2001. p. 83. O exemplo

V
V

b) Verdadeiro. c) Falso. d) Falso.

UFMG,

de Paulo Roberto Margutti Pinto, Introduo lgica simblica. Belo Horizonte:

de

Irving Copio Introduo

lgica. 2. ed. So Paulo: Mestre jou, 1978. p. 233.

['

Unidade 3

o conhecimento

D Formas

de enunciado

Agora vamos descobrir como identificar se um argumento vlido ou invlido, o que pode ser observado pelas formas do raciocnio. Sob esse aspecto, os enunciados so classificados como tautolgicos, contraditrios ou contingentes. Vejamos melhor cada um desses trs tpicos.

2. Observe a coluna ""'Q" e aplique a tabela de verdade para a negao, a fim de encontrar os novos valores de verdade e falsidade. 3. Relacione "<P" e a primeira coluna (P) e aplique a tabela de verdade para a negao. 4. Compare os dois resultados de (P ~ Q) e de ""'Q" e aplique a tabelada conjuno. 5. Por fim, relacione este ltimo resultado com "<P" e aplique a tabela do condicional. Se todos os resultados forem verdadeiros (como est assinalado), o condicional tautolgico e, portanto, o argumento vlido.

Tautologia
Os enunciados cuja caracterstica a tautologi so aqueles que sempre resultam verdadeiros, no importam quais sejam as condies.

ETIMOLOGIA
Tautologia. Do grego taut, "o mesmo", e lagos, "palavra", "sentena", Portanto, tautologia "dizer o mesmo",

Contradio
Os enunciados cuja caracterstica a contradio so aqueles em que o valor de verdade sempre falso. Por exemplo, a forma de enunciado p . "'p contraditria. Observe a tabela:

A tautologia importante para demonstrar a validade de um argumento. Veremos a seguir que, se obtivermos o condicional com as premissas como antecedente e a concluso como consequente e constatarmos uma tautologia, poderemos concluir que o argumento vlido. Por exemplo: Se Pedra estuda, ento ser aprovado. (P ~ Q) Pedro no foi aprovado. ('" Q) Logo, Pedro no estudou. ('" P) Ou seja: [(P ~ Q). ",Q] ~ '" P Aseguir,montamosatabelaquemostrasehtautologia, e,portanto, se o argumento vlido. Para entender oprocedimento, consulte as tabelas de verdade da negao, da conjuno, da disjuno ou do condicional que constam do item 3 e acompanhe a leitura da tabela com as observaes enumeradas na sequncia:

p V F V F

p . "'p F F F V

A coluna sob o operador principal s tem F, portanto, o enunciado contraditrio.

Contingncia
A contingncia refere-se aos enunciados que podem ser verdadeiros ou falsos, sendo que a verdade ou a falsidade no pode ser determinada s do ponto de vista lgico (como as contraditrias e tautolgicas), mas depende das condies fatuais. Por exemplo, os enunciados "Maria Qivorciada" e "Maria .axofonista". Veja a tabela, em que usamos as letras sublinhadas DeS:
D,S V F V F V V F F V F F F V F V F

P V V F F

Q
V F V F

"'Q
F V F V

[(P ~Q), V F F F V F V V

"'Q] ~",P
F V V V F V V V V F V F

DS V

Decifrando a tabela: 1. Comece pelas sentenas "P" e "Q", aplicando a tabela de verdade para a implicao, com suas quatro possibilidades.

V F F

Lgica simblica

Captulo 12

Na coluna mais escura, vemos um V e trs Fs, o que indica a contingncia porque h enunciados verdadeiros e enunciados falsos.

11QUEM

~ Consistncia dos enunciados

A noo de consistncia importante na lgica para se verificar, em um conjunto de enunciados, se existe alguma contradio interna. Quando um conjunto de enunciados consistente, no possvel dele extrair uma contradio. Mas quando um conjunto de enunciados inconsistente (envolve uma contradio), logicamente impossvel que todos os seus enunciados sejam verdadeiros, simultaneamente. Para Irving Copi," razovel que, na pesquisa cientfica, "uma hiptese aceitvel seja compatvelou coerente com outras hipteses que j foram bem confirmadas". E d o exemplo da hiptese de Leverrier de que havia um planeta adicional no registrado, alm da rbita de Urano, o que era compatvel com a teoria astronmica aceita, hiptese que foi confirmada pela descoberta de Netuno. O mesmo fenmeno repetiu-se com a descoberta de outro astro, Pluto, na poca considerado um planeta.

Gottlob Frege (1848-1925), matemtico e filsofo alemo, considerado um dos principais iniciadores da lgica matemtica. Embora j houvesse tentativas anteriores, desde Leibniz (sc.XVII),foi Fregeque formulou o primeiro sistema formal da lgica moderna. Tambm dele o conceito de quantificador para ligar as vaGottlob riveis, fundamento da lgica Frege, 1920. de predicados, o que para muitos foi uma das maiores invenes intelectuais. As descobertas sobre a linguagem matemtica o levaram a refletir sobre a natureza da linguagem em geral, o que o tornou um dos iniciadores da filosofia analtica, infl uencia ndo pensadores como Bertrand Russell, Rudolf Carnap e LudwigWitlgenstein.

D A lgica

Para os predicados so usadas letras maisculas: na sentena "Scrates humano', "H" simboliza "humano'. As variveis individuais so simbolizadas por letras minsculas x, y, z, para representar objetos individuais. Alm dessas notaes, continuamos usando os conectivos lgicos j conhecidos. Vamos agora aos exemplos. a) "Todo S p" pode ser expresso assim: Qualquer que seja x, se x S, ento x P. Ou seja,
\Ix (Sx
---+

de predicados

At aqui no examinamos a estrutura interna dos enunciados simples. Vamos ento tratar da lgica de predicados, mas tendo em vista o carter introdutrio deste captulo, no nos estenderemos aqui alm de algumas noes iniciais. A lgica de predicados envolve os quantiflcadores, que se expressam pelas palavras "qualquer", "todo", "cada", "algum", "nenhum", "existe". Os quantificadores podem ser universais e existenciais. O quantiflcador universal representado pelo smbolo \I, que significa "qualquer que seja" ou "para todo'. O quantiflcador existencial representado pelo smbolo ::I,usado em proposies particulares iniciadas por "algum', "para pelo menos um', "para algum". As constantes individuais so simbolizadas com letras minsculas, de preferncia a primeira letra dos nomes prprios, por exemplo "Scrates" simbolizado por

Px)

b) "Nenhum humano mortal" pode ser formalizado assim: Qualquer que seja x, se x H, ento x no M. Ou seja: \Ix (Hx
---+ ~

Mx)

c) Neste exemplo precisamos recorrer ao quantiflcador existencial: Algum humano mortal. Podemos dizer: Para pelo menos um x, x H e x M. Ou ento: Existe um x, tal que x H e x M (cujo conectivo uma conjuno). Donde: ::Ix(Hx. Mx) d) Algumas coisas so brancas e algumas no so brancas. ::IxBx.::Ix~Bx e) Se nada cinza, ento no existem ternos cinza. ~::IxCx ---+
rv

r,

::Ix(Tx. Cx)

COP!, Irving. Introduo

lgica. 2. ed. So Paulo: Mestre]ou,

1978. p. 387.

'.

Unidade 3

o conhecimento

9 Lgicas complementares
e alternativas
Nos ltimos 150 anos a lgica sofreu uma transformao nunca vista, com a elaborao de sistemas lgicos diferentes do clssico ou do tradicional. A utilizao de uma simbologia apropriada provocou mudanas profundas, possibilitando maior rigor lgico, suficiente para torn-Ia propriamente uma cincia formal. Alm da lgica simblica, desenvolveram-se outros sistemas lgicos. Algumas dessas lgicas so complementares, no sentido de ampliarem aspectos da lgica clssica, outras so rivais ou alternativas e contrariam alguns fundamentos dela," As diferenas so as mais diversas: algumas consideram a possibilidade e a contingncia; ou o tempo verbal assume relevncia que no existe na lgica tradicional; em outras, como na lgica paraconsistente do professor brasileiro Newton da Costa, a contradio no trivializa o sistema; h as que recusam o princpio da bivalncia - para o qual s h dois valores, o verdadeiro e o falso - para admitir

um terceiro valor, o indeterminado; a mais conhecida delas a lgica dialtica de Marx e Engels, que admite a contradio.

m A importncia da lgica
simblica
A lgica clssica, tal como Aristteles a formulou, e as contribuies que os filsofos fizeram ao longo do tempo, no a alteraram substancialmente. A tal ponto isso verdadeiro, que, no sculo XVIII, Kant afirmava ser a lgica uma cincia completa, acabada. A partir do sculo XIX, porm, surgiram inmeras lgicas, no s para cornplement-la, como a lgica simblica, mas tambm para rivalizar com a tradicional. A importncia da lgica tem aumentado com o desenvolvimento da cincia e da tecnologia, na medida em que seu campo de atuao se amplia como instrumento do pensar indispensvel em filosofia, matemtica, computao, direito, lingustica, cincias da natureza e tecnologia em geral. Neste ltimo quesito, citamos a sua contribuio em setores os mais diversos: inteligncia artificial, robtica, engenharia de produo, administrao e controle de trfego, entre outros. Enfim, a lgica simblica que nos proporciona inmeras facilidades em nossa vida diria, de que muitas vezes nem suspeitamos, como retirar dinheiro no caixa eletrnico, distrairmo-nos com os joguinhos computadorizados e digitar comandos no computador. Por exemplo, ao acionar um cone que se encontra na barra de ferramentas, nem sempre sabemos estar ativando uma funo matemtica, que pode ser analisada na lgica simblica.

Em agosto de 2009, ao completar 80 anos, o professor Newton da Costa foi homenageado por ocasio de um evento realizado na Universidade Estadual de Campinas (Unicamp), do qual participaram sessenta matemticos, lgicos e filsofos do mundo inteiro. Reconhecido internacionalmente pela sua original teoria da lgica paraconsistente, o filsofo partiu da constatao de que, se a lgica clssica recusa a contradio, seria preciso criar outras que pudessem lidar com dados incompatveis. O professor trabalhou com esse conceito durante 30 anos, interessado apenas na beleza matemtica que ele implica e se diz surpreso em ver como sua teoria mostrou-se fecunda ao ser utilizada nas reas de diagnstico mdico, finanas, gesto ambiental, controle de trfego areo e de trens, entre outras aplicaes.

Consultar HAACK,Susan. Filosofia das lgicas. So Paulo: Editora Unesp, 2002. p. 207 e seguintes; e MORTARI, Cesar A. Introduo lgica. So Paulo: Editora Unesp/lmprensa Oficial do Estado, 2001. p. 349 e seguintes.

Lgica simblica

Captulo 12 [..........

> Exercicios de simbolizao de sentenas

Agora, traduza essas expresses.

a) P wE

D De acordo

com os exemplos fornecidos no item 4, "Sinais de pontuao", simbolize as sentenas a seguir, usando como referncia as letras destacadas em negrito, a negao da seguinte sentena: O presidente do Brasil oriundo das camadas pobres da populao.

b) P . c)
N

E +-+ P

d) (R . T) -+ (N P -+ E)

a) Simbolize

11 Se A e B so

b) No li o livro nem assisti ao filme. c) Voc passar na prova se e somente se estudar muito. d) Ou no janto ou tomo uma sopa.
e) Este no um bolo saboroso.

enunciados verdadeiros e X e Y so enunciados falsos, aplique as tabelas de verdade nos enunciados a seguir para examinar quais so verdadeiros.
a) (A V B) . (X . Y)

b)

X -+ (A W Y)

c) [Y -+ (A . B) . X]

11 Se A, B e C so
se eu ento o trabalho,
a) X -+ (B -+ C)

f) Irei com voc ao cinema terminar esse trabalho.

g) Se no conseguir

se e somente

terminar

enunciados verdadeiros e X, Y e Z so enunciados falsos, determine quais dos seguintes so verdadeiros (utilize as tabelas de verdade).

ficarei em casa.

11 Simbolize

as sentenas a seguir, conforme as convenes indicadas. A = A Argentina ataca as Malvinas.

b) NA
c)NA.NX

d) (A .

X) -+A

I = A Inglaterra mobiliza sua esquadra. B

e) [(A. X) V B] -+A

O Brasil apoia a Argentina.

E = Os EUA apeiam a Inglaterra. Exemplo: Se a Argentina ataca as Malvinas e a Inglaterra mobiliza sua esquadra, ento o Brasil apeia a Argentina e os EUA apoiam a Inglaterra. (A . I) -+ (B . E) a) Ou a Argentina ataca as Malvinas e o Brasil apoia a Argentina, ou os EUA apeiam a Inglaterra. b) No o caso de, ao mesmo tempo, a Argentina atacar as Malvinas e o Brasil apoiar a Argentina. c) Se a Argentina no ataca as Malvinas, ento a Inglaterra no mobiliza sua esquadra, do mesmo modo que se o Brasil no apoia a Argentina, ento os EUA no apeiam a Inglaterra.

> Exercicios sobre tautologia e contradio

11 Verifique
a) (P .

se os enunciados tologia e/ou contradio.

das questes so tau-

Q) -+ P

b)

,N

[P -+ (Q -+ P)]

> Exerccios de notao

D Faa a traduo

usando os quantificadores universais ou existenciais, as variveis e as constantes. no so justos.

a) Alguns humanos

b) Nenhuma baleia peixe. c) Todos os vereadores muncipes.

d) Algumas pessoas e) Ou qualquer

so representantes

dos

D Observe
T

as letras sentenciais

e as sentenas.

so tmidas. ou nada

R = Os terroristas fazem refns.

coisa uma laranja

Os terroristas exigem que os pases retirem suas tropas do Iraque.

uma laranja. f) Nenhum planeta estrela.

g) Todos os mamferos

E = Os refns so executados. p = Os pases retiram suas tropas.

so vertebrados.

h) Algumas crianas so precoces.

Alguns exerccios foram baseados nas obras de Mortari, Copi e Nolt.