1 / 22

Nome

CADERNO DE LÓGICA. Nome. DICAS PARA USAR ESTE CADERNO. Neste caderno de exercícios você pode escrever nestas caixas. Note que isto só é possível no modo de apresentação. Sempre que precisar, consulte o material sobre Lógica Bom trabalho!!.

adonis
Download Presentation

Nome

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. CADERNO DE LÓGICA Nome

  2. DICAS PARA USAR ESTE CADERNO Neste caderno de exercícios você pode escrever nestas caixas. Note que isto só é possível no modo de apresentação. Sempre que precisar, consulte o material sobre Lógica Bom trabalho!! Se o tamanho da caixa parecer pequeno para o que você pretende escrever, não se preocupe pois ela irá se adequar ao texto. Para salvar o que escreveu você deve: 1 - Sair do modo de apresentação (clicando no botão esc ); 2 – Salvar. • Para continuar trabalhando: • Para recomeçar do início da apresentação: clique na tecla F5. • Para continuar do ponto onde parou: clique shift + F5

  3. ~ (til) para representar a negação ^ (acento circunflexo) para representar a conjunção v (letra v minúscula) para representar a disjunção -> (traço + símbolo de maior) para representar o condicional <-> (símbolo de menor + traço + símbolo de maior) para representar o bicondicional Dicasparauso dos operadores Para facilitar a digitação dos operadores use a simbologia da páginaaolado

  4. 1 Proposição e Operadores lógicos Uma proposição pode ser simples ou composta Uma proposição é uma frase ou sentença afirmativa da língua portuguesa. Uma proposição composta é formada por proposições simples conectadas por operadores lógicos Uma proposição possui apenas um valor lógico: OU Os operadores lógicos são: Verdadeira (V) Falsa (F) Conjunção (^) Disjunção (v) Negação(~) Representamos uma proposição por uma letra em maiúscula do alfabeto: P, Q, R, .... Implicação (->) (também conhecido por condicional) Biimplicação (<->) (também conhecido por bicondicional) 

  5. Arraste para cá  Prove que entendeu! Selecione o símbolo, pressione o botão do mouse e arraste-o para a respectiva caixa na página ao lado: Negação Biimplicação ou Bicondicional Implicação ou Condicional Conjunção Disjunção

  6. Representação da proposição simples:  Como exemplo, temos duas proposições e suas representações: P – O Windows tem bugs. Q – O Windows não funciona. Proposições: O Windows tem bugs. Representação da proposição composta: O Windows não funciona. O Windows tem bug e não funciona ^ P ^ Q

  7.  Agora faça você! Representação da proposição simples: Leia as duas proposições simples abaixo e crie uma proposIção composta. P - Maria é bonita. Representação da proposição composta: Q - Maria gosta de estudar

  8.  Agora CRIE você! Representação da proposição simples: Escreva 2 proposições simples e crie uma proposição composta Proposição simples: Representação da proposição composta: Proposição simples:

  9. 2 Para construirmos uma fórmula, é necessário considerar a precedência de operadores. Fórmula e precedência de operadores Uma fórmula é uma sequência de elementos definida pelas regras: 1. fórmulas dentro de parênteses 2. ~ (negação) 1. Qualquer proposição simples (P) é uma fórmula; 3. Se P e Q são fórmulas, então P ^ Q, P v Q, P -> Q P <-> Q também são. 2 . Se P é uma fórmula, então ~P também é; 3. ^ (conjunção) 4. v (disjunção) 5. -> (implicação) 6. <-> (biimplicação) 7. da esquerda para a direita: ^, v 8. da direita para a esquerda: ->, <->

  10. Exemplo: Agora faça você: ~P -> (P v Q) ~(PvQ) <-> (~~P -> ~Q) Justificando a fórmula Pela regra 1 temos que P e Q são fórmulas. Pela regra 2 temos que ~P é uma fórmula. Pela regra 3 temos que P v Q é uma fórmula Pela regra 3 temos que ~P -> (P v Q) é uma fórmula

  11. Preencha os quadros vazios

  12. Escreva nas caixas ao lado a precedência de operadores que devemos considerar ao construir um fórmula.. 1 <-> (biimplicação) 2 ~ (negação) da esquerda para a direita: ^, v 3 da direita para a esquerda: ->, <-> 4 -> (implicação) 5 ^ (conjunção) 6 fórmulas dentro de parênteses 7 v (disjunção) 8

  13. Argumento Um argumento é uma sequência de proposições na qual uma delas é a conclusão e as demais são as hipóteses Exemplo de argumento: Pode ser representado de forma simbólica da seguinte forma: A -> (B v C), ~B, ~C |- ~A P1, P2, P3, ... , Pn |- Q Q é denominada de conclusão. As proposições P1 a Pn são denominadas de hipóteses

  14. Método de dedução natural O Método consiste em aplicar as regras nas fórmulas já existentes gerando novas fórmulas até chegarmos a conclusão. Inicialmente para aplicar o método, é necessário enumeraras hipóteses e identifica-las. Para gerar a fórmula da linha seguinte, precisamos identificar a(s) linha(s) que serão utilizadas e qual a regra que será aplicada.

  15. Argumento: R -> P v Q, R, ~P |- Q Exemplo: A -> (B v C), ~B, ~C |- ~A 1. R -> P v Q hip. 2. R hip. 3. ~P hip.  • A -> (B v C) hip • ~B hip • ~C hip • 4. ~B ^ ~C 2,3, cj • 5. ~(BvC) 4, demor • 6 ~A 1,5, mt Para gerar a fórmula da linha 4, precisamos identificar as linhas que serão utilizadas e qual a regra que será aplicada. 4. P v Q 1, 2, mp  As linhas seguintes serão geradas da mesma forma até chegarmos na conclusão.  Tenha em mãos as regras para facilitar o desenvolvimento do exercício

  16. Vamosaopróximoexemplo? Nesse exemplo, vamos simbolizar o argumento e provar que é válido.

  17. Argumento: Se a Liga da justiçanão combater o crime e defender a paz, entãonemtodososseus super-heróislutam contra o mal. Todososseus super-heróislutam contra o mal. A Liga da justiçadefende a paz. Portanto, elacombate o crime. Demonstração: (~C ^ D) -> ~S, S, D |- C • (~C ^ D) -> ~S hip • S hip • D hip • 4 |~C hip-raa • 5 |~C ^ D 3,4, cj • 6 |~S 1,5, mp • 7 |S ^ ~S 2, 6, cj • 8 ~~C 4—7, raa • 9 C 8, dn C- Liga da justiçacombate o crime D - Liga da justiçadefende a paz S– Todossuper-heróislutam contra o mal Simbolizaçãodo argumento: (~C ^ D) -> ~S, S, D |- C

  18. Nos próximos exercícios: Simbolize os argumentos usando as letras indicadas para cada proposição. Além disso, demonstre que o argumento é válido utilizando dedução natural. Agora é com você!

  19. Demonstração: Argumento 1: Vader ainda é um bom jedi mas não ganha de Luke. Se houver a luta final ou se não tiverem poderes, então ganha Luke. Portanto, Vader ainda é um bom jedi e tem poderes V - Vader ainda é bom jedi G - ganha de Luke L – luta final P – tem poderes Simbolização:

  20. Argumento 2: Se Anakin treinou com o Luke ou a Princesa Amidala encontrou o sabre-de-luz, então houve uma morte. Se houve uma morte, então o Anakin estava em Naboo. Anakin não estava em Naboo; Portanto, Anakin não treinou com o Luke ou a Princesa Amidala não encontrou o sabre-de-luz. P A A- Anakin treinou com o Luke P - Princesa Amidala encontrou o sabre-de-luz M - houveumamorte N - Anakin estavaemNaboo M N Demonstração: Simbolização:

  21. Utilizando as regras de equivalência, as regras básicas de inferência e as regras derivadas, prove que os argumentos são válidos. Argumento 2: ~(P -> Q) v (S -> ~R), Q v S, P -> ~S |- ~R v ~S Argumento 1: P v Q -> R, ~R, S -> P |- ~S

  22. Argumento 4: ~(P v Q), P -> R, Q v ~R |- ~P Argumento 3: P v Q -> R, R -> S, ~S |- ~P v ~Q

More Related