1

INTRODUO LGICA
ARISTTELES (384-322 a. C)
A Lgica como disciplina intelectual foi criada por Aristteles.
Antes de Aristteles j havia certa preocupao com a questo da validade dos argumentos.
Mas, apesar de pensadores antes de Aristteles, terem se ocupado com tais questes. De fato, nunca
desenvolveram uma teoria lgica.
Pois, no procuraram fazer um estudo sistemtico dos tipos de argumentos vlidos.

LGICA: Estudo dos princpios e mtodos de inferncia, tendo como objetivo determinar em
que condies certas coisas se seguem (so conseqncia), ou no de outras.

ARGUMENTO: uma seqncia de proposies na qual uma das proposies a concluso e

as demais so premissas. As premissas de um argumento servem para provar, ou fornecer
evidncias para a concluso.

PRINCPIOS DA LGICA ARISTOTLICA

A Lgica criada por Aristteles se baseia em trs princpios:
a) Princpio da Identidade: Afirma que algo idntico a si mesmo, ou seja, A A.
b) Princpio da no-Contradio: Afirma que algo no pode ser e no ser ao mesmo tempo, ou seja, no
possvel A A e no-A.
c) Princpio do Terceiro Excludo: Afirma que algo ou verdadeiro ou falso, no havendo terceira opo.
1) (UEM Inverno 2009) Na lgica clssica, trs princpios lgicos (as trs leis do pensamento), a saber, os
princpios de identidade, de no contradio e do terceiro excludo, condicionam o valor de verdade de todo
pensamento e de todo discurso. Assinale verdadeiro para a coluna I e falso para a coluna II.
I II
(0) (0) O princpio de identidade afirma que cada coisa aquilo que ; uma proposio verdadeira ento verdadeira.
(1) (1) O princpio de no contradio estabelece que no se pode afirmar e negar o mesmo predicado do mesmo
sujeito, ao mesmo tempo e na mesma relao.
(2) (2) De acordo com o princpio de no contradio, possvel que proposies contraditrias possam ser ambas
verdadeiras, mas jamais falsas.
(3) (3) O princpio do terceiro excludo afirma que uma proposio verdadeira ou falsa, vale dizer, que verdadeira
a disjuno p ou no-p.
(4) (4) De acordo com o princpio do terceiro excludo, h casos em que uma proposio parcialmente verdadeira ou
incompletamente falsa.

ESTRUTURA LGICA DOS ARGUMENTOS

Argumento = Premissas + Concluso
PREMISSAS (antecedentes)

(INFERNCIA)
CONCLUSO (conseqente)
As premissas de um argumento servem para provar, ou fornecer evidncias para a concluso.
Exemplo:
Todos os homens so mortais.

(Premissa)

Scrates um homem.

(Premissa)

Scrates mortal.

(Concluso)

VERDADE E VALIDADE
a) VERDADE E FALSIDADE s podem ser predicados das proposies, e nunca dos argumentos.
b) VALIDADE E INVALIDADE s podem ser predicados dos argumentos (dedutivos), e nunca
das proposies.
Um argumento vlido se qualquer circunstncia que torna suas premissas verdadeiras faz com
que sua concluso seja automaticamente verdadeira.
Um argumento correto se for vlido e, alm disso, tiver premissas verdadeiras.
ARGUMENTO 1: Todas as proposies verdadeiras, argumento vlido e correto.
P1: Todas as baleias so mamferos.
P2: Todos os mamferos tm pulmes.
Logo, Todas as baleias tm pulmes.

(V)
(V)
(V)

O argumento VLIDO, pois as premissas levam concluso.

O argumento CORRETO, pois vlido, e, alm disso, tem premissas verdadeiras.
ARGUMENTO 2: Todas as proposies falsas, e argumento vlido.
P1: Todas as aranhas tm seis patas.
P2: Todos os seres de seis patas tm asas.
Logo, Todas as aranhas tm asas.

(F)
(F)
(F)

3
Apesar de todas as proposies serem FALSAS, o argumento VLIDO, pois as premissas
levam concluso, ou seja, se as premissas fossem verdadeiras a concluso tambm seria.
O argumento NO CORRETO, pois apesar de ser vlido suas premissas so falsas.
ARGUMENTO 3: Todas as proposies verdadeiras, porm argumento invlido.
P1: Se Joo Tivesse Todo O Ouro Do Mundo,
Seria Rico.
P2: Joo No Tem Todo O Ouro Do Mundo.
Logo, Joo No Rico.

(V)
(V)
(V)

Apesar das proposies serem VERDADEIRAS, o argumento INVLIDO, pois a concluso

no deriva das premissas: Joo poderia ser rico, mesmo no tendo todo o ouro do mundo.
O argumento NO CORRETO, pois apesar de todas as proposies serem verdadeiras o
argumento no vlido.
ARGUMENTO 4: Premissas verdadeiras, mas concluso falsa.
P1: Se Slvio Santos possusse todo o ouro do
mundo, seria rico.
P2: Slvio Santos no tem todo o ouro do
mundo.
Logo, Slvio Santos no rico.

(V)
(V)
(F)

O Argumento INVLIDO, pois impossvel que um argumento VLIDO tenha premissas

VERDADEIRAS e concluso FALSA. E se no vlido tambm no CORRETO.

VALIDADE E CORREO
(A1)

(A2)

(A3)

(A4)

Sim

No

Sim

Sim

A concluso verdadeira? Sim

No

Sim

No

O argumento vlido?

Sim

Sim

No

No

O argumento correto?

Sim

No

No

No

Todas as premissas do
argumento so
verdadeiras?

O QUE UMA PROPOSIO?

