Raciocinio Logico UNA GJA 2016 11 10

Raciocnio
Lgico
Prof. Alexandre Couto Cardoso

APRESENTAES
Nome
Histrico educacional
Trabalho
Raciocnio Lgico e Gastronomia?
O que voc espera? Como pode
contribuir?
APRESENTAES

Contatos: alexandrecardoso.prof@gmail.com
alexandre.cardoso@prof.una.br
Mini-currculo:
Mestre em Administrao FEAD Minas
MBA Padres Internacionais de Auditoria UCB
Especialista em Anlise de Sistemas UFRJ
Bacharel em Cincias Contbeis UFMG
Licenciado em Contabilidade e Sistemas CEFET/MG
CISA (Certified Information Systems Auditor) ISACA
Auditor interno
Experincia profissional: mais de 30 anos de trabalho na rea financeira,
incluindo TI, Anlise Contbil, Auditoria e outros.
APRESENTAES

Experincia acadmica:
1992 Instrututor/tutor de Universidade Corporativa
2002 Newton Paiva ps-graduao;
2003 FABRAI, hoje Anhanguera;
2006 UNA (at os dias atuais, experincia em EAD);
2011 UNIBH ps-graduao;
2015 SENAC ps-graduao;
Disciplinas:
Contabilidade, Contabilidade Rural, Formao do Custo e do Preo,
Anlise das Demonstraes Financeiras;
Auditoria, Auditoria Fiscal, Auditoria de TI;
Estatstica, Matemtica Financeira, Raciocnio Lgico; Teoria dos Jogos;
Administrao Financeira, Anlise de Cenrios Econmicos,
Microeconomia, Consultoria Empresarial, Gesto do Conhecimento;
COMPETNCIAS
Interpretar, entender e aplicar tcnicas

formais em lgica para o
desenvolvimento do raciocnio lgico e
dedutivo, que permitir ao aluno
enunciar e resolver situaes-
problema, antecipando tendncias e
planejando aes futuras.
PROGRAMA
EMENTA (assunto tratado CONTEDO PROGRAMTICO

HABILIDADE
na unidade (unidades e subunidades)
Unidade 1 1. Desafios lgicos combinar vrios processos cognitivos, como
Desafios lgicos 2. Jogos memria, ateno e velocidade de raciocnio
aplicar o raciocnio lgico na soluo de

problemas da vida pessoal e profissional;
aplicar tcnicas para desenvolver a
1. Aprendendo a identificar variveis do capacidade lgica de solucionar questes de
Unidade 2
contexto correlacionamento;
Problemas de
2. Tcnicas para resoluo de problemas de treinar o raciocnio estruturado para
correlacionamento
correlacionamento resoluo de problemas com rapidez e
clareza;
analisar argumentos complexos para a
soluo de problemas.
identificar as aplicaes prticas do raciocnio

Unidade 3 lgico nas atividades profissionais do
1.1 Um pouco da histria do pensamento lgico
Introduo ao estudo da tecnlogo
1.2 A lgica na vida do tecnlogo estabelecer propriedades de relaes formais
lgica
entre proposies, premissas e concluses
1. Conceitos de proposio
Unidade 4 conceituar os princpios bsicos do raciocnio
2. Valores lgicos das proposies
Proposio e suas lgico como as proposies simples e
3. Conectivos
operaes compostas e os conectivos lgicos
4. Operaes lgicas sobre proposies
PROGRAMA
EMENTA (assunto tratado CONTEDO PROGRAMTICO

HABILIDADE
na unidade (unidades e subunidades)
1. Tabelas verdade para proposies demonstrar, verificar ou testar a validade de
simples. quaisquer argumentos por meio da aplicao
Unidade 5
2. Tabelas verdade para proposies das regras de tabela-verdade
Operaes lgicas e
compostas desenvolver habilidades de raciocnio lgico
resultados que podem ser teis no desenvolvimento de
programas e algoritmos
demonstrar, verificar ou testar a validade de
1. Definio de tautologia quaisquer argumentos por meio da aplicao
Unidade 6: Tautologia,
das regras de tabela-verdade
contradies e 2. Definio de contradio
desenvolver habilidades de raciocnio lgico que
contingncias 3. Definio de contingncia podem ser teis no desenvolvimento de
programas e algoritmos
1. Inferncia ou implicao lgica demonstrar, verificar ou testar argumentos
Unidade 7
2. Propriedade da relao de inferncia lgica com uso de regras de inferncia;
Inferncia ou implicao
3. lgebra das inferncias lgicas validar argumentos por meio de
lgica
regras de inferncia e equivalncia
1. Equivalncia lgica
2. Propriedade da relao de equivalncia validar argumentos por meio de regras de
Unidade 8
lgica inferncia e equivalncia
Equivalncia lgica identificar a ocorrncia de equivalncia lgica
3. Recproca, contrria e contrapositiva de
uma proposio condicional em proposies compostas;
4. lgebra das equivalncias lgicas
BIBLIOGRAFIA
BIBLIOGRAFIA BSICA
ZEGARELLI, Mark. Lgica para leigos. Rio de Janeiro, RJ: Alta Books, 2013. 384 p.:il; 24 cm.
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 2002. 203p.
ROCHA, Enrique; AIRES, Marcos. Lgica do Cotidiano como o Raciocnio Lgico contribui para o seu desenvolvimento profissional.
Paulo: Editora Impetus, 2010. 1 edio, 214 p.
BIBLIOGRAFIA COMPLEMENTAR
1 Loyola, Ronilton. Raciocnio lgico para concursos teoria e questes. So Paulo: Editora Mtodo, 315p., 2011.
2 Rocha, Enrique. Raciocnio lgico: teoria e questes. Rio de Janeiro: Elsevier, 2006. 2 edio, 396p.
3 S, Ilydio Pereira de. Raciocnio lgico: concursos pblicos/formao de professores. Rio de Janeiro: Editora Cincia Moderna L
2008. 209p.
4 Cabral, Luiz Cludio; Nunes, Mauro Csar. Raciocnio lgico e matemtica para concursos. 6 edio revisada e ampliada. R
Janeiro: Elsevier, 2009. 533p.
5 Morgado, Augusto Cesar; Cesar, Benjamim. Raciocnio lgico-quantitativo: teoria, questes resolvidas, questes de concurso,
de 850 questes. 3 edio. Rio de Janeiro: Elsevier, 2008, 320p.
Plano de Avaliao
Jogo da Forca
Jogo da Velha
Sudoku
Batalha Naval
TABULEIRO
Batalha Naval
FROTA
Batalha Naval
Batalha Naval
Unidade 2 Problemas de Correlacionamento
Aprendendo a identificar variveis do contexto
Define-se varivel como sendo uma

caracterstica observada ou medida
em cada elemento de uma amostra
(subconjunto), obtida de uma
populao (ou conjunto). Como o
nome diz, seus valores variam de
elemento para elemento.
Aprendendo a identificar variveis do contexto
VARIVEL ELEMENTO
(ou Caracterstica) ELEMENTO
ELEMENTO
SUBCONJUNTO
(ou Amostra)
CONJUNTO (ou Populao)

Resoluo de problemas de correlacionamento
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. Quais
so os cursos e respectivos locais de estudo de
Mrcia, Berenice e Priscila?
1 passo: identificar variveis

Alunas, cursos e cidades
3 alunas: Mrcia, Berenice e Priscila

3 cursos: Medicina, Biologia e Psicologia
3 cidades: Belo Horizonte, Florianpolis e So
Paulo
2 passo: construir a tabela de correlacionamento

3 passo: preencher a tabela de correlacionamento
Identificar informaes lgicas
1. Mrcia realizou seu curso em Belo Horizonte.

2. Priscila cursou Psicologia.
3. Berenice no realizou seu curso em So Paulo e
no fez Medicina
3 passo: construo da tabela de correlacionamento

1. Mrcia realizou
seu curso em Belo
Horizonte.

2. Priscila cursou
Psicologia.

3. Berenice no
realizou seu curso
em So Paulo e
no fez Medicina
4 passo: anlise da tabela de correlacionamento

5 passo: finalizar tabela de correlacionamento

Resposta
1. Mrcia cursou Medicina em Belo Horizonte.

2. Priscila cursou Psicologia em So Paulo.
3. Berenice cursou Biologia em Florianpolis.
Trs nadadores: Tiago Pereira, Csar Ciello e Caio Mrcio, so
medalhistas de ouro, prata e bronze, mas no sabemos quem
tem qual medalha. Eles treinam em clubes diferentes: Maracan,
Morumbi, Parque Antrtica (mas no sabemos onde cada um
treina).
Com base nas informaes a seguir, identifique cada nadador,
medalha e clube que cada um treina.
a) Quem treina no Parque Antrtica tem a medalha de bronze;
b) Caio Mrcio treina no Morumbi;
c) A medalha de prata no de caio mrcio;
d) Csar Ciello no treina no Parque Antrtica.
TRS NADADORES: TIAGO PEREIRA, CSAR CIELLO E CAIO MRCIO, SO MEDALHISTAS DE
OURO, PRATA E BRONZE, MAS NO SABEMOS QUEM TEM QUAL MEDALHA. ELES TREINAM
EM CLUBES DIFERENTES: MARACAN, MORUMBI, PARQUE ANTRTICA (MAS NO
SABEMOS ONDE CADA UM TREINA).
COM BASE NAS INFORMAES A SEGUIR, IDENTIFIQUE CADA NADADOR, MEDALHA E
CLUBE QUE CADA UM TREINA.
A) QUEM TREINA NO PARQUE ANTTICA TEM A MEDALHA DE BRONZE;
B) CAIO MRCIO TREINA NO MORUMBI;
C) A MEDALHA DE PRATA NO DE CAIO MRCIO;
D) CSAR CIELLO NO TREINA NO PARQUE ANTRTICA.
E quando o problema apresentar

