1 / 16

ALGORITMO

ALGORITMO. Samuel Â. Lopes. Lógica Proposicional. É um sistema lógico que busca formalizar a noção de proposição. Proposição : é uma afirmação qualquer que fazemos, que pode assumir um valor de Verdadeiro ou Falso. Ex: “Hoje está chovendo” “O sol é amarelo” “Você está doente”.

Download Presentation

ALGORITMO

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. ALGORITMO Samuel Â. Lopes

  2. Lógica Proposicional É um sistema lógico que busca formalizar a noção de proposição. Proposição: é uma afirmação qualquer que fazemos, que pode assumir um valor de Verdadeiro ou Falso. Ex: • “Hoje está chovendo” • “O sol é amarelo” • “Você está doente”

  3. Lógica Proposicional Exemplo de não proposição • “Talvez ele saia” • “Vamos almoçar?” • “Estejamos atentos” • X+y>0. (Também não é uma proposição já que depende dos valores de x e y.

  4. Para ser uma proposição Deve seguir as regras abaixo - Princípio da Não – Contradição: • Não pode ser Verdadeira ou Falsa ao mesmo tempo. Ex: Está chovendo? Esta proposição deve ser verdadeira ou falsa, nunca os dois ao mesmo tempo.

  5. Para ser uma proposição Deve seguir as regras abaixo - Princípio do Terceiro Excluído • Uma proposição obrigatoriamente deve ser Verdadeira ou Falsa, não podendo existir uma terceira possibilidade. • A Lua é quadrada? Ou deve ser verdadeiro ou Falso Nunca “mais-ou-menos”;

  6. Valores Lógicos Verdadeiro, representado por V ou 1. Falso, representado por F ou 0.

  7. Representações • Cada proposição pode ser representada por uma letra minúscula. Ex: “A árvore é alta” – (p. representa a sentença)

  8. Entendendo o conceito É importante entender o conceito de proposição para a programação, pois, os dados que um equipamento deve processar serão estruturados de forma lógica (semelhante às nossas proposições).

  9. Sintaxe e Semântica Sintaxe é o nome dado ao conjunto de regras a serem seguidas para a escrita dos algoritmos. • Como em nossa língua precisamos seguir algumas regras para escritas de um algoritmo (Forma de um comando) • Semântica refere-se ao que é efetuado pelo computador quando ele encontra um comando. (Conteúdo do comando).

  10. Conectivos Lógicos Existem diversos tipos de conectivos lógicos. Inicialmente vamos começar com os três conectivos mais básicos: Negação (NÃO), Conjunção (E) e Disjunção (OU). Chamamos cada proposição assim de elemento simples ou átomo.

  11. Conectivos Lógicos Negação: Negação é representada por (¬ p) também representado por (~p) em expressões lógicas Exemplo: p: hoje é domingo ¬ p: hoje não é domingo

  12. Conectivos Lógicos E (conjunção): A conjunção de p e q é representada por p ^ q (também por p.q ou pq). p ^ q é verdadeiro se p e q forem ambos verdadeiros. É falso se p for falso ou se q for falso (ou ambos) Ex: Eu comprei uma casa e comprei um carro Se eu comprar uma casa apenas .. Eu menti, pois eu disse que comprei os dois. Da mesma forma acontece com o carro... Para ser verdade eu preciso comprar os dois...

  13. Conectivos Lógicos OU (Disjunção): Disjunção de p ou q é representada por p ∨ q . p v q é verdadeiro se p for verdadeiro ou se q for verdadeiro. É falso se p e q forem ambos falsos. • Ex: Eu quero comprar um carro ou uma casa • Se eu comprar um carro apenas eu não estarei mentindo, pois eu queria uma casa ou um carro. Se eu comprar uma casa da mesma forma. • Só estarei mentindo se eu não comprar nem um e nem o outro.

  14. Exemplos p: Está quente q: Está ensolarado ¬ p: Não está quente p^q: Está quente e está ensolarado p v q: Está quente ou está ensolarado ~p ^ q : Não está quente mas está ensolarado ~p ^ ~q : Não está quente nem ensolarado

  15. Exercícios p: João é alto q: João é magro ~p ^q = p v q = ~p v ~q= q ^ ~p=

  16. Exercícios p: João é alto q: João é magro ~p ^q = João não é alto mas joão é magro p v q = João é alto ou joão é magro ~p v ~q= João não é alto nem é magro q ^ ~p= João é magro mas não é alto

More Related