Lgica Informal: Argumentos
Como vimos, um argumento uma seqncia de proposies na qual um dos enunciados a
concluso e os demais so premissas.
Uma proposio uma idia expressa por uma sentena declarativa/afirmativa, cujo
significado pode ser verdadeiro ou falso.
Uma sentena uma seqncia de palavras obedecendo a regras gramaticais, que podem
ser combinadas para formar argumentos, declaraes informativas, poemas, etc.
Exemplos:
Sentenas que so proposies:
A terra redonda.
Est chovendo.
O sol uma estrela.
Sentenas que no so proposies:
Voc est entendendo?
Cuidado!
Aquela cadeira est quebrada. (sem apontar para uma cadeira)
2) (UEM Inverno 2008) Uma proposio pode ser descrita como um discurso declarativo que expressa
verbalmente a operao mental em que se afirma ou nega a inerncia ou a relao entre dois ou mais termos; um
enunciado suscetvel de verdade ou de falsidade. Conforme essa descrio, assinale o que for uma proposio
com verdadeiro para a coluna I e a que no for com falso para a coluna II.
I II
(0) (0) O homem um animal poltico.
(1) (1) V embora!
(2) (2) caneta, lpis, caderno...
(3) (3) Por que somente o homem est sujeito a se tornar imbecil?
(4) (4) As transformaes naturais sempre levam a um aumento na entropia do Universo.

INDUO E DEDUO
Os argumentos lgicos tm basicamente dois tipos:
Dedutivos: so argumentos nos quais a concluso retirada necessariamente de suas premissas. A
concluso no vai alm do que j estava implcito nas premissas.
Indutivos: so argumentos nos quais a concluso retirada a partir de casos e evidncias
particulares, at chegar numa proposio geral. Este tipo de argumento bastante utilizado nas
cincias naturais.

3) (UEM Vero 2008) Considere os argumentos a seguir:

(A) No Brasil, h vrios casos de polticos respondendo a processo criminal, conseqentemente a justia brasileira
permite que polticos com problemas judiciais se mantenham em cargos eletivos.
(B) Penso, logo existo.
Assinale verdadeiro para a coluna I e falso para a coluna II.
I
II
(0) (0) O argumento (A) indutivo, pois sua concluso uma generalizao indutiva realizada a partir da observao
de diversos dados singulares.
(1) (1) No argumento indutivo, o contedo da concluso excede o das premissas. A certeza da induo nunca
absoluta, mas apenas provvel.
(2) (2) Embora a induo no possua o rigor do pensamento dedutivo, uma forma fecunda de raciocinar, qual
devemos grande parte dos conhecimentos da vida diria e de grande importncia nas cincias experimentais.
(3) (3) O argumento (B) dedutivo, ou seja, um tipo de argumento cuja concluso inferida necessariamente de
premissas.
(4) (4) Na deduo lgica, o enunciado da concluso no excede o contedo das premissas; mas, se no acrescenta
nada de novo, a deduo um modelo de rigor que nos permite organizar o conhecimento j adquirido.
4) (UFMG 2005) CLASSIFIQUE os argumentos que se seguem em indutivos ( I ) ou dedutivos ( D ):
( ) Pedro, Joana, Francisco e Andria tm timas notas em Matemtica e so bons jogadores de xadrez. Fernando tem
timas notas em Matemtica. Fernando bom jogador de xadrez.
( ) Alunos brilhantes nunca estudam aos domingos. Maria sempre estuda aos domingos. Maria no uma aluna
brilhante.
( ) Se o determinismo uma doutrina verdadeira, a vontade humana no livre. O determinismo uma doutrina
verdadeira. A vontade humana no livre.
( ) Insisto em dizer que a infrao de que sou acusado se deve a um engano do guarda de trnsito, j que dirijo h
mais de trinta anos e nunca fui multado.
( ) Deus arrependeu-se de ter criado o homem. Ora, quem se arrepende do que faz age impensadamente. Portanto
Deus age impensadamente.
2. INDIQUE uma caracterstica prpria aos
A) argumentos indutivos.
___________________________________________________________________________________
___________________________________________________________________________________
B) argumentos dedutivos.
___________________________________________________________________________________
___________________________________________________________________________________

O QUE UM SILOGISMO?
Silogismo qualquer argumento no qual deduzida uma concluso a partir de duas premissas.
O silogismo composto por:
Premissa maior: na qual h o termo de maior extenso.
Ex: Todo pernambucano orgulhoso.
Premissa menor: na qual h o termo de menor extenso.
Ex: Todo recifense pernambucano.
Termo mdio: termo que liga os termos de maior e de menor extenso.
Ex: pernambucano.
Concluso: na qual se encontram os termos menor e maior.
Ex: Todo recifense orgulhoso.
Portanto:
Todo pernambucano orgulhoso.
Todo recifense pernambucano.
Todo recifense orgulhoso.

Premissa maior
Premissa menor
Concluso

5) (UEM) O silogismo aristotlico a deduo lgica na qual uma concluso inferida a partir de suas premissas, a
premissa maior e a premissa menor, pela mediao do termo mdio. O termo mdio liga o termo menor (conceito
de menor extenso) ao termo maior (conceito de maior extenso) de acordo com o princpio lgico de que duas
quantidades idnticas a uma terceira so idnticas entre si. Considere o silogismo a seguir:
Todos os brasileiros so sul-americanos;
todos os paranaenses so brasileiros;
logo, todos os paranaenses so sul-americanos.
Identifique, respectivamente, o termo mdio, o termo maior e o termo menor.
a) brasileiros sul-americanos paranaenses
b) so todos logo
c) sul-americanos paranaenses brasileiros
d) paranaenses brasileiros todos
e) sul-americanos so brasileiros.

