L gica revis o
This presentation is the property of its rightful owner.
Sponsored Links
1 / 15

L ógica ( Revisão ) PowerPoint PPT Presentation


  • 40 Views
  • Uploaded on
  • Presentation posted in: General

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 ?.

Download Presentation

L ógica ( Revisão )

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


L gica revis o

Lógica (Revisão)

Prof. LuizCarraro


O q ue a logica

  • A lógicadizrespeitoàrelação entre umaconclusão e as provasoferecidasparaservir de apoio.

O Queé a Logica?


Argumento

  • Uma coleção de enunciadosque se relacionammutuamente.

Argumento?


Premissas

  • 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


Argumento premissa e conclus o

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


Palavras que indicam a declara o de uma premissa

  • Portanto

  • Logo

  • Segue-se que

  • Desdeque

  • Emconsequência

  • Assim

  • Daídecorreque

  • Pois

  • Porque

Palavrasqueindicam a declaração de umapremissa


Infer ncia

  • Consisteemaduzirumaconclusão a partir de provas

Enunciado

Provas

Conclusão

Inferência?


Forma padr 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


Utilizando as letras p q e r passe os seguintes argumentos para a 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.


Enunciados condicionais

  • 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


Afirma o de antecedente

  • P->q

  • P

  • q

  • ~p-> q

  • ~p

  • q

  • ~P->~q

  • ~P

  • ~q

  • p-> ~q

  • p

  • ~q

Afirmação de Antecedente


Nega o do consequente

  • P->q

  • ~q

  • ~p

  • ~p-> q

  • ~q

  • p

  • P->~q

  • q

  • ~p

  • ~p-> ~q

  • q

  • p

Negação do consequente


P r ova por absurdo

  • Demonstrar: p

  • Supor: ~p

  • Deduzir:Um enunciadofalso (F)

  • Concluir:~p éFalso, portanto p é VÁLIDO

Provaporabsurdo


Tabela verdade

  • Construir a tabelaverdadepara (p v q), (p ^ q) e (p -> q).

Tabelaverdade


Boa prova

Boa prova!


  • Login