mais que 3 variveis?
O problema das bancas de Projeto Aplicado:
Voc professor e participou de algumas bancas de apresentao de
Projeto Aplicado
Em cada uma delas, voc tem que identificar os melhores alunos
Voc foi acompanhado por outro professor e pediu que ele fizesse os
registros das apresentaes, como nomes dos alunos, cursos, mtodos
de apresentao, etc.
Ao fim das quatro bancas, voc apenas se lembrava de que tinha
escolhido o aluno que cursava "Anlise e Desenvolvimento de
Sistemas
A sada para sua tomada de deciso na escolha do aluno que ser
agraciado com a Bolsa de Iniciao Cientfica ser utilizar as anotaes
feitas pelo professor que o acompanhou nas bancas.
O outro professor fez as seguintes anotaes:
1. Luza fez demonstrao do produto de uma confeco localizada nas

proximidades do campus Barro Preto.
2. Jos Maria falou Ingls durante sua apresentao.
3. O que fez a apresentao em PowerPoint cursa Mecatrnica MTR.
4. O que falou em Alemo, que no Alexander, estuda Redes de Computadores
REC.
5. Quem falou Portugus apresentou gravao de alguns depoimentos de
clientes de um restaurante, localizado na cidade de Nova Lima.
6. Pedro estuda Logstica LOG e no falou em Francs.
7. Alexander fez sua apresentao baseando-se nos projetos
pessoais que realizou.
8. Um deles vai formar em Anlise e Desenvolvimento de Sistemas ADS.
9. Um deles apresentou uma sntese dos projetos pessoais.
2 passo: construo da tabela-gabarito
2 passo: construo da tabela principal de soluo
Repetio das
colunas dos
grupos de
mtodos de
apresentao
e de cursos
1. Luza fez
demonstrao
do produto
(Essa
informao
conclusiva, isto
, pode ser
transferida para
a tabela-
gabarito)
1. Luza fez demonstrao do produto
(Essa informao conclusiva, isto , pode ser transferida para a tabela-
gabarito)
2. Jos Maria
falou ingls.
3. O que
apresentou
PowerPoint
cursa
Mecatrnica
4. O que falou
Alemo, que
no Alexander,
estuda Redes de
Computadores
REC
5. Quem falou
Portugus
apresentou
gravao de
depoimentos de
clientes de um
restaurante
6. Pedro estuda
Logstica LOG e
no falou francs.
7. Alexander fez
sua
apresentao
baseando-se nos
projetos pessoais
que realizou.
Assim, vejamos na 1a
linha da tabela de
correlacionamento a
informao de que
quem faz projetos
(Alexander) e no fala
nem
Ingls, nem Alemo.
Marcaremos na tabela-
principal um "n" para as
colunas "Projetos x
Ingls" e "Projetos x
Alemo".
Na linha da Luza, ela
usou Demonstrao,
no cursa Logstica
e no fala Ingls. Assim,
quem fez
Demonstrao no
cursou Logstica e no
fala Ingls. Marquemos
com um n os
cruzamentos das colunas
Demonstrao x
Logstica e
Demonstrao x Ingls
(que j estava
assinalada).
Analisemos agora a 4a linha,
do Pedro, que tem S
marcado para Logstica e
n marcado para Ingls,
Francs, Demonstrao e
Projetos. Se quem cursou
Logstica no fala nem Ingls,
nem Francs, no fez
Demonstrao, nem
Projetos.
Marquemos, ento com um
n os cruzamentos
Logstica x Ingls
(que j estava assinalada),
Logstica x Francs,
Logstica x
Demonstrao (que j
estava assinalada) e
Logstica x Projetos.
Analisando a TABELA 36,
chegamos a duas
informaes importantes:
a linha de Logstica indica
que quem faz esse curso s
poder ter falado em
Portugus;
a coluna de Logstica indica
que quem faz esse curso s
poder ter apresentado com
Depoimentos.
Marquemos, ento, com um

S os cruzamentos Logstica x
Portugus e Depoimentos
x Logstica, e preenchemos
com n os demais
cruzamentos.
A quarta linha mostra
que Pedro s pode ter
feito portugus. A
oitava linha mostra
que quem fez Projetos
s pode ter feito
francs. Quem fez
francs apresentou
Projetos, portanto
Alexander. J que
Alexander falou
francs, Luza s
poderia ter falado
alemo.
A quarta linha mostra
que Pedro s pode ter
feito portugus. A
oitava linha mostra
que quem fez Projetos
s pode ter feito
francs. Quem fez
francs apresentou
Projetos, portanto
Alexander. J que
Alexander falou
francs, Luza s
poderia ter falado
alemo.
Atualizando a tabela-gabarito...
Vejamos na coluna
"Ingls" da tabela ao
lado, que se Jos
Maria falou Ingls, ele
no fez Demonstrao,
nem Projetos, nem
Depoimentos (sobra
PowerPoint). Tambm
no fez os cursos de
Logstica ou Redes. Ao
marcarmos essas
concluses na tabela-
principal, observamos
que o nico
cruzamento que ainda
no havia sido marcado
"Jos Maria x Redes
de Computadores",
assinalado com n na
tabela.
Vamos interpretar
agora a coluna
"Alemo".
Verificamos que Luza
falou Alemo e fez o
curso de Redes de
Computadores.
Marquemos
essa informao na
tabela-principal e na
tabela-gabarito
Vamos interpretar
agora a coluna
"Alemo".
Verificamos que Luza
falou Alemo e fez o
curso de Redes de
Computadores.
Marquemos
essa informao na
tabela-principal e na
tabela-gabarito
Vamos interpretar agora a coluna "Alemo". Verificamos que Luza
falou Alemo e fez o curso de Redes de Computadores. Marquemos
essa informao na tabela-principal e na tabela-gabarito.
Analisando a ltima
tabela, conclumos que
quem fez Anlise
e Desenvolvimento de
Sistemas apresentou
"Projetos". Mas,
pela antepenltima
tabela, verificamos que
quem apresentou
Projetos foi Alexander.
Restando agora o curso
de Mecatrnica, que s
poder ter sido cursado
por Jos Maria. Com
essas concluses,
preenchemos finalmente
a nossa tabela-gabarito.
As regras bsicas para resolver o Teste de Einstein so:
1. H cinco casas de diferentes cores.
2. Em cada casa mora uma pessoa de uma diferente nacionalidade.
3. Esses cinco proprietrios bebem diferentes bebidas, fumam diferentes tipos de cigarros e tm um
certo animal de estimao.
4. Nenhum deles tm o mesmo animal, fumam o mesmo cigarro ou bebem a mesma bebida.
As pistas para resolver o Teste de Einstein so:
1. O Noruegus vive na primeira casa.
2. O Ingls vive na casa Vermelha.
3. O Sueco tem Cachorros como animais de estimao.
4. O Dinamarqus bebe Ch.
5. A casa Verde fica do lado esquerdo da casa Branca.
6. O homem que vive na casa Verde bebe Caf.
7. O homem que fuma Pall Mall cria Pssaros.
8. O homem que vive na casa Amarela fuma Dunhill.
9. O homem que vive na casa do meio bebe Leite.
10. O homem que fuma Blends vive ao lado do que tem Gatos.
11. O homem que cria Cavalos vive ao lado do que fuma Dunhill.
12. O homem que fuma BlueMaster bebe Cerveja.
13. O Alemo fuma Prince.
14. O Noruegus vive ao lado da casa Azul.
15. O homem que fuma Blends vizinho do que bebe gua.
Teste de Einstein
Teste de Einstein
Teste de Einstein
Teste de Einstein
UNIDADE 3 ESTUDO DA LGICA
Unidade 3 Estudo da lgica
A origem da palavra lgica vem do termo
grego logik cujo significado : razo,
palavra, discurso, ou ainda, cincia do
raciocnio.
O raciocnio lgico , ento, um processo

