Raciocnio

Lgico

Prof. Alexandre Couto Cardoso

 APRESENTAES

Nome
Histrico educacional
Trabalho
Raciocnio Lgico e
Gastronomia?
O que voc espera? Como
 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
 PROGRAMA

EMENTA (assunto CONTEDO PROGRAMTICO

HABILIDADE
tratado na unidade (unidades e subunidades)
1. Desafios lgicos combinar vrios processos
Unidade 1
cognitivos, como memria, ateno
Desafios lgicos 2. Jogos e velocidade de raciocnio
aplicar o raciocnio lgico na soluo
de problemas da vida pessoal e
profissional;
1. Aprendendo a identificar variveis aplicar tcnicas para desenvolver a
Unidade 2 capacidade lgica de solucionar
do contexto
Problemas de questes de correlacionamento;
2. Tcnicas para resoluo de
correlacionamento treinar o raciocnio estruturado para
problemas de correlacionamento resoluo de problemas com rapidez
e clareza;
analisar argumentos complexos para
a soluo de problemas.
identificar as aplicaes prticas do
raciocnio lgico nas atividades
Unidade 3 1.1 Um pouco da histria do
profissionais do tecnlogo
Introduo ao pensamento lgico
estabelecer propriedades de
estudo da lgica 1.2 A lgica na vida do tecnlogo relaes formais entre proposies,
premissas e concluses
1. Conceitos de proposio
2. Valores lgicos das conceituar os princpios bsicos do
Unidade 4 proposies raciocnio lgico como as
Proposio e suas
3. Conectivos proposies simples e compostas e
operaes
 PROGRAMA

EMENTA (assunto CONTEDO PROGRAMTICO

HABILIDADE
tratado na unidade (unidades e subunidades)
1. Tabelas verdade para demonstrar, verificar ou testar a
proposies simples. validade de quaisquer argumentos
2. Tabelas verdade para por meio da aplicao das regras de
Unidade 5
proposies compostas tabela-verdade
Operaes lgicas e
desenvolver habilidades de
resultados
raciocnio lgico que podem ser
teis no desenvolvimento de
programas e algoritmos
demonstrar, verificar ou testar a
validade de quaisquer argumentos
Unidade 6: 1. Definio de tautologia por meio da aplicao das regras de
Tautologia, tabela-verdade
2. Definio de contradio
contradies e desenvolver habilidades de raciocnio
contingncias 3. Definio de contingncia lgico que podem ser teis no
desenvolvimento de programas e
algoritmos
1. Inferncia ou implicao lgica demonstrar, verificar ou testar
Unidade 7 2. Propriedade da relao de argumentos com uso de regras de
Inferncia ou inferncia lgica inferncia;
implicao lgica 3. lgebra das inferncias lgicas validar argumentos por meio de
regras de inferncia e equivalncia
1. Equivalncia lgica
2. Propriedade da relao de validar argumentos por meio de
Unidade 8 equivalncia lgica regras de inferncia e equivalncia
BIBLIOGRAFIA
Plano de Avaliao
Jogo da Forca
Jogo da Velha
Sudoku
Batalha Naval

TABULEIR
O
Batalha Naval

FROT
A
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 ELEMEN
ELEMEN TO
(ou Caracterstica)
ELEMEN TO
TO
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

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

3 passo: construo da tabela de

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

3 passo: construo da tabela de

3. Berenice no
correlacionamento
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.
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
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
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:
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:
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.
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
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
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
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).
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
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
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
Proposies: corretas.
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
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
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;
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
Sequncias n = n de
proposie
s
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
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
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
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

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
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
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
CILADA nossa
Proposies: tendncia achar
p: aluno(a) do curso de Gastronomia
que se no
aluno de
q: pode entrar Gastronomia, no
pq pode entrar,
aluno, mas isso no foi
pode entrar dito!!!
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, b e c
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
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
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
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
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,
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

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^p pvp
p p
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
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
Textualmente,
q) (q p). 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".