PROPOSIES CATEGRICAS
O que uma proposio categrica?
Asseres sobre classes, afirmando ou negando que uma classe esteja includa em outra, seja no todo ou em parte.
Classe: uma coleo de objetos que tem alguma caracterstica em comum.
H quatro formas tpicas de proposio categricas, as quais so ilustradas pelas quatros proposies seguintes:

Todos os polticos so mentirosos (Universal Afirmativa)

Nenhum poltico mentiroso (Universal Negativa)

Alguns polticos so mentirosos (Particular Afirmativa)

Alguns polticos no so mentirosos (Particular Negativa)

Portanto, uma proposio categrica formada por:

Quantificador: Todo, Nenhum e Algum;

Termo Sujeito;

Cpula: verbo ser (, so);

Predicado;

Ex.: Todo poltico mentiroso

Quantificador: Todo;
Termo sujeito: poltico;
Cpula: ;
Termo predicado: mentiroso;
6) (UEM Vero 2008) Do ponto de vista da qualidade, as proposies dividem-se em afirmativas e negativas. De
acordo com a quantidade, as proposies podem ser universais, quando o sujeito se refere a toda uma classe;
particulares, quando o sujeito se refere parte de uma classe; singulares, quando o sujeito se refere a um
indivduo. Dentre as proposies abaixo, identifique a(s) que for(em) universal afirmativa, universal negativa,
particular afirmativa.
a)
b)
c)
d)
e)

Todos os homens so racionais. (___________________________________)

Nenhum homem alado. (___________________________________)
Alguns peixes vivem em rios. (___________________________________)
O homem no quadrpede. (___________________________________)
Scrates filsofo. (___________________________________)
Todo S P

Nenhum S P

Alguns S so P

Universal Afirmativo:
Universal Negativa:
Particular Afirmativa:
Particular Negativa:

Alguns S no so P

A
E
I
O

AffIrmo e

nEgO

A verdade de A implica a falsidade de O, e vice-versa; o mesmo acontece com E e I;

A e E no podem ser verdadeiras ao mesmo tempo, mas podem ser ambas falsas;
I e O no podem ser falsas ao mesmo tempo, mas podem ser ambas verdadeiras;
A verdade de A implica a verdade de I e a verdade de E implica a verdade de O, mas no o
inverso.

7) Das sentenas abaixo

1. Todo sndico chato
2. Nenhum sndico chato
3. Alguns sndicos so chatos
4. Alguns sndicos no so chatos
Tomando a primeira como verdadeira, podemos inferir imediatamente que:
a)
b)
c)
d)
e)

2 F; 3 V; 4 F
2 F; 3 F; 4 F
No podemos determinar o resultado de nenhuma delas
2 F; e no podemos determinar as outras duas
2 V; 3 V; 4 V

8)
a)
b)
c)
d)
e)

As sentenas Nenhum S P e Algum S P so:

Tautolgicas
Contraditrias
Hipteses
Contingentes
No existem na lgica

9) QUESTO DESAFIO (UFMG 2003)

No devemos recorrer verdade na formulao de nossos argumentos.

ARGUMENTE a favor de ou contra essa afirmao.
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________
________________________________________________________________________________________________

DIAGRAMAS DE VENN
Diagramar uma proposio categrica bastante fcil:
1) Para as proposies universais (A e E) basta preenche-las;
Ex.:

2) Para as proposies particulares (I e O) basta marcar um x

Ex.:

A: Todo poltico mentiroso

Todo S P
Ex:

E: Nenhum poltico mentiroso

Nenhum S P
Ex:

I: Alguns polticos so mentirosos

Alguns S so P

10
Ex:

O: Alguns polticos no so mentirosos

Alguns S no so P
Ex:

Silogismos Categricos
Um silogismo categrico ser composto de trs proposies categricas, tendo apenas trs termos.
Ex.: Nenhum heri covarde
Alguns soldados so covardes
Logo, alguns soldados no so heris.
Onde, covarde o termo que faz a ligao das duas premissas, ou seja, o termo mdio.

Diagramando os Silogismos Categricos

Ex:
Nenhum professor banqueiro
Alguns banqueiros so economistas
Portanto, alguns economistas no so professores.
Como verificar que este argumento vlido?

Primeiro Passo: Diagramar as proposies universais

Nenhum professor banqueiro

11

Segundo Passo: Diagramar as proposies particulares

Alguns banqueiros so economistas

Terceiro Passo: Verificar se a concluso se encontra no diagrama

Alguns economistas no so professores
Este argumento vlido, pois a concluso deduzida das premissas!

SILOGISMOS INVLIDOS
10) (UEM Vero 2008) Considere o argumento a seguir:
Alguns homens so inteligentes; ora, alguns homens so professores; logo, os professores so inteligentes. Sabendo
que o argumento invlido, identifique qual(is), dentre as regras do silogismo abaixo, ele falha em observar.
I II
(0) (0) De duas premissas particulares nada resulta.
(1) (1) O termo mdio nunca entra na concluso.
(2) (2) Nenhum termo pode ser total na concluso sem ser total nas premissas.
(3) (3) De duas premissas afirmativas no se conclui uma negativa.
(4) (4) De duas premissas negativas nada pode ser concludo.