de estruturao do pensamento de
acordo com princpios e conceitos que,
uma vez analisados, permitem chegar a
concluses diretas ou resolver problemas
propostos.
Pensamento lgico:
O exemplo bblico de No
Grcia antiga
Tales de Mileto e Pitgoras: lgica matemtica
Scrates e Plato: Filosofia
Aristteles: Fundador da Lgica Clssica
Aristteles trabalhou, ento, com estruturas chamadas
silogismos, em que sua forma de apresentao
demonstrava ser incontestavelmente vlida. A
estrutura de um silogismo conduz a uma linha clara que
estabelece uma conexo entre premissas, aceitas como
verdadeiras, e que nos levam a considerar uma concluso
de forma absolutamente correta.
Exemplo 1:
Premissas:
a. Todos os homens so mortais.
b. Scrates homem.
Concluso:
Scrates mortal.
Aristteles trabalhou, ento, com estruturas chamadas
silogismos, em que sua forma de apresentao
demonstrava ser incontestavelmente vlida. A
estrutura de um silogismo conduz a uma linha clara que
estabelece uma conexo entre premissas, aceitas como
verdadeiras, e que nos levam a considerar uma concluso
de forma absolutamente correta.
Exemplo 1:
Premissas:
a. Todos os homens so mortais.
b. Scrates homem.
Concluso:
Scrates mortal.
Euclides avanou com a lgica matemtica por meio da
chamada Prova Indireta, em que a linha de pensamento
iniciava-se do oposto daquilo que se desejava provar.
Esse tipo de pensamento lgico muito utilizado nos dias
atuais em questes de aplicaes jurdicas.
Exemplo: o empregado o autor da fraude, ento h um

registro de acesso ao sistema no dia do fato, mas o RH
informa que, neste dia, o empregado estava ausente do
trabalho por motivo de frias.
Concluso?
Tambm foram surgindo outras estruturas lgicas, como
a estrutura condicional desenvolvida pelo grego Crisipo
(279, 206 a.C.), baseada na estrutura conhecida como Se,
ento.
Premissas:
a. Se o cu est com espessas nuvens escuras, ento
poder chover.
b. O cu est com espessas nuvens escuras.
Concluso:
H chances de chover.
Aps essa fase inicial, bastante densa em termos de
desenvolvimento do pensamento lgico, poucos avanos
aconteceram nos sculos seguintes.
Somente a partir do sculo XVI da nossa era outros

trabalhos foram desenvolvidos. Grandes nomes desse
tempo, como o cientista ingls Isaac Newton, os
astrnomos Coprnico e Galileu, alm de pensadores,
como Renn Descartes, despertaram uma retomada
significativa na histria do pensamento lgico no mundo.
O famoso matemtico Gottfried Leibniz (1646-1716) considerado
o maior lgico do movimento renascentista na Europa. Inspirado
nos trabalhos iniciais de Aristteles e nas contribuies que se
seguiam, Leibniz percebeu a necessidade de utilizar os princpios
da lgica para compreender e explicar as leis que regem o mundo.
Leibniz percebeu que seria necessrio criar smbolos para melhor
exprimir o pensamento de Aristteles e criou, ento, uma
estrutura de escrita conhecida como Lgica Simblica. Os trabalhos
de Leibniz, embora altamente significativos, tambm no tiveram o
desenvolvimento que se esperava nos anos seguintes.
Somente no sculo XIX George Boole (1815-1864) aperfeioou as
ideias de Leibniz e desenvolveu a chamada lgebra Booleana,
utilizando os nmeros binrios 0 e 1 para expressar as respostas s
proposies.
A induo uma forma de raciocnio que conduz a concluses
genricas, baseando em caractersticas particulares. Deve-se tomar
o cuidado para que no se generalizem inverdades, como
mostrado no exemplo a seguir.
Exemplo:
Premissas:
a. Mangueiras, laranjeiras e macieiras so rvores.
b. Mangueiras, laranjeiras e macieiras produzem frutos.
Concluso:
Por induo, conclui-se que todas as rvores produzem frutos. O
que uma inverdade. Ou seja, tentou-se generalizar uma
caracterstica particular de determinadas rvores, a capacidade de
produzir frutos, chegando-se a uma concluso no verdadeira.
Na deduo, parte-se de uma hiptese universal (premissa) para
formular uma concluso lgica especfica. Ou seja, s se pode
deduzir quando o caso especfico estiver contido num grupo mais
geral. Como na teoria dos conjuntos, um subconjunto pertencer
a um conjunto se e somente se possuir caractersticas gerais do
mesmo.
Exemplo:
Premissas:
a. Todo nmero par divisvel por dois (premissa geral).
b. Dezesseis divisvel por dois.
Concluso:
Dezesseis um nmero par (concluso lgica especfica).
A inferncia a habilidade de analisar, comparar e tirar
concluses lgicas de fatos e acontecimentos a partir de
informaes implcitas num texto com significado oculto. A
inferncia faz parte do nosso dia a dia, mais do que possamos
imaginar. Podemos encontrar inferncia em propagandas, msicas,
textos literrios, entre outros.
Na propaganda, por exemplo, a inferncia serve como uma
estratgia de venda. A indstria da cerveja, por exemplo, investe,
todos os anos, milhes de dlares em publicidade e campanha
para suas marcas, para que consiga tocar o pblico com mensagens
variadas como, por exemplo, mensagens ligadas ao futebol
(cerveja + futebol uma combinao perfeita?).
A intuio um processo pelo qual os seres humanos passam,
s vezes e involuntariamente, para chegar a uma concluso lgica
sobre determinado tema. O raciocnio que se usa puramente
inconsciente. Seu funcionamento e at mesmo sua existncia so
um enigma para a cincia. Apesar de j existirem muitas teorias
sobre o assunto, nenhuma dada ainda como definitiva, levando
muitos a no reconhecer sua importncia.
Acredita-se que pessoas mais criativas so mais intuitivas e

tm maior facilidade de entrar em contato com suas emoes
e imaginao, processando rapidamente as informaes e
relacionando, de forma automtica, as experincias do presente
com aquelas adquiridas no passado.
DESAFIO:
Quais concluses podemos chegar, partindo das premissas a
seguir?
Sentadas uma ao lado da outra em trs cadeiras do auditrio da
UNA do campus Barro Preto, trs calouras aguardam as palestras
de Boas-vindas UNA. Qual caloura est sentada em qual
cadeira?
Premissas:
a. A caloura do Curso de Gesto Comercial est sentada direita da
aluna que veste blusa vermelha.
b. A aluna de Esttica veste blusa azul.
c. Uma delas veste blusa preta.
d. A aluna de Gesto Ambiental est sentada na cadeira do meio.
UNIDADE 4 Proposio e suas
operaes lgicas
Unidade 4 Proposio e suas operaes lgicas
Conceitos:
Argumento o conjunto de
palavras, smbolos ou sentenas
declarativas, acompanhado de
uma outra frase declarativa
conhecida como concluso.
Exemplo de Argumento
Proposies:
a. Todos os mineiros so brasileiros
b. Todos os brasileiros so latino americanos
Concluso
Todos os mineiros so latino americanos.
Argumento
Dentro dos princpios utilizados no estudo do

