l ógica ( revisão )
DESCRIPTION
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 Q ue é a Logica ?. Uma cole ção de enunciados que se relacionam mutuamente. Argumento ?. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/1.jpg)
{Lógica (Revisão)
Prof. Luiz Carraro
![Page 2: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/2.jpg)
A lógica diz respeito à relação entre uma conclusão e as provas oferecidas para servir de apoio.
O Que é a Logica?
![Page 3: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/3.jpg)
Uma coleção de enunciados que se relacionam mutuamente.
Argumento?
![Page 4: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/4.jpg)
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
![Page 5: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/5.jpg)
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
![Page 6: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/6.jpg)
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
![Page 7: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/7.jpg)
Consiste em aduzir uma conclusão a partir de provas
Inferência?
Enunciado
ProvasConclusã
o
![Page 8: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/8.jpg)
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
![Page 9: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/9.jpg)
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.
![Page 10: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/10.jpg)
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
![Page 11: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/11.jpg)
P->q P q
~p-> q ~p q
Afirmação de Antecedente
~P->~q ~P ~q
p-> ~q p ~q
![Page 12: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/12.jpg)
Negação do consequente
P->q ~q ~p
~p-> q ~q p
P->~q q ~p
~p-> ~q q p
![Page 13: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/13.jpg)
Demonstrar: p Supor: ~p Deduzir: Um enunciado falso (F) Concluir: ~p é Falso, portanto p é
VÁLIDO
Prova por absurdo
![Page 14: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/14.jpg)
Construir a tabela verdade para (p v q), (p ^ q) e (p -> q).
Tabela verdade
![Page 15: L ógica ( Revisão )](https://reader035.vdocuments.mx/reader035/viewer/2022062217/568133f5550346895d9ae6bf/html5/thumbnails/15.jpg)
Boa prova!