12
11) Em determinada universidade, foi realizado um estudo para avaliar o grau de satisfao de seus professores e
alunos. O estudo mostrou que, naquela universidade, nenhum aluno completamente feliz e alguns professores
so completamente felizes. Uma concluso logicamente necessria destas informaes que, naquela
universidade, objeto da pesquisa,
a) nenhum aluno professor.
b) alguns professores so alunos.
c) alguns alunos so professores.
d) nenhum professor aluno.
e) alguns professores no so alunos.
12) Se X est contido em Y, ento X est contido em Z. Se X est contido em P, ento X est contido em T. Se X no
est contido em Y, ento X est contido em P. Ora, X no est contido em T. Logo:
a) Z est contido em T e Y est contido em X.
b) X est contido em Y e X no est contido em Z.
c) X est contido em Z e X no est contido em Y.
d) Y est contido em T e X est contido em Z.
e) X no est contido em P e X est contido em Y.
13) Das premissas: Nenhum A B. Alguns C so B, segue, necessariamente, que:
a) nenhum A C.
b) alguns A so C.
c) alguns C so A.
d) alguns C no so A.
e) nenhum C A.
14) Se verdade que Alguns A so R e que Nenhum G R, ento necessariamente verdadeiro que:
a) Algum A G
b) Nenhum A G
c) Algum A no G
d) Algum G A
e) Nenhum G A
15) (Agente de Polcia / Nvel Mdio Tipo 1/2006) Supondo que todos os cientistas so objetivos e que alguns filsofos
tambm o so, podemos logicamente concluir que:
a) no pode haver cientista filsofo.
b) nenhum filsofo objetivo.
c) algum filsofo cientista.
d) se algum filsofo cientista, ento ele objetivo.
e) alguns cientistas no so filsofos.

13

LGICA FORMAL
REGRAS DO JOGO: ALFABETO
A formalizao dos argumentos bastante simples. Basicamente, as regras so:
1) As sentenas sero representadas por letras do nosso alfabeto maisculo (A, B, P, Q, R);
2) A utilizao dos Conectivos (operadores) Lgicos (no, e, ou, se...ento, se somente se) para
fazer combinaes entre as sentenas;
3) A utilizao, quando necessrio, de parnteses e vrgulas, para ajudar na formalizao.

CONECTIVOS LGICOS
Os conectivos, e seus smbolos:
a) Negao: no, no o caso que -

~,

b) Conjuno: e - ^ ou &
c) Disjuno: ou -

d) Condicional: se...ento -

e) Bi-Condicional: se, somente se -

NEGAO ( ~ )
Essa expresso prefixa uma sentena para formar uma nova sentena: a NEGAO da primeira.
Exemplo:
No o caso que ele fumante (~ F)
a negao da sentena: Ele fumante (F)

CONJUNO ( ^ )
Uma composio constituindo-se de duas sentenas ligadas por 'e, chama-se CONJUNO.
Exemplo:
Chove e faz calor (C ^ F)
A conjuno tambm pode ser expressa por palavras como: 'mas', 'todavia', 'embora', 'contudo', ...

DISJUNO (v)
Um enunciado composto constitudo de duas sentenas ligadas por 'ou' chama-se DISJUNO.
Exemplo:
Chove ou faz calor (C v F)

14

CONDICIONAL ()
Enunciados do tipo se... ento... chamam-se Condicional, ou Implicao material.
Exemplo:
Se sinto frio ento visto o casaco (S V)
O enunciado subseqente ao se, chama-se o Antecedente; e o subseqente ao ento, chama-se o
Conseqente. Assim,
Se ANTECEDENTE, ento CONSEQENTE.
Observaes Importantes:
1) O antecedente Condio Suficiente para ocorrncia do conseqente;
2) O conseqente Condio Necessria para ocorrncia do antecedente.
Isto implica dizer que: Se o Antecedente for verdadeiro, o Conseqente tambm tem,
necessariamente, que ser verdadeiro.

BI-CONDICIONAL ()
Os enunciados formados com a expresso ...se e somente se... so chamados Bi-Condicional.
Exemplo:
T um tringulo se e somente se T um polgono de trs lados. (T P)
Isso denota que o Antecedente e o Conseqente so, concomitantemente, CONDIO
SUFICIENTE E NECESSRIA, um do outro. Isto , C R, :
(C R) ^ (R C)

15
16) Carlos no ir ao Canad condio necessria para Alexandre ir Alemanha. Helena no ir Holanda condio
suficiente para Carlos ir ao Canad. Alexandre no ir Alemanha condio necessria para Carlos no ir ao
Canad. Helena ir Holanda condio suficiente para Alexandre ir Alemanha. Portanto:
a) Helena no vai Holanda, Carlos no vai ao Canad, Alexandre no vai Alemanha.
b) Helena vai Holanda, Carlos vai ao Canad, Alexandre no vai Alemanha.
c) Helena no vai Holanda, Carlos vai ao Canad, Alexandre no vai Alemanha.
d) Helena vai Holanda, Carlos no vai ao Canad, Alexandre vai Alemanha.
e) Helena vai Holanda, Carlos no vai ao Canad, Alexandre no vai Alemanha.
17) Sabe-se que Beto beber condio necessria para Carmem cantar e condio suficiente para Denise danar.
Sabe-se, tambm, que Denise danar condio necessria e suficiente para Ana chorar. Assim, quando Carmem
canta,
a) Beto no bebe ou Ana no chora.
b) Denise dana e Beto no bebe.
c) Denise no dana ou Ana no chora.
d) nem Beto bebe nem Denise dana.
e) Beto bebe e Ana chora.
18) Se Elaine no ensaia, Elisa no estuda. Logo,
a) Elaine ensaiar condio necessria para Elisa no estudar.
b) Elaine ensaiar condio suficiente para Elisa estudar.
c) Elaine no ensaiar condio necessria para Elisa no estudar.
d) Elaine no ensaiar condio suficiente para Elisa estudar.
e) Elaine ensaiar condio necessria para Elisa estudar.

