150 likes | 224 Views
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 ?.
E N D
Lógica (Revisão) Prof. LuizCarraro
A lógicadizrespeitoàrelação entre umaconclusão e as provasoferecidasparaservir de apoio. O Queé a Logica?
Uma coleção de enunciadosque se relacionammutuamente. Argumento?
São declarações de fato e osfatossãoindíciosfavoráveisàcomprovação da conclusão • Podemnãoajudar de duasmaneiras: • São todasFalsas • Nãopossuemrelaçãouma com as outras Premissas
Identificar o argumento(premissas e conclusão): • Todososmembros do jurierameleitorescadastrados e Joãoserviu no Juri; portanto; João era um eleitorcadastrado. R: ? Argumento, Premissa e Conclusão
Portanto • Logo • Segue-se que • Desdeque • Emconsequência • Assim • Daídecorreque • Pois • Porque Palavrasqueindicam a declaração de umapremissa
Consisteemaduzirumaconclusão a partir de provas Enunciado Provas Conclusão Inferência?
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, vouusarprotetor solar. • Se eu for para a aula amanhã, dormireicedohoje. • Se euestudar, ireibemnaprova. Se p então q; p->q Enunciadoscondicionais
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 enunciadofalso (F) • Concluir: ~p éFalso, portanto p é VÁLIDO Provaporabsurdo
Construir a tabelaverdadepara (p v q), (p ^ q) e (p -> q). Tabelaverdade