Você está na página 1de 223

Raciocnio

Lgico

Prof. Alexandre Couto Cardoso


APRESENTAES

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

Prof. Alexandre Couto Cardoso


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

Prof. Alexandre Couto Cardoso


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.
Unidade 2 Problemas de Correlacionamento
Aprendendo a identificar variveis do contexto

VARIVEL ELEMENTO
(ou Caracterstica) ELEMENTO
ELEMENTO

SUBCONJUNTO
(ou Amostra)

CONJUNTO (ou Populao)


Unidade 2 Problemas de Correlacionamento
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?
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

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
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

2 passo: construir a tabela de correlacionamento


Unidade 2 Problemas de Correlacionamento
Resoluo de problemas 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
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

3 passo: construo da tabela de correlacionamento


1. Mrcia realizou
seu curso em Belo
Horizonte.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

3 passo: construo da tabela de correlacionamento


2. Priscila cursou
Psicologia.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

3 passo: construo da tabela de correlacionamento


3. Berenice no
realizou seu curso
em So Paulo e
no fez Medicina
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

4 passo: anlise da tabela de correlacionamento


Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

5 passo: finalizar tabela de correlacionamento


Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

Resposta

1. Mrcia cursou Medicina em Belo Horizonte.


2. Priscila cursou Psicologia em So Paulo.
3. Berenice cursou Biologia em Florianpolis.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento

Resoluo de problemas de correlacionamento

E quando o problema apresentar


mais que 3 variveis?
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
2 passo: construo da tabela-gabarito
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
2 passo: construo da tabela principal de soluo
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
Repetio das
colunas dos
grupos de
mtodos de
apresentao
e de cursos
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
1. Luza fez
demonstrao
do produto
(Essa
informao
conclusiva, isto
, pode ser
transferida para
a tabela-
gabarito)
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
1. Luza fez demonstrao do produto
(Essa informao conclusiva, isto , pode ser transferida para a tabela-
gabarito)
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
2. Jos Maria
falou ingls.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
3. O que
apresentou
PowerPoint
cursa
Mecatrnica
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
4. O que falou
Alemo, que
no Alexander,
estuda Redes de
Computadores
REC
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
5. Quem falou
Portugus
apresentou
gravao de
depoimentos de
clientes de um
restaurante
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
6. Pedro estuda
Logstica LOG e
no falou francs.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
7. Alexander fez
sua
apresentao
baseando-se nos
projetos pessoais
que realizou.
Unidade 2 Problemas de Correlacionamento
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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".
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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).
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento

Atualizando a tabela-gabarito...
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
Resoluo de problemas de correlacionamento
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.
Unidade 2 Problemas de Correlacionamento
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.
Unidade 3 Estudo da lgica
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
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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?
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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).
Unidade 3 Estudo da lgica
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?).
Unidade 3 Estudo da lgica
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.
Unidade 3 Estudo da lgica
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 3 Estudo da lgica
Unidade 3 Estudo da lgica
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.
Unidade 4 Proposio e suas operaes lgicas
Exemplo de Argumento

Proposies:
a. Todos os mineiros so brasileiros
b. Todos os brasileiros so latino americanos

Concluso
Todos os mineiros so latino americanos.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
Exemplos do que no proposio:

x+y=5
x+1=y
x+2=4
Ele magro.
A gua da minha sogra nova.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
Proposio x perguntas e estruturas indefinidas:

Quantos anos Maria tem?


Ser que vai chover?
No sei se vou viajar.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas

Proposies que conduzem sempre mesma resposta:

a. Aquele carro verde ou no verde.


b. Andr chegou a sua casa ou no chegou.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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...
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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.
Unidade 4 Proposio e suas operaes lgicas
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.


Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 4 Proposio e suas operaes lgicas
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
Unidade 5 Operaes lgicas e resultados
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.
Unidade 5 Operaes lgicas e resultados
Operaes com duas preposies:
p: tempo chuvoso
q: tempo frio
Unidade 5 Operaes lgicas e resultados
Operaes com duas preposies:
p: tempo chuvoso
q: tempo frio
Unidade 5 Operaes lgicas e resultados
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.
Unidade 5 Operaes lgicas e resultados
Tempo frio