19) De acordo com a lgica clssica, a formalizao da sentena Esta pintura barroca se e somente se esta msica
no impressionista (B,I) :
Convenes:
B : Esta pintura barroca
I : Esta msica impressionista
a)
b)
c)
d)
e)

B I
~BI
~B~I
B~I
B~I

20) Simbolize a sentena Tancredo no vence no Colgio Eleitoral ou o Exrcito est de acordo com sua eleio (V,E)
de acordo com a conveno sugerida pelas letras sublinhadas.
________________________________________________________________________________________________
________________________________________________________________________________________________

16

FORMAS DE ARGUMENTAO
1) MODUS PONENS (MP)
Se P, ento Q.
Como P.
Logo, Q.

P Q
P
Q

2) MODUS TOLLENS (MT)

Se P, ento Q.
Como no Q.
Logo, no P.

P Q
~Q
~P

3) SILOGISMO HIPOTTICO (SH)

Se P, ento Q.
Se Q, ento R.
Logo, se P, ento R.

P Q
QR
P R

4) SILOGISMO DISJUNTIVO (SD)

P ou Q.
Como no P.
Logo Q.

P Q
~P
Q

5) DILEMA CONSTRUTIVO (DC)

Se P, ento Q.
Se R, ento S.
Como P ou R.
Logo, Q ou S.

(P Q)
(R S)
P R
QS

6) DILEMA DESTRUTIVO (DD)

Se P, ento Q.
Se R, ento S.
Como no Q, ou no R.
Logo, no P, ou no R.

(P Q)
(R S)
~Q~S
~ P ~R

17

21) Ricardo, Rogrio e Renato so irmos. Um deles mdico, outro professor, e o outro msico. Sabe-se que:
1) ou Ricardo mdico, ou Renato mdico,
2) ou Ricardo professor, ou Rogrio msico;
3) ou Renato msico, ou Rogrio msico,
4) ou Rogrio professor, ou Renato professor.
Portanto, as profisses de Ricardo, Rogrio e Renato so, respectivamente,
a) professor, mdico, msico.
b) mdico, professor, msico.
c) professor, msico, mdico.
d) msico, mdico, professor.
e) mdico, msico, professor.
22) (Assistente de Chancelaria MRE 2002) No final de semana, Chiquita no foi ao parque. Ora, sabe-se que
sempre que Didi estuda, Didi aprovado. Sabe-se, tambm, que, nos finais de semana, ou Dad vai missa ou vai
visitar tia Clia. Sempre que Dad vai visitar tia Clia, Chiquita vai ao parque, e sempre que Dad vai missa, Didi
estuda. Ento, no final de semana,
a) Dad foi missa e Didi foi aprovado;
b) Didi no foi aprovado e Dad no foi visitar tia Clia;
c) Didi no estudou e Didi foi aprovado;
d) Didi estudou e Chiquita foi ao parque.
e) Dad no foi missa e Didi no foi aprovado.
23) (Inspetor de Controle Externo TCE/RN/2000) Maria magra ou Bernardo barrigudo. Se Lcia linda, ento
Csar no careca. Se Bernardo barrigudo, ento Csar careca. Ora, Lcia linda. Logo:
a) Maria magra e Bernardo no barrigudo;
b) Bernardo barrigudo ou Csar careca;
c) Csar careca e Maria magra;
d) Maria no magra e Bernardo barrigudo;
e) Lcia linda e Csar careca.
24) (Analista de finanas e controle SFC 2000) Os cursos de Mrcia, Berenice e Priscila so, no necessariamente
nesta ordem, Medicina, Biologia e Psicologia. Uma delas realizou seu curso em Belo Horizonte, a outra em
Florianpolis, e a outra em So Paulo. Mrcia realizou seu curso em Belo horizonte. Priscila cursou Psicologia.
Berenice no realizou seu curso em So Paulo e no fez Medicina. Assim, os cursos e os respectivos locais de
estudo de Mrcia, Berenice e Priscila so, pela ordem:
a) Medicina em BH, Psicologia em Florianpolis, Biologia em SP;
b) Psicologia em BH, Biologia em Florianpolis, Medicina em SP;
c) Medicina em BH, Biologia em Florianpolis, Psicologia em SP;
d) Biologia em BH, Medicina em SP, Psicologia em Florianpolis;
e) Medicina em BH, Biologia em SP, Psicologia em Florianpolis.

18

TABELAS-VERDADES
Como vimos, um argumento vlido quando impossvel as premissas serem verdadeiras e a
concluso ser falsa.
Assim para determinar se um argumento vlido precisamos verificar se, em algum
momento, essa possibilidade acontece. Um dos mtodos utilizados para realizar esta tarefa a
Tabela-Verdade.
Esse recurso consiste de uma pequena tabela, constituda de linhas e colunas, onde testa-se
todas as combinaes possveis dos valores de verdade das proposies envolvidas em um
argumento, com intuito de sabermos a sua validade.
Para isso, preciso saber que qualquer proposio pode assumir apenas dois valores de verdade: V
ou F, e que elas podem estar dispostas de diversas maneiras, dependendo da utilizao dos
conectivos lgicos.
a) Tabela Verdade da NEGAO ( ~ )
Se tivermos uma dada proposio P, j vimos que sua negao ~ P. E sua Tabela Verdade
ser:

P ~P
V F
F V
b) Tabela Verdade da CONJUNO (^)
Como verificaremos, uma sentena regida pelo e ser verdadeira, apenas se as duas
sentenas que ela conectar tambm forem verdadeiras. Caso contrrio, a sentena ser falsa.
Esta a regra semntica do , e dadas duas sentenas, P Q (l-se: p e q), sua tabela
verdade ser:

P
V
V
F
F

Q P^Q
V V
F
F
V
F
F
F

c) Tabela Verdade da DISJUNO (v)