raciocnio lgico, argumento pode ser entendido
como uma expresso definida que, ao ser avaliada,
poder receber somente respostas do tipo das que
esto contidas nos dois conjuntos a seguir:
a. Bom, Consistente, Vlido ou Verdadeiro.

b. Ruim, Inconsistente, Invlido ou Falso.
Exemplo de Argumento
Proposies: PREMISSAS
a. Todos os mineiros so brasileiros
b. Todos os brasileiros so latino americanos
Concluso CONCLUSO
Todos os mineiros so latino americanos.
Proposio
Proposio toda orao declarativa, ou conjunto de
palavras ou smbolos que exprimem um pensamento
de sentido completo.
Por ser declarativa, no poder nunca ser
interrogativa, exclamativa ou imperativa. Nem
permitir duplo sentido, ter sentido vago ou ser
paradoxal, ou contrrio opinio comum, ou algo
que entre em contradio. As proposies
transmitem pensamentos formados a respeito de
determinado assunto.
Proposies verdadeiras
A capital de Minas Gerais Belo Horizonte.
A baleia uma mamfero.
Gastronomia um dos cursos superiores da UNA.
Proposies falsas
Quem nasce em So Paulo carioca.
Toda ave voa.
A praia de Copacabana banhada pelo Oceano
Pacfico.
Exemplos do que no proposio:
x+y=5
x+1=y
x+2=4
Ele magro.
A gua da minha sogra nova.
1 Axioma ou Princpio da No Contradio:
Esta regra exige que cada premissa ou

proposio tenha somente uma nica
resposta, ou seja, uma proposio
no poder ser verdadeira e falsa
ao mesmo tempo.
2 Axioma ou Princpio do Terceiro Excludo:
Um argumento formado por uma ou mais

proposies que devem nos conduzir a uma
nica concluso, com respostas claras e
esperadas, as quais podem ser Verdadeiras (V)
ou Falsas (F), descartando-se completamente a
possibilidade de uma 3 resposta diferente
dessas duas apresentadas.
Proposio x perguntas e estruturas indefinidas:
Quantos anos Maria tem?

Ser que vai chover?
No sei se vou viajar.
Uma proposio s admite uma resposta (avaliao)
num conjunto de duas alternativas Falso ou
Verdadeiro:
Os alunos de Gastronomia estudam Raciocnio
Lgico.
4 elevado ao quadrado igual a 16. (V)
Pel foi o maior jogador de basquete do Brasil.
O Brasil foi descoberto por Pedro lvares Cabral
em 1492.
So Sebastio das guas Claras tambm
conhecido como Macacos.
Dirigir alcoolizado sempre errado.
Proposies que conduzem sempre mesma resposta:
a. Aquele carro verde ou no verde.

b. Andr chegou a sua casa ou no chegou.
A coerncia de um conjunto de proposies tambm
pode levar a respostas no necessariamente corretas.
Proposies:
a. Joo Pedro no tem problemas fsicos.
b. Joo Pedro jogador de futebol.
c. Somente os atletas sem problemas fsicos sero
escalados para o jogo de futebol no prximo domingo.
Concluso:
Joo Pedro ser escalado para o jogo de futebol do
prximo domingo.
Negao de proposies:
Proposio:
Alexandre nasceu em Belo Horizonte.
Negao:
Alexandre no nasceu em Belo Horizonte ou
falso que Alexandre nasceu em Belo Horizonte.
Errado:
Alexandre nasceu em Baldim
Conectivos lgicos:
Conjuno (E):
a: Alexandre nasceu em Belo Horizonte.
b: Alexandre ator.
a E b: Alexandre nasceu em Belo Horizonte E ator.
a VERDADEIRA
b FALSA
a E b FALSA
Conectivos lgicos:
Disjuno (OU):
a: Alexandre nasceu em Belo Horizonte.
b: Alexandre ator.
a OU b: Alexandre nasceu em Belo Horizonte OU ator.
a VERDADEIRA
b FALSA
a OU b VERDADEIRA
Conectivos lgicos:
Disjuno exclusiva (OU...OU):
a: Dimitri brasileiro.
b: Dimitri russo.
OU a OU b: OU Dimitri brasileiro OU Dimitri russo.

As proposies a e b no podem ser VERDADEIRAS ao
mesmo tempo pois, nesse caso a proposio composta
ser FALSA. A proposio composta tambm FALSA se
a e b forem FALSAS. Nos demais casos a proposio
verdadeira.
Conectivos lgicos:
Condicional (SE...ENTO):
a: O carro est na garagem.
b: A dona da casa chegou.
SE a ENTO b: SE o carro est na garagem ENTO a

dona da casa chegou.
a b SE a ENTO b
V V V
V F F
F V V
F F V
Conectivos lgicos:
Bicondicional (SE E SOMENTE SE):
a: O carro est na garagem.
b: A dona da casa chegou.
a SE E SOMENTE SE b: O carro est na garagem SE E

SOMENTE SE a dona da casa chegou.
a b a SE E SOMENTE SE b
V V V
V F F
F V F
F F V
Conectivos lgicos:
Negao (NO):
a: Eu amo minha famlia.
b: Ela no gosta do curso de Gastronomia.
c: Ele rico.
NO a: Eu no amo minha famlia.

NO b: falso que ela no gosta do curso de
Gastronomia.
NO c: No verdade que ele rico.
Unidade 1 Desafios lgicos
Exerccios:
Considerando que voc disparou um tiro em H8 e acertou um hidroavio do

adversrio, em quais clulas podero estar o restante do hidroavio.
Unidade 1 Desafios lgicos
Exerccios:
Considerando que voc disparou um tiro em H8 e acertou um hidroavio do

adversrio, em quais clulas podero estar o restante do hidroavio.
Unidade 2 Problemas de correlacionamento
Exerccios:
Todos os amigos de Fabricio que foram a sua festa de formatura,
estiveram antes na cerimnia de colao de grau. Se nem todos
os amigos de Fabrcio foram a cerimnia de colao de grau,
podemos afirmar que:
a) Todos os amigos de Fabrcio foram a sua festa de
formatura
b) Todos os amigos de Fabrcio que foram cerimnia de
colao de grau foram sua festa de formatura.
c) Pelo menos um amigo de Fabrcio no foi sua festa de
formatura.
d) Muitos amigos de Fabrcio que foram sua cerimnia de
colao de grau foram festa de formatura.
Unidade 2 Problemas de correlacionamento
Exerccios:
1) Cibeli, Eliane, Isabel e Rosana esto assentadas lado
a lado, no necessariamente nesta ordem.
2) Rosana est exatamente entre Isabel e Cibeli.
Logo correto afirmar que Eliane est assentada:
a) A direita de Rosana
b) A esquerda de Rosana
c) A esquerda de Cibeli
d) A esquerda de Isabel
Unidade 3 Introduo ao estudo da lgica
Exerccios:
O Silogismo uma forma de raciocnio dedutivo,
constitudo por trs proposies.
As duas primeiras so chamadas proposies e a
terceira a concluso.
A partir das duas premissas apresentadas, estabelea a
concluso pertinente
p: Nenhum menor de 18 anos pode ter Carteira de
Habilitao
q: Olivia tem 17 anos
Logo...
Exerccios:
Qual das afirmativas abaixo no pode ser considerada uma
proposio:
a) A capital da Argentina Buenos Aires.
b) Qual a capital da Argentina?
c) A capital do Brasil Buenos Aires.
d)
A capital da Argentina no Buenos Aires.
Exerccios:
Pelo Principio do terceiro excludo, podemos dizer:
a) Uma proposio falsa pode ser verdadeira e uma