Tempo
chuvoso

Ir de carro

No est frio
No est
chuvoso
Vai de carro
Unidade 5 Operaes lgicas e resultados

TABELA-
VERDADE
1 proposio =
2 linhas
2 proposies =
4 linhas
3 proposies =
8 linhas

Linhas = 2n
n = n de
Sequncias proposies
Unidade 5 Operaes lgicas e resultados
Simbologia dos conectivos lgicos (operadores)
Unidade 5 Operaes lgicas e resultados
Conjuno de duas proposies

p: Ele homem
q: Ela mulher
Unidade 5 Operaes lgicas e resultados
Disjuno de duas proposies

p: Ele branco
q: Ela negra
Unidade 5 Operaes lgicas e resultados
Disjuno exclusiva de duas proposies

p: Filhote fmea
q: Filhote macho
Unidade 5 Operaes lgicas e resultados
Estrutura condicional entre duas proposies

p: Obter 70 pontos
q: Ser aprovado
Unidade 5 Operaes lgicas e resultados
Estrutura bicondicional entre duas proposies

p: Ser reprovado
por frequncia
q: Faltar mais de
25% das aulas
Unidade 5 Operaes lgicas e resultados
Negao de uma proposio

p: Alexandre chef
Unidade 5 Operaes lgicas e resultados
Resumo das relaes entre proposies simples
Unidade 5 Operaes lgicas e resultados
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,
Unidade 5 Operaes lgicas e resultados
Tabelas verdade para proposies compostas
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.
Unidade 5 Operaes lgicas e resultados
Tabelas verdade para proposies compostas
Unidade 5 Operaes lgicas e resultados
Ordem de precedncia dos operadores lgicos

1) Bicondicional:

2) Condicional:

3) Conjuno v e Disjuno:

4) Negao: ~
Unidade 5 Operaes lgicas e resultados
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
Unidade 5 Operaes lgicas e resultados
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.
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 6 Tautologias, contradies e contingncias
TAUTOLOGIA
Verificar se a proposio falso que Geraldo vai
casar e que Geraldo no vai casar uma
tautologia.
Temos duas possibilidades:
p: Geraldo vai casar.
~p: Geraldo no vai casar.
Na linguagem lgica, temos a seguinte proposio:
~(p ~p).
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 6 Tautologias, contradies e contingncias
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.

Na linguagem lgica, temos a seguinte proposio:


(p r) (~q r)
Unidade 6 Tautologias, contradies e contingncias
TAUTOLOGIA
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 6 Tautologias, contradies e contingncias
CONTRADIO
Verificar se a proposio Cristina feliz e Cristina
infeliz uma contradio.

Temos duas possibilidades:


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

Na linguagem lgica, temos a seguinte proposio:


(p ~p)
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 6 Tautologias, contradies e contingncias
CONTRADIO
Verificar se a proposio Carol rica se e
somente se Carol pobre uma contradio.

Temos duas possibilidades:


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

Na linguagem lgica, temos a seguinte proposio:


(p ~p).
Unidade 6 Tautologias, contradies e contingncias
CONTRADIO

Verifica-se que uma contradio dizer que Carol ser rica a


condio necessria para Carol ser pobre.
Unidade 6 Tautologias, contradies e contingncias
CONTRADIO
Verificar se a proposio Gabriel fala alemo e
Raimundo fala ingls e falso que Gabriel fala
alemo ou Raimundo fala ingls uma
contradio.
Temos duas possibilidades:
p: Gabriel fala alemo.
q: Raimundo fala ingls.
Na linguagem lgica, temos a seguinte proposio:
(p q) ~(p q).
Unidade 6 Tautologias, contradies e contingncias
CONTRADIO
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 6 Tautologias, contradies e contingncias
CONTINGNCIA
Verificar se a proposio Se est chovendo ou est frio,
ento est chovendo uma contingncia.