A regra semntica da disjuno , simples. Uma sentena regida pelo ou, ser
verdadeira quando ao menos um dos seus membros for verdadeiro. Caso contrrio, ela ser falsa.
Assim, a sentena: P Q (l-se: p ou q), ter sua tabela verdade:

P
V
V
F
F

Q PVQ
V V
F
V
V V
F
F

19

d) Tabela Verdade da CONDICIONAL ()

Com relao as sentenas condicionais: P Q , diremos que elas so falsas apenas neste
caso: Se p for verdadeira e q for falsa. Nos demais casos, P Q ser verdadeira. Esta a
regra semntica do .
Assim, a tabela verdade de P Q (l-se: se P, ento Q, ou, o que mais comum, P
implica Q), ser:

P
V
V
F
F

Q P Q
V
V
F
F
V
V
F
V

e) Tabela Verdade da BI-CONDICIONAL ()

Uma sentena regida pelo ... se, e somente se... verdadeira quando ambos os seus
membros so verdadeiros, ou quando ambos so falsos. Ela falsa quando um membro verdadeiro
e o outro falso. Esta a regra semntica do .
Assim, a tabela verdade de P Q (l-se: P se, e somente se, Q, ou, mais comumente: P
equivale a Q ser:
P Q P Q

V
V
F
F

V
F
V
F

V
F
F
V

20
25) Os valores-verdade da ltima coluna da tabela verdade de (P Q) ~ Q so:
a) V; V; V; V
b) F; F; F; F
c) V; F; V; F
d) F; V; V; V
e) F; V; F; V
25) Sabendo que os valores-verdade de P, Q e R so V, F e V, respectivamente, construa a tabela verdade de ((P Q)
R) P.

_______________________________________________________________________________________________
26) Construa a tabela verdade de Se Tiradentes foi executado, Floriano no foi executado (T, F) seguindo as
convenes:
T : Tiradentes foi executado (valor verdade = V)
F : Floriano foi executado (valor verdade = F)

________________________________________________________________________________________________
27) Verifique se ((P Q) (P R)) (P (Q R)) :
a) No possui valor verdade, pois no est descrita logicamente
b) Uma contradio
c) No possui valor verdade, pois uma falcia
d) Uma contingncia
e) Uma tautologia
28) Das sentenas que seguem Ou Rui Barbosa era ateu ou era um grande pensador. Rui Barbosa no era ateu.
Logo... podemos concluir:
a) Rui Barbosa era poltico.
b) Rui Barbosa era um grande pensador.
c) Rui Barbosa era ateu e no era um grande pensador.
d) Rui Barbosa era um pssimo orador.
e) Rui Barbosa era um bom escritor.

21

QUESTES PARA CASA

1) Perguntado sobre as notas de cinco alunas (Alice,
Beatriz, Cludia, Denise e Elenise), um professor
de Matemtica respondeu com as seguintes
afirmaes:
1. A nota de Alice maior do que a de Beatriz e menor
do que a de Cludia;
2. A nota de Alice maior do que a de Denise e a nota
de Denise maior do que a de Beatriz, se e somente
se a nota de Beatriz menor do que a de Cludia;
3. Elenise e Denise no tm a mesma nota, se e
somente se a nota de Beatriz igual de Alice.
Sabendo-se que todas as afirmaes do professor so
verdadeiras, conclui-se corretamente que a nota de:
a) Alice maior do que a de Elenise, menor do que a
de Cludia e igual de Beatriz.
b) Elenise maior do que a de Beatriz, menor do que
a de Cludia e igual de Denise.
c) Beatriz maior do que a de Cludia, menor do que
a de Denise e menor do que a de Alice.
d) Beatriz menor do que a de Denise, menor do que
a de Elenise e igual de Cludia.
e) Denise maior do que a de Cludia, maior do que
a de Alice e igual de Elenise.
2) Pedro encontra-se frente de trs caixas,
numeradas de 1 a 3. Cada uma das trs caixas
contm um e somente um objeto. Uma delas
contm um livro; outra, uma caneta; outra, um
diamante. Em cada uma das caixas existe uma
inscrio, a saber:
Caixa 1: O livro est na caixa 3.
Caixa 2: A caneta est na caixa 1.
Caixa 3: O livro est aqui.
Pedro sabe que a inscrio da caixa que contm o livro
pode ser verdadeira ou falsa. Sabe, ainda, que a
inscrio da caixa que contm a caneta falsa, e que a
inscrio da caixa que contm o diamante
verdadeira.
Com tais informaes, Pedro conclui corretamente que
nas caixas 1, 2 e 3 esto, respectivamente,
a) a caneta, o diamante, o livro.
b) o livro, o diamante, a caneta.
c) o diamante, a caneta, o livro.
d) o diamante, o livro, a caneta.
e) o livro, a caneta, o diamante.

3) Amigas desde a infncia, Beatriz, Dalva e Valna