proposio verdadeira pode ser falsa.
b) Uma proposio ou ser falsa ou ser verdadeira, no
existindo outra possibilidade.
c) Uma proposio verdadeira pode ser falsa mas uma
proposio falsa sempre ser falsa.
d) Uma proposio no poder ser falsa e verdadeira ao
mesmo tempo.
Exerccios:
A negao da proposio Maria Helena no
engenheira :
a) falso que Maria Helena engenheira.
b) Maria Helena no mdica.
c) falso que Maria Helena no mdica.
d) Maria Helena engenheira.

Exerccios:
Pelo Princpio da No Contradio, podemos dizer:
a) Uma proposio falsa pode ser verdadeira e uma
proposio verdadeira pode ser falsa
b) Uma proposio verdadeira pode ser falsa mas uma
proposio falsa sempre ser falsa.
c) Uma proposio pode ser falsa ou pode ser
verdadeira, no existindo uma outra possibilidade.
d) Uma proposio no poder ser falsa e verdadeira
ao mesmo tempo
Exerccios:
No ano 2010, Tiago tinha o dobro da idade de Mateus ,o
triplo da idade de Patricia e metade da idade de
Mnica.
Em 2015 podemos afirmar que:
a) Tiago tem o dobro da idade de Mateus.
b) Tiago tem metade da idade de Mnica.
c) Mateus tem mais idade que Patrcia.
d) Patrcia tem mais idade que Mnica
Exerccios:
Uma pea de madeira de 6 metros de comprimento ser
cortada em 10 pedaos iguais.
Sabendo que uma serra gasta 3 minutos para cortar cada pea,
quantos minutos sero gastos para cortar as 10 peas.
a) 18
b) 24
c) 27
d) 30
Exerccios:
Em uma famlia de trs irmos, sabe-se que ou Carlos o mais
velho, ou Alberto o mais novo. Sabe-se tambm que ou
Alberto o mais velho ou Rafael o mais velho. Logo qual
ordem correta das idades dos trs irmos.
a) Rafael, Carlos, Alberto
b) Alberto, Carlos, Rafael
c) Alberto, Rafael, Carlos
d) Rafael, Alberto, Carlos
UNIDADE 5 Operaes lgicas e
resultados
Unidade 5 Operaes lgicas e resultados
Operaes com duas proposies:
Exemplo:
Maria Augusta ir a uma festa no prximo sbado noite. Ela tem
algumas opes de roupa para usar nessa ocasio, dependendo,
das condies do tempo, ou seja, inicialmente, a nica questo
que influenciar na escolha dela a anlise de uma proposio,
identificada pela letra p, como proposio p.
p: tempo chuvoso
Nesse caso, podemos ter duas possibilidades:

a) tempo chuvoso
b) tempo no chuvoso
Operaes com duas preposies:
Imaginemos agora que dois fatores sero analisados por Maria
Augusta, segundo as proposies p e q.
p: tempo chuvoso
q: tempo frio
Nesse caso, existem quatro possibilidades que devero ser

analisadas:
a) existncia de tempo chuvoso e existncia de tempo frio;
b) existncia de tempo chuvoso e inexistncia de tempo frio;
c) inexistncia de tempo chuvoso e existncia de tempo frio;
d) inexistncia de tempo chuvoso e inexistncia de tempo frio.
p: tempo chuvoso
q: tempo frio
p: tempo chuvoso
q: tempo frio
Alm das duas proposies analisadas, Maria
Augusta poder pensar ainda numa terceira
situao, apresentada pela proposio r.
r : Ir festa no seu carro.
Para uma anlise com trs proposies (p, q, r),

teremos um aumento para oito possibilidades
como se v na tabela-verdade a seguir.
Tempo frio
Tempo
chuvoso
Ir de carro
No est frio
No est
chuvoso
Vai de carro
TABELA-
VERDADE
1 proposio =
2 linhas
2 proposies =
4 linhas
3 proposies =
8 linhas
Linhas = 2n
n = n de
Sequncias proposies
Simbologia dos conectivos lgicos (operadores)
Conjuno de duas proposies
p: Ele homem
q: Ela mulher
Disjuno de duas proposies
p: Ele branco
q: Ela negra
Disjuno exclusiva de duas proposies
p: Filhote fmea
q: Filhote macho
Estrutura condicional entre duas proposies
p: Obter 70 pontos
q: Ser aprovado
Estrutura bicondicional entre duas proposies
p: Ser reprovado
por frequncia
q: Faltar mais de
25% das aulas
Negao de uma proposio
p: Alexandre chef
Resumo das relaes entre proposies simples
Tabelas verdade para proposies compostas
Considere estas trs proposies simples:
p: Brbara mdica.
q: Cibele fala ingls.
r : Eugnio mora na Bahia.
1. Considere a seguinte proposio composta: Brbara mdica ou
Cibele fala ingls e Eugnio mora na Bahia.
2. Inicialmente, devemos converter os termos da linguagem formal
para a linguagem simblica: p v q r.
3. Conforme vimos anteriormente, a montagem de uma tabela-
verdade de trs proposies dever ter 23 = 8 linhas e contemplar
todas as possibilidades de montagem existentes,
4. A coluna 1 refere-se proposio p: consideramos as quatro
primeiras possibilidades como V e as quatro seguintes como F.
5. A coluna 2 refere-se proposio q e a montagem realizada
com duas alternativas V, seguidas por duas alternativas F.
6. A coluna 3 refere-se proposio r , e colocamos alternadamente
V e F em todas as posies da coluna.
7. A coluna 4 a resoluo (p v q). Nesse caso, a coluna 3, que
contm as alternativas da proposio r, no utilizada.
8. E, finalmente, temos a resposta final na coluna 5.
9. Essa resposta construda com a resposta da coluna 4, o
conectivo e e a coluna 3, resultando em (p v q) r.
Ordem de precedncia dos operadores lgicos
1) Bicondicional:
2) Condicional:
3) Conjuno v e Disjuno:
4) Negao: ~
Ordem de precedncia dos operadores lgicos
Assim, podemos dizer que o conectivo mais fraco a
negao, e o mais forte a bicondicional.
Por exemplo: a proposio p q s r uma
bicondicional, e nunca uma condicional ou uma
conjuno.
Para convert-la numa proposio condicional, temos
que usar parntesis: p (q s r).
Para convert-la numa conjuno, colocamos o

parntesis da seguinte maneira: (p q s) r
Uso de parnteses
Observe que a expresso p v q ^ r poderia

conduzir a duas expresses que apresentariam
resultados diferentes em suas respectivas
tabelas-verdade:
1 opo: (p v q ) r
2 opo: p v (q r)
Unidade 6 Tautologias, contradies e contingncias
TAUTOLOGIA
Define-se tautologia como sendo toda a

proposio composta cuja ltima coluna da sua
tabela-verdade apresenta somente valores lgicos
verdadeiros, independente dos valores lgicos das
proposies simples que a originaram.
TAUTOLOGIA
Verificar se a seguinte proposio tautolgica:
Amanh vou viajar ou amanh no vou viajar.
Temos duas possibilidades:
p: amanh vou viajar
~p: amanh no vou viajar.
Em linguagem lgica, temos p ~p, cuja tabela-
verdade apresentada a seguir.
TAUTOLOGIA
Evidentemente que uma das situaes ir acontecer:

Amanh vou viajar ou amanh no vou viajar. Como na
ltima coluna s temos valores verdadeiros, essa
proposio uma tautologia.
TAUTOLOGIA
Verificar se a proposio falso que Geraldo vai
casar e que Geraldo no vai casar uma
tautologia.
p: Geraldo vai casar.
~p: Geraldo no vai casar.
Na linguagem lgica, temos a seguinte proposio:
~(p ~p).
TAUTOLOGIA
Verifica-se que uma proposio no pode ser ao mesmo

tempo V e F. Isso se constitui no Princpio da no
contradio. Assim, p ^ ~p somente poder ser FALSO e
a sua negao sempre VERDADEIRO.
TAUTOLOGIA
Verificar se a proposio Se Naime pedagoga e
Wanderson gerente, ento Naime no atriz ou
Wanderson gerente tautolgica.
Temos trs possibilidades:
p: Naime pedagoga.
~q: Naime no atriz.
r : Wanderson gerente.

(p r) (~q r)
TAUTOLOGIA
CONTRADIO
Define-se contradio toda a proposio