Temos duas possibilidades:


p: Est chovendo.
q: Est frio.

Na linguagem lgica, temos a seguinte proposio:


p q p.
Unidade 6 Tautologias, contradies e contingncias
CONTINGNCIA

p: Est chovendo.
q: Est frio.
Unidade 6 Tautologias, contradies e contingncias
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.
Temos duas possibilidades:
p: A msica sertaneja universitria.
q: O blues tem ps-doutorado.
Na linguagem lgica, temos a seguinte proposio:
(p q) (p q).
Unidade 6 Tautologias, contradies e contingncias
CONTINGNCIA
Unidade 6 Tautologias, contradies e contingncias
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.
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
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
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
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.
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
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.
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
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
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
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
Unidade 7 Inferncia ou implicao lgica
Proposio condicional
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.
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica

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.
Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
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


Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
Recordando propriedades da Matemtica

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
Unidade 7 Inferncia ou implicao lgica
Recordando propriedades da Matemtica

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
Unidade 7 Inferncia ou implicao lgica
Recordando propriedades da Matemtica

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
Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
Recordando propriedades da Matemtica

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)
Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
Propriedades das inferncias ou implicaes lgicas

Propriedade reflexiva:
pp

Propriedade transitiva:
Se p q e q r, ento p r
Unidade 7 Inferncia ou implicao lgica
Propriedades transitiva provando pela tabela verdade
Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
Proposies associadas a uma condicional - exemplo
Unidade 7 Inferncia ou implicao lgica
Proposies associadas a uma condicional
Tabela verdade
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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-
verdade da condicional correspondente.
e) No for observada a sequencia FV em nenhuma linha na tabela-
verdade da condicional correspondente.
Unidade 7 Inferncia ou implicao lgica
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
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 7 Inferncia ou implicao lgica
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?
Unidade 7 Inferncia ou implicao lgica
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.
Unidade 8 Equivalncia lgica
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.
Unidade 8 Equivalncia lgica
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.
Unidade 8 Equivalncia lgica
Aprendendo com um exemplo:
Lembrando: o conectivo lgico bicondicional ( ) verdadeiro
se, e somente se, seus componentes tm os mesmos valores
lgicos.

Tautologia
Unidade 8 Equivalncia lgica
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).
Unidade 8 Equivalncia lgica
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.
Unidade 8 Equivalncia lgica
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
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Regra da dupla negao
Para mostrar que as proposies ~~p e p so equivalentes, isto
, ~~p p , construmos sua tabela-verdade.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Leis da comutatividade
A ordem dos operandos (termos) no altera o resultado final.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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 ,
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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).
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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)
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Leis da associatividade
Essas leis mostram que a ordem das operaes aplicadas no
altera o resultado, conforme expresses:
b) da associatividade da disjuno (p v q) v r p v (q v r).
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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).
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Leis da distributividade
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.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Leis da distributividade
p v (q r) (p v q) (p v r)
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Leis de Augustus de Morgan
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Leis de Augustus de Morgan

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.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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).
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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))
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
Lei da Condicional
Essa equivalncia lgica de grande importncia, pois
permite transformar a condicional por uma disjuno, ou
seja, (p q) (~p q).

Textualmente, temos:
Se a chuva continua, o rio vai inundar suas margens.
Equivale a:
A chuva NO continua ou o rio vai inundar suas margens.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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).
Textualmente, temos:
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.
Unidade 8 Equivalncia lgica
lgebra das proposies de equivalncia lgica:
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).

Textualmente, temos:
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.
Unidade 8 Equivalncia lgica
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
Unidade 8 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.
Unidade 8 Equivalncia lgica
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)