seguiram diferentes profisses e hoje uma delas
arquiteta, outra psicloga, e outra economista.
Sabe-se que ou Beatriz a arquiteta ou Dalva a
arquiteta. Sabe-se, ainda, que ou Dalva a
psicloga ou Valna a economista. Sabe-se,
tambm, que ou Beatriz a economista ou Valna
a economista. Finalmente, sabe-se que ou Beatriz
a psicloga ou Valna a psicloga. As profisses
de Beatriz, Dalva e Valna so, pois,
respectivamente,
a) psicloga, economista, arquiteta.
b) arquiteta, economista, psicloga.
c) arquiteta, psicloga, economista.
d) psicloga, arquiteta, economista.
e) economista, arquiteta, psicloga.
4) Mauro, Jos e Lauro so trs irmos. Cada um
deles nasceu em um estado diferente: um
mineiro, outro carioca, e outro paulista (no
necessariamente nessa ordem). Os trs tm,
tambm, profisses diferentes: um engenheiro,
outro veterinrio, e outro psiclogo (no
necessariamente nessa ordem). Sabendo que
Jos mineiro, que o engenheiro paulista, e que
Lauro veterinrio, conclui-se corretamente que:
a) Lauro paulista e Jos psiclogo.
b) Mauro carioca e Jos psiclogo.
c) Lauro carioca e Mauro psiclogo.
d) Mauro paulista e Jos psiclogo.
e) Lauro carioca e Mauro engenheiro.
5) Trs meninos esto andando de bicicleta. A
bicicleta de um deles azul, a do outro preta, a
do outro branca. Eles vestem bermudas destas
mesmas trs cores, mas somente Artur est com
bermuda de mesma cor que sua bicicleta. Nem a
bermuda nem a bicicleta de Jlio so brancas.
Marcos est com bermuda azul. Desse modo,
a) a bicicleta de Jlio azul e a de Artur preta.
b) a bicicleta de Marcos branca e sua bermuda
preta.
c) a bermuda de Jlio preta e a bicicleta de Artur
branca.

22
d) a bermuda de Artur preta e a bicicleta de Marcos
branca.

d) a inscrio na porta branca falsa e a porta azul

conduz liberdade.

e) a bicicleta de Artur preta e a bermuda de Marcos

azul.

e) a inscrio na porta vermelha falsa e a porta

branca conduz liberdade.

6) Cinco irms nasceram, cada uma, em um Estado

diferente do Brasil. Lcia morena como a
cearense, mais moa do que a gacha e mais
velha do que Maria. A cearense, a paulista e
Helena gostam de teatro tanto quanto Norma. A
paulista, a mineira e Lcia so, todas, psiclogas.
A mineira costuma ir ao cinema com Helena e
Paula. A paulista mais moa do que a goiana,
mas mais velha do que a mineira; esta, por sua
vez, mais velha do que Paula.
Logo:

8) Um professor de lgica encontra-se em viajem em

um pas distante, habitado pelos verdamanos e
pelos mentimanos. O que os distingue que os
verdamanos sempre dizem a verdade, enquanto
os mentimanos sempre mentem. Certo dia, o
professor depara-se com um grupo de cinco
habitantes locais. Chamemo-los de Alfa, Beta,
Gama, Delta e psilon. O professor sabe que um e
apenas um no grupo verdamano, mas no sabe
qual deles o . Pergunta, ento, a cada um do
grupo quem entre eles verdamano e obtm as
seguintes respostas:

a) Norma gacha, a goiana mais velha do que a

mineira, e Helena mais moa do que a paulista.
b) Paula gacha, Lcia mais velha do que
Helena, e a mineira mais velha do que Maria.
c) Norma mineira, a goiana mais velha do que a
gacha, e Maria mais moa do que a cearense.
d) Lcia goiana, a gacha mais moa do que a
cearense, e Norma mais velha do que a mineira.
e) Paula cearense, Lcia mais velha do que a
paulista, e Norma mais moa do que a gacha.
7) O sulto prendeu Aladim em uma sala. Na sala h
trs portas. Delas, uma e apenas uma conduz
liberdade; as duas outras escondem terrveis
drages. Uma porta vermelha, outra azul e a
outra branca. Em cada porta h uma inscrio. Na
porta vermelha est escrito: esta porta conduz
liberdade. Na porta azul est escrito: esta porta
no conduz liberdade. Finalmente, na porta
branca est escrito: a porta azul no conduz
liberdade. Ora, a princesa que sempre diz a
verdade e que sabe o que h detrs de cada porta
disse a Aladim que pelo menos uma das
inscries verdadeira, mas no disse nem
quantas, nem quais. E disse mais a princesa: que
pelo menos uma das inscries falsa, mas no
disse nem quantas nem quais. Com tais
informaes, Aladim concluiu corretamente que:
a) a inscrio na porta branca verdadeira e a porta
vermelha conduz liberdade.
b) a inscrio na porta vermelha falsa e a porta azul
conduz liberdade.
c) a inscrio na porta azul verdadeira e a porta
vermelha conduz liberdade.

Alfa: Beta mentimano

Beta: Gama mentimano
Gama: Delta verdamano
Delta: psilon verdamano
psilon, afnico, fala to baixo que o professor no
consegue ouvir sua resposta. Mesmo assim, o
professor de lgica conclui corretamente que o
verdamano :
a) Delta
b) Alfa
c) Gama
d) Beta
e) psilon
9) Uma empresa produz andrides de dois tipos: os
de tipo V, que sempre dizem a verdade, e os de
tipo M, que sempre mentem. Dr. Turing, um
especialista em Inteligncia Artificial, est
examinando um grupo de cinco andrides
rotulados de Alfa, Beta, Gama, Delta e psilon ,
fabricados por essa empresa, para determinar
quantos entre os cinco so do tipo V. Ele pergunta
a Alfa: Voc do tipo M? Alfa responde mas Dr.
Turing, distrado, no ouve a resposta. Os
andrides restantes fazem, ento, as seguintes
declaraes:
Beta: Alfa respondeu que sim.
Gama: Beta est mentindo.
Delta: Gama est mentindo.
psilon: Alfa do tipo M.
Mesmo sem ter prestado ateno resposta de Alfa,
Dr. Turing pde, ento, concluir corretamente que o

23
nmero de andrides do tipo V, naquele grupo, era
igual a
a) 1
b) 2
c) 3
d) 4
e) 5

2. Se a afirmao do mago verdadeira e se o drago