composta cuja ltima coluna da sua
tabela-verdade apresenta somente valores
lgicos falsos, independente dos valores
lgicos das proposies simples que a
originaram.
CONTRADIO
Verificar se a proposio Cristina feliz e Cristina
infeliz uma contradio.

p: Cristina feliz.
~p: Cristina infeliz (Cristina no feliz).

(p ~p)
CONTRADIO
Verifica-se que uma inverdade dizer que Cristina feliz e

infeliz. Ou seja, dizer que uma proposio pode ser ao mesmo
tempo V e F sempre falso.
CONTRADIO
Verificar se a proposio Carol rica se e
somente se Carol pobre uma contradio.

p: Carol rica.
~p: Carol pobre (mesmo que: Carol no rica).

(p ~p).
CONTRADIO
Verifica-se que uma contradio dizer que Carol ser rica a

condio necessria para Carol ser pobre.
CONTRADIO
Verificar se a proposio Gabriel fala alemo e
Raimundo fala ingls e falso que Gabriel fala
alemo ou Raimundo fala ingls uma
contradio.
p: Gabriel fala alemo.
q: Raimundo fala ingls.
(p q) ~(p q).
CONTRADIO
CONTINGNCIA
Uma proposio composta se constituir numa
contingncia sempre que no for nem
tautologia, nem contradio. Ou seja, ela ter
tanto valores verdadeiros quanto falsos na
ltima coluna da sua tabela-verdade.
As contingncias so tambm denominadas de

proposies contingentes ou proposies
indeterminadas.
CONTINGNCIA
Verificar se a proposio Se est chovendo ou est frio,
ento est chovendo uma contingncia.

p: Est chovendo.
q: Est frio.

p q p.
CONTINGNCIA
p: Est chovendo.
q: Est frio.
CONTINGNCIA
Verificar se a proposio Se a msica sertaneja
universitria ou o blues tem ps-doutorado, ento a
msica sertaneja universitria e o blues tem ps-
doutorado uma contingncia.
p: A msica sertaneja universitria.
q: O blues tem ps-doutorado.
(p q) (p q).
CONTINGNCIA
EXERCCIO questo de concurso
Chama-se tautologia a proposio composta que possui valor lgico
verdadeiro, quaisquer que sejam os valores lgicos das proposies
que a compem. Sejam p e q as proposies e ~p e ~q, as
suas respectivas negaes. Em cada uma das alternativas abaixo h
uma proposio composta formada por p e q. Qual
corresponde a uma tautologia?
a. p v q
b. p ^ ~q
c. (p v q) (~p ^ q)
d. (p v q) (p ^ q)
e. (p ^ q) (p v q)
UNIDADE 7
Inferncia ou
implicao lgica
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
Sejam as proposies simples: p e q.
A condicional dessas proposies se p ento q ou p q.
A recproca q p.
A proposio p chamada antecedente e a proposio q,

consequente da condicional.
Dizemos que p condio suficiente para q e q condio

necessria para p.
A operao de condicionamento indica que o acontecimento de p

uma condio para que q acontea.
Algumas expresses da linguagem que podem indicar a presena
da condicional (p q) so, dentre outras:
se p ento q
se p, q
q se p
p supe q
em caso de p, ento q
p s se q
p condio suficiente para q
q condio necessria para p
Sejam as proposies:
p: respirar
q: estar vivo
Podemos construir a proposio composta (condicional) de vrias
formas.
Se respiro ento estou viva.
Se respiro, vivo.
Estou viva se respiro.
Estar vivo supe respirar.
Em caso de estar viva, ento respiro.
Respiro s se estou viva.
Respirar condio suficiente para estar viva.
Estar viva condio necessria para respirar.
Lembrando que:
a proposio condicional uma
proposio composta que s admite
valor lgico Falso se a antecedente
for verdadeira e a consequente for
falsa, sendo Verdadeiro nos demais
casos.
Usando um exemplo para esclarecer que a
propriedade condicional verdadeira at nos
casos em que a antecedente falsa.
Veja esse anncio na portaria do campus

Guajajaras:
Se voc aluno(a) do curso de Gastronomia,

pode entrar
Proposies: CILADA nossa
p: aluno(a) do curso de Gastronomia
tendncia achar que
se no aluno de
q: pode entrar Gastronomia, no
pq pode entrar, mas isso
aluno, no foi dito!!!
pode entrar
FALSO aluno,
no pode entrar
No aluno,
pode entrar
No aluno,
no pode entrar
Outro exemplo: Se alface mineral, ento
quiabo mineral.
Essa frase conceitualmente falsa, pois alface e
quiabo no so minerais.
No entanto, embora parea um absurdo, ela tem
valor lgico verdadeiro, pois a antecedente falsa
e a consequente tambm falsa. E de acordo com
4 linha da tabela-verdade, a condicional "se p
ento q" ou p q verdadeira.
Dadas duas proposies simples p e q, dizemos
que "p implica q quando no temos
simultaneamente que p verdadeira e q falsa,
isto , quando na tabela-verdade de p e q no
ocorre a sequncia VF em nenhuma de suas
linhas.
Indicamos a implicao lgica por p q, que

pode ser lida como p; logo, q.
Ocorrer a implicao lgica p q quando a

condicional p q for verdadeira, isto , quando
no ocorrer valores falsos na condicional ou
quando a implicao lgica for uma tautologia.
Em caso de validade comprovada de uma

implicao da forma p q, tal implicao lgica
passar a ser utilizada como recurso lgico para
obteno e prova de outros resultados vlidos.
Exemplo:
Verifiquemos se a implicao lgica (p q) (p q)
verdadeira.
Para tanto, basta construir a tabela-verdade da
proposio (p q) (p q) e observar se ela uma
tautologia.
Tautologia
Outro exemplo:
Para mostrarmos que a condicional (p ~p) q uma
tautologia, ou seja, que a implicao lgica (p ~p) q
verdadeira, construmos a sua tabela-verdade.
Tautologia
Mais um exemplo:
Para verificar se a implicao lgica (p q) (p q)
verdadeira, construiremos a tabela-verdade da
proposio condicional (p q) (p q), a fim de saber
se essa proposio tautolgica.

Valor F, trata-se de uma contingncia, ento no implicao

Recordando propriedades da Matemtica
Comutatividade: a b = b a, quaisquer que sejam a e b
A adio e a multiplicao so comutativas, pois

substituindo os smbolos das operaes () pelos
smbolos da adio e da multiplicao (+ e x),
respectivamente, obtemos:
a + b = b + a, quaisquer a e b
a x b = b x a, quaisquer a e b
Comutatividade: a b = b a, quaisquer que sejam a e b
Exemplo: comutatividade da adio e da multiplicao

Adio:
2+3=3+2
5=5
Multiplicao:
2x3=3x2
6=6
A subtrao e a diviso no so comutativas, pois, a - b

b - a (l-se, a menos b diferente de b menos a). Essa
diferena s ser igual se a for igual a b.
Exemplo: no-comutatividade da subtrao e diviso
Subtrao:
2-33-2
-1 1
Diviso:
6/33/6
2 0,5
Associatividade: a (b c) = (a b) c, para quaisquer a,

bec
A adio e a multiplicao so associativas, pois,
conforme fizemos anteriormente, substituindo os
smbolos das operaes () pelos smbolos da adio e da
multiplicao (+ e x), respectivamente, observamos que:
a + (b + c) = (a + b) + c = a + b + c, para quaisquer a, b e c
a x (b x c) = (a x b) x c = a x b x c, para quaisquer a, b e c
Associatividade
Exemplo de associatividade da adio e da multiplicao

Associatividade da adio
2 + (1 + 3) = ( 2 + 1) + 3
2+4=3+3
6=6
Associatividade da multiplicao
2 x (3 x 1) = (2 x 3) x 1
2x3=6x1
6=6
Distributividade de em relao o: a (b o c) = (a b) o
(a c), para quaisquer que sejam a, b e c
Na aritmtica, temos que a multiplicao distributiva

em relao adio, e a multiplicao distributiva em
relao subtrao.
Assim, substituindo:
a x (b + c) = (a x b) + (a x c)
a x (b - c) = (a x b) - (a x c)
Distributividade
Exemplo de distributividade da multiplicao em relao

