Lógica (Revisão)
{
Prof. Luiz Carraro

A lógica diz respeito à relação entre uma
conclusão e as provas oferecidas para servir de
apoio.
O Que é a Logica?

Uma coleção de enunciados que se relacionam
mutuamente.
Argumento?

São declarações de fato e os fatos são indícios
favoráveis à comprovação da conclusão

Podem não ajudar de duas maneiras:


São todas Falsas
Não possuem relação uma com as outras
Premissas
Identificar o argumento (premissas e conclusão):
 Todos os membros do juri eram eleitores
cadastrados e João serviu no Juri; portanto;
João era um eleitor cadastrado.
R: ?
Argumento, Premissa e
Conclusão









Portanto
Logo
Segue-se que
Desde que
Em consequência
Assim
Daí decorre que
Pois
Porque
Palavras que indicam a
declaração de uma premissa

Consiste em aduzir uma conclusão a partir de
provas
Enunciado
Inferência?
Provas
Conclusão

Apresente os seguinte argumento na
forma padrão



Todos os membros do júri eram eleitores
cadastrados e João serviu no júri, portanto
João também era um eleitor cadastrado.
O tempo está fechado e o clima está úmido,
então acredito que irá chover.
Forma padrão



Todos os mamíferos são mortais
Todos os cães são mortais.
 Todos os cães são mamíferos.
Utilizando as letras “p”, “q”e “r” passe
os seguintes argumentos para a forma
padrão.



Se eu for para a praia, vou usar protetor solar.
Se eu for para a aula amanhã, dormirei cedo
hoje.
Se eu estudar, irei bem na prova.
Se p então q;
p->q
Enunciados condicionais






P->q
P
q

~p-> q
~p
q





~P->~q
~P
 ~q
p-> ~q
p
 ~q
Afirmação de Antecedente






P->q
~q
 ~p
~p-> q
~q
p






P->~q
q
 ~p
~p-> ~q
q
p
Negação do consequente




Demonstrar: p
Supor:
~p
Deduzir:
Um enunciado falso (F)
Concluir:
~p é Falso, portanto p é VÁLIDO
Prova por absurdo

Construir a tabela verdade para (p v q), (p ^ q)
e (p -> q).
Tabela verdade
Boa prova!