desaparecer amanh, posso concluir corretamente que
Aladim beijou a princesa ontem?
3. Se a afirmao do mago falsa e se Aladim no
beijou a princesa ontem, posso concluir corretamente
que o drago desaparecer amanh?
O lgico da corte, ento, diz acertadamente que as
respostas logicamente corretas para as trs perguntas
so, respectivamente:
a) No, sim, no

10) Ftima, Beatriz, Gina, Slvia e Carla so atrizes de

teatro infantil, e vo participar de uma pea em
que representaro, no necessariamente nesta
ordem, os papis de Fada, Bruxa, Rainha,
Princesa e Governanta. Como todas so atrizes
versteis, o diretor da pea realizou um sorteio
para determinar a qual delas caberia cada papel.
Antes de anunciar o resultado, o diretor reuniu-as
e pediu que cada uma desse seu palpite sobre
qual havia sido o resultado do sorteio.
Disse Ftima: Acho que eu sou a Governanta, Beatriz
a Fada, Slvia a Bruxa e Carla a Princesa.
Disse Beatriz: Acho que Ftima a Princesa ou a
Bruxa.
Disse Gina: Acho que Silvia a Governanta ou a
Rainha.
Disse Slvia: Acho que eu sou a Princesa.
Disse Carla: Acho que a Bruxa sou eu ou Beatriz.

b) No, no, sim

c) Sim, sim, sim
d) No, sim, sim
e) Sim, no, sim
12) Ana encontra-se frente de trs salas cujas portas
esto pintadas de verde, azul e rosa. Em cada
uma das trs salas encontra-se uma e somente
uma pessoa em uma delas encontra-se Lus; em
outra, encontra-se Carla; em outra, encontra-se
Diana. Na porta de cada uma das salas existe uma
inscrio, a saber:
Sala verde: Lus est na sala de porta rosa
Sala azul: Carla est na sala de porta verde
Sala rosa: Lus est aqui.

a) rainha, bruxa, princesa, fada.

Ana sabe que a inscrio na porta da sala onde Lus se

encontra pode ser verdadeira ou falsa. Sabe, ainda,
que a inscrio na porta da sala onde Carla se
encontra falsa, e que a inscrio na porta da sala em
que Diana se encontra verdadeira. Com tais
informaes, Ana conclui corretamente que nas salas
de portas verde, azul e rosa encontram-se,
respectivamente,

b) rainha, princesa, governanta, fada.

a) Diana, Lus, Carla

c) fada, bruxa, governanta, princesa.

b) Lus, Diana, Carla

d) rainha, princesa, bruxa, fada.

c) Diana, Carla, Lus

e) fada, bruxa, rainha, princesa.

d) Carla, Diana, Lus

Neste ponto, o diretor falou: Todos os palpites esto

completamente errados; nenhuma de vocs acertou
sequer um dos resultados do sorteio !
Um estudante de Lgica, que a tudo assistia, concluiu
ento, corretamente, que os papis sorteados para
Ftima, Beatriz, Gina e Slvia foram, respectivamente,

e) Lus, Carla, Diana

11) O reino est sendo atormentado por um terrvel
drago. O mago diz ao rei: O drago
desaparecer amanh se e somente se Aladim
beijou a princesa ontem. O rei, tentando
compreender melhor as palavras do mago, faz as
seguintes perguntas ao lgico da corte:
1. Se a afirmao do mago falsa e se o drago
desaparecer amanh, posso concluir corretamente que
Aladim beijou a princesa ontem?

13) Se o ano foge do tigre, ento o tigre feroz. Se o

tigre feroz, ento o rei fica no castelo. Se o rei
fica no castelo, ento a rainha briga com o rei. Ora,
a rainha no briga com o rei. Logo:
a) o rei no fica no castelo e o ano no foge do
tigre.
b) o rei fica no castelo e o tigre feroz.
c) o rei no fica no castelo e o tigre feroz.

24
d) o tigre feroz e o ano foge do tigre.
e) o tigre no feroz e o ano foge do tigre.
14) Surfo ou estudo. Fumo ou no surfo. Velejo ou no
estudo. Ora, no velejo. Assim,
a) estudo e fumo.
b) no fumo e surfo.
c) no velejo e no fumo.
d) estudo e no fumo.

e) Carlos dentista; Enio economista; Juca no

arquiteto.
16) Seguindo as convenes abaixo, a traduo da
sentena A ~B seria:
Convenes:
A = A Argentina ataca as Malvinas
B = O Brasil apia a Argentina
a) A Argentina ataca as Malvinas e o Brasil apia a
Argentina.

e) fumo e surfo.

b) Ou a Argentina ataca as Malvinas ou o Brasil no

apia a Argentina.

15) Considere a afirmao P:

c) Se a Argentina atacar as Malvinas, o Brasil a

apoiar.

P: A ou B
onde A e B, por sua vez, so as seguintes afirmaes:
A: Carlos dentista
B: Se Enio economista, ento Juca
arquiteto
Ora, sabe-se que a afirmao P falsa. Logo:
a) Carlos no dentista; Enio no economista;
Juca no arquiteto.
b) Carlos no dentista; Enio economista; Juca
no arquiteto.
c) Carlos no dentista; Enio economista; Juca
arquiteto.
d) Carlos dentista; Enio no economista; Juca
no arquiteto.

d) Se e somente se a Argentina atacar as Malvinas o

Brasil a apoiar.
e) A Argentina ataca as Malvinas e o Brasil no apia
a Argentina.
17) A concluso do silogismo que se segue :
P1: R (P Q)
P2: ~ (P Q)
Logo
a) T
b) P
c) Q
d) ~ R
e) Nenhuma concluso pode ser obtida.