adio e subtrao
Multiplicao em relao adio
2 x (1 + 3) = (2 x 1) + (2 x 3)
2x4=2+6
8=8
Multiplicao em relao subtrao
2 x (3 - 1) = (2 x 3) - (2 x 1)
2x2=6-2
4=4
Propriedades das inferncias ou implicaes lgicas
Propriedade reflexiva:
pp
Propriedade transitiva:
Se p q e q r, ento p r
Propriedades transitiva provando pela tabela verdade
Proposies associadas a uma condicional
Dada a condicional p q, chamamos de proposies

associadas p q as trs proposies condicionais que
contm p e q:
1) proposio recproca da condicional: p q : q p

2) proposio contrria da condicional: p q : ~p ~q
3) proposio contrapositiva da condicional:
p q : ~q ~p
Proposies associadas a uma condicional - exemplo
Proposies associadas a uma condicional
Tabela verdade
Proposies associadas a uma condicional propriedades
1) Condicional p q e a sua contrapositiva ~q

~p so equivalentes, pois possuem os mesmos
valores lgicos.
2) Recproca q p e a contrria ~p ~q da
condicional p q so equivalentes, pois possuem
os mesmos valores lgicos.
3) Condicional p q e a sua recproca q p ou a
sua contrria ~p ~q no so equivalentes.
Proposies associadas a uma condicional propriedades
4) Contrria ~p ~q da condicional p q tambm

denominada a inversa de p q.
5) Contrapositiva ~q ~p da condicional p q
nada mais do que a contrria da recproca q r e,
por causa disso, denominada contra recproca de
p q.
6) Tambm se diz que p q a direta em relao
s associadas.
Exerccios
Para entregar em 10/11/2016
1) Em uma estrutura condicional as proposies

so identificadas como:
a Primeira e Segunda.
b Primria e Secundria.
c Principal e Subordinada.
d Antecedente e Consequente.
e Verdadeira e Falsa.
Exerccios
2) So formas de expressar corretamente uma

estrutura condicional, EXCETO:
a) Se vivo ento respiro.

b) Estar vivo supe respirar.
c) Vivo se e somente se respiro.
d) Estar vivo supe respirar.
e) Respiro s se estou vivo.
Exerccios
3) Analisando a proposio composta:
Se Pel argentino, ento Maradona brasileiro.
correto afirmar que essa estrutura :
a) Verdadeira porque Pele brasileiro.

b) falsa,porque Pel no argentino.
c) falsa porque Maradona no brasileiro.
d) Verdadeira porque a antecedente falsa e a
consequente falsa
e) Verdadeira porque Maradona argentino.
Exerccios
4) Uma implicao lgica somente ocorrer quando:
a) No for observada a sequncia VF em nenhuma linha na tabela-

verdade da condicional correspondente.
b) Todos os valores lgicos na tabela-verdade da condicional
correspondente forem V.
c) Todos os valores lgicos na tabela-verdade da condicional
correspondente forem F.
d) A repetio da sequncia FV ocorrer em todas as linhas da tabela-
e) No for observada a sequencia FV em nenhuma linha na tabela-
Exerccios
5) Analise a seguinte sequncia de operandos e a concluso abaixo,
Se 5 > 2
Se 8 > 5
Logo 8 > 2
A propriedade que garante essa concluso conhecida como:
a) Associativa
b) Comutativa
c) Distributiva
d) Reflexiva
e) Transitiva
Exerccios
6 ) Se chove, faz frio.
a) Chover condio necessria para fazer frio.

b) Fazer frio condio suficiente para chover.
c) Chover condio necessria e suficiente para
fazer frio.
d) Chover condio suficiente para fazer frio.
e) Fazer frio condio necessria e suficiente para
chover.
Exerccios
7 ) Sejam as proposies simples relacionadas s condies do tempo
de uma regio fria:
p: est seco.
q: est nevando.
Esto corretas as seguintes transformaes das proposies

compostas simblicas para a linguagem corrente, EXCETO:
a) p ~q: Se est seco, ento no est nevando.

b) p ~q: Ou est seco ou no est nevando.
c) ~p ~q: No est seco e no est nevando.
d) p ~q: Est seco, se e somente se, no est nevando.
e) (p ~q) p: Se est seco e no est nevando, ento est seco.
Exerccios
8 ) Explique o que implicao lgica.
9) Quais so as propriedades das relaes de

implicao lgica?
10) Quais so as proposies associadas a uma

estrutura condicional?
Exerccio
Elaborar 10 proposies compostas

com operadores diferentes
envolvendo situaes ligadas
Gastronomia, com a respectiva
tabela verdade.
UNIDADE 8
Equivalncia lgica
Unidade 8 Equivalncia lgica
Definio:
Duas proposies p e q so
logicamente equivalentes, ou
equivalentes, se as tabelas-verdade
dessas duas proposies forem
idnticas.
Definio:
Uma expresso proposicional da forma

bicondicional p q, que tambm uma
tautologia, chamada equivalncia (ou
equivalncia lgica).
As proposies p e q so ditas equivalentes, e

escrevemos p q.
Aprendendo com um exemplo:
Como exemplo, verificaremos se a expresso p
q ~q ~p uma equivalncia.
Para sua construo, sabemos que o conectivo

lgico bicondicional ( ) verdadeiro se, e
somente se, seus componentes tm os mesmos
valores lgicos.
Aprendendo com um exemplo:
Lembrando: o conectivo lgico bicondicional ( ) verdadeiro
se, e somente se, seus componentes tm os mesmos valores
lgicos.
Tautologia
Concluses:
Podemos concluir ento que, se duas proposies so
equivalentes, porque possuem a mesma tabela-
verdade e, reciprocamente, se duas proposies
possuem a mesma tabela-verdade, elas so equivalentes.
Decorre dessa definio que todas as tautologias e

contradies so equivalentes entre si.
Cabe destacar que os smbolos e so distintos.

Quando (p q) for uma tautologia, escrevemos sua
relao de equivalncia (p q).
Propriedades:
Reflexiva: p p
A propriedade reflexiva significa que uma proposio
logicamente equivalente a ela mesma, ou ao seu
idntico.
Simtrica: Se p q ento q p
Uma relao simtrica se a relao bicondicional de p
com q implicar a relao bicondicional de q com p.
Transitiva: Se p q e q r ento p r
Uma relao transitiva se p implica q e q implica r,
ento p implica r.
lgebra das proposies de equivalncia lgica:
Regras de idempotncia
As proposies p e p so equivalentes, isto ,
simbolicamente: p p p ou p v p p conforme
demonstrado a seguir:
p p^p pvp p^pp pvpp
V V V V V
F F V V V
Tautologias
Regra da dupla negao
A regra da dupla negao afirma que, se negarmos a negao de
uma proposio, o resultado ser (logicamente equivalente a) a
proposio original.
Assim, se formos negar ~p (citada acima), trocaremos seu valor
lgico de falso para verdadeiro, obtendo a proposio original, p.
Essa lgica pode ser aplicada a exemplos cotidianos, tais como eu no vi
ningum, que equivalente a eu vi algum; eu no quero nada, que
equivalente a eu quero alguma coisa; eu no pedi nada, que equivalente a
eu pedi alguma coisa; eu no gosto de ningum, logicamente equivalente a
eu gosto de algum, dentre outros exemplos. Lembrando que, embora seja a
lgica, na prtica esses no os significados correntes no portugus usado no
Brasil.
Regra da dupla negao
Para mostrar que as proposies ~~p e p so equivalentes, isto
, ~~p p , construmos sua tabela-verdade.
Leis da comutatividade
A ordem dos operandos (termos) no altera

o resultado final.
Essas leis da comutatividade so bastante conhecidas na
multiplicao matemtica, popularmente expressa por meio da
frase: a ordem dos fatores no altera o produto, ou seja,
pqqpepvqqvp
A ordem dos operandos (termos) no altera o resultado final.
Essas leis da comutatividade so bastante conhecidas na

multiplicao matemtica, popularmente expressa por meio da
frase: a ordem dos fatores no altera o produto, ou seja,
pqqpepvqqvp
A ordem dos operandos (termos) no altera o resultado final.
Regra de Clavius
A implicao lgica da negativa da proposio nela mesma
equivalente a ela mesma.
As proposies (~p p ) e p so equivalentes, ou seja,
simbolicamente temos: ~p p p ,
Leis da associatividade
Essas leis mostram que a ordem das operaes aplicadas no
altera o resultado, conforme expresses:
a) da associatividade da conjuno (p q) r p (q r)
b) da associatividade da disjuno (p v q) v r p v (q v r).
a) da associatividade da conjuno (p q) r p (q r)
b) da associatividade da disjuno (p v q) v r p v (q v r).
Leis da distributividade
Construindo as tabelas-verdade vejamos as leis da

distributividade da conjuno e a distributividade
da disjuno:
p (q v r) (p q) v (p r)
p v (q r) (p v q) (p v r).
p (q v r) (p q) v (p r)
Textualmente corresponde ao seguinte exemplo:

O carro azul e Mariana o comprou ou o ganhou.
Equivale a:
O carro azul e Mariana o comprou ou o carro azul e Mariana o ganhou.
p v (q r) (p v q) (p v r)
Leis de Augustus de Morgan
Essas leis dizem que:
a) negar a simultaneidade de p e q afirmar, pelo
menos, no p ou no q. Assim: ~(p q) ~p ~q.
b) negar a ocorrncia de, pelo menos, p ou q afirmar
nem p e nem q, cuja expresso : ~(p q) ~p ~q.
Pelas regras de Augustus De Morgan, a negao

transforma:
1. a conjuno em disjuno
2. a disjuno em conjuno
Pelas Leis de Augustus de Morgan, a frase:

FALSO que Michel Temer presidente do Brasil E
foi eleito democraticamente pelo voto popular
logicamente equivalente a?
Michel Temer NO presidente do Brasil OU NO

foi eleito democraticamente pelo voto popular.
Lei da Absoro
A regra estabelece que se p implica q, ento p implica p
q.
A regra torna possvel introduzir conjunes em provas.
Isso chamado de lei de absoro, visto que o termo q
"absorvido" pelo termo p na consequncia. Assim temos:
(p q) p (p q).
Lei da Absoro
Textualmente, temos:
Se Joo casado com Maria ento Joo marido de Maria (p q).
Joo casado com Maria e Joo marido de Maria (p ^ q).
Ento podemos dizer que:
Joo casado com Maria, ento Joo marido de Maria implica em Joo casado com
Maria ento Joo casado com Maria e marido de Maria (p q p (p ^ q))
Lei da Condicional
Essa equivalncia lgica de grande importncia, pois
permite transformar a condicional por uma disjuno, ou
seja, (p q) (~p q).
Se a chuva continua, o rio vai inundar suas margens.
Equivale a:
A chuva NO continua ou o rio vai inundar suas margens.
Lei da Bicondicional e a Conjuno
Essa equivalncia lgica tambm de grande
importncia, pois permite transformar a bicondicional
numa conjuno: (p q) (p q) (q p).
Um nmero divisvel por dez se, e somente se, ele terminar em zero.
p: um nmero divisvel por zero
q: um nmero mltiplo de dez
Equivale a:
Se um nmero terminar em zero, ento ele mltiplo de dez e Se um
nmero for mltiplo de dez, ento ele termina em zero.
Lei da Bicondicional e a disjuno
Como no item anterior, essa equivalncia lgica tambm de

grande importncia, pois permite transformar a bicondicional
numa disjuno: (p q) (p q) (~p ~q).
Um nmero divisvel por dez se, e somente se, ele terminar em zero.
Logicamente equivale a:
Um nmero divisvel por dez e termina em zero ou no divisvel por dez
e no termina em zero.
Aprendendo por meio de um exemplo
https://www.youtube.com/watch?v=ggsPWSu9Yi8
Resolvendo exerccios de equivalncia lgica

https://www.youtube.com/watch?v=enRNeX6bo5I
Decorando as equivalncias lgicas

https://www.youtube.com/watch?v=j_JbaQWvL4o
Unidade 8
Equivalncia lgica
Propriedades e regras
de equivalncia lgica
Exerccio:
Dizer que "no verdade que Pedro pobre e Alberto

alto", logicamente equivalente a dizer que verdade
que:
a) Pedro no pobre ou Alberto no alto;

b) Pedro no pobre e Alberto no alto;
c) Pedro pobre ou Alberto no alto;
d) se Pedro no pobre, ento Alberto alto;
e) se Pedro no pobre, ento Alberto no alto.
Exerccio - resoluo:
Primeiramente, lembremos que a sentena "Dizer que no
verdade o mesmo que negar a frase seguinte, ou seja, o mesmo
que negar a sentena "Pedro pobre e Alberto alto".
Identifiquemos, ento as proposies:
p: Pedro pobre
q: Alberto alto
proposio composta: p q
Negar p q o mesmo que escrever ~(p q) e, pela regra de
Augustus De Morgan, a negao transforma uma conjuno em
disjuno.
Assim, teremos: ~(p q) ~p ~q.
Textualmente temos: "Pedro no pobre ou Alberto no alto".
(Letra a)

Raciocinio Logico UNA GJA 2016 11 10

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Raciocinio Logico UNA GJA 2016 11 10

Uploaded by

Copyright:

Available Formats

Raciocnio

Prof. Alexandre Couto Cardoso

Prof. Alexandre Couto Cardoso

Prof. Alexandre Couto Cardoso

Interpretar, entender e aplicar tcnicas

EMENTA (assunto tratado CONTEDO PROGRAMTICO

aplicar o raciocnio lgico na soluo de

identificar as aplicaes prticas do raciocnio

EMENTA (assunto tratado CONTEDO PROGRAMTICO

Define-se varivel como sendo uma

CONJUNTO (ou Populao)

1 passo: identificar variveis

3 alunas: Mrcia, Berenice e Priscila

2 passo: construir a tabela de correlacionamento

3 passo: preencher a tabela de correlacionamento

Identificar informaes lgicas

1. Mrcia realizou seu curso em Belo Horizonte.

3 passo: construo da tabela de correlacionamento

3 passo: construo da tabela de correlacionamento

3 passo: construo da tabela de correlacionamento

4 passo: anlise da tabela de correlacionamento

5 passo: finalizar tabela de correlacionamento

1. Mrcia cursou Medicina em Belo Horizonte.

Resoluo de problemas de correlacionamento

E quando o problema apresentar

1. Luza fez demonstrao do produto de uma confeco localizada nas

Marquemos, ento, com um

O raciocnio lgico , ento, um processo

Exemplo: o empregado o autor da fraude, ento h um

Somente a partir do sculo XVI da nossa era outros

Acredita-se que pessoas mais criativas so mais intuitivas e

Dentro dos princpios utilizados no estudo do

a. Bom, Consistente, Vlido ou Verdadeiro.

Esta regra exige que cada premissa ou

Um argumento formado por uma ou mais

Quantos anos Maria tem?

Proposies que conduzem sempre mesma resposta:

a. Aquele carro verde ou no verde.

a E b: Alexandre nasceu em Belo Horizonte E ator.

a OU b: Alexandre nasceu em Belo Horizonte OU ator.

OU a OU b: OU Dimitri brasileiro OU Dimitri russo.

SE a ENTO b: SE o carro est na garagem ENTO a

a SE E SOMENTE SE b: O carro est na garagem SE E

NO a: Eu no amo minha famlia.

Considerando que voc disparou um tiro em H8 e acertou um hidroavio do

Considerando que voc disparou um tiro em H8 e acertou um hidroavio do

b) Qual a capital da Argentina?

c) A capital do Brasil Buenos Aires.

a) Uma proposio falsa pode ser verdadeira e uma

b) Maria Helena no mdica.

c) falso que Maria Helena no mdica.

d) Maria Helena engenheira.

Nesse caso, podemos ter duas possibilidades:

Nesse caso, existem quatro possibilidades que devero ser

r : Ir festa no seu carro.

Para uma anlise com trs proposies (p, q, r),

Para convert-la numa conjuno, colocamos o

Observe que a expresso p v q ^ r poderia

Define-se tautologia como sendo toda a

Evidentemente que uma das situaes ir acontecer:

Verifica-se que uma proposio no pode ser ao mesmo

Na linguagem lgica, temos a seguinte proposio:

Define-se contradio toda a proposio