Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 6 visualizações

    Aula 03U1 - Lgica 2023.1

    Enviado por

    capistranofernando761

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd

    Aula 03U1 - Lgica 2023.1

    Enviado por

    capistranofernando761
    6 visualizações7 páginas

    Título original

    Aula_03U1_-_Lgica__2023.1

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    6 visualizações7 páginas

    Aula 03U1 - Lgica 2023.1

    Enviado por

    capistranofernando761

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    de 7

    Governo do Estado do Rio Grande do Norte

    Secretaria de Estado da Educação e da Cultura – SEEC


    Universidade do Estado do Rio Grande do Norte – UERN
    Campus Avançado de Patu – DME
    Curso: Licenciatura em Matemática

    LÓGICA – 2023.1

    Prof. Me Antônio Josimário S. de Oliveira


    [email protected]
    http://www.uern.br/professor/josimariooliveira
    IMPLICAÇÃO LÓGICA
    Uma proposição P implica logicamente uma proposição Q quando
    Q é verdadeira todas as vezes que P for verdadeira. Nesse caso, a
    proposição Q pode ser deduzida da proposição P(a segunda é uma
    consequência lógica da primeira).
    Notação : P ⇒ Q ( “P implica Q”) ; sendo P: hipótese e Q: tese.
    Exemplos:
    a) n é um número inteiro divisível por 10 ⇒ n é um número par.
    b) Um triangulo ABC é retângulo ⇒ o quadrado da medida da
    hipotenusa é igual á soma dos quadrados das medidas dos catetos.
    c) “m é um número primo ⇒ o número m2 é ímpar” é uma
    implicação verdadeira?
    d) 2 = 3 ⇒ 2 + 1 = 3 + 1 ?
    e) ABCD é um quadrado ⇒ ABCD é um retângulo.
    f) Pedro foi ao Ceará ⇒ Pedro foi ao Nordeste.
    g) p Λ q ⇒ p ↔ q .
    Prova: Basta construir as tabelas-verdade das proposições e notar
    que p ↔ q é verdadeira sempre que p Λ q for verdadeira.
    P q pΛq p↔q
    V V V V
    V F F F
    F V F F
    F F F V

    h) Mostre que p → q não implica q → p.


    Solução: Fica a cargo do aluno.
    Teorema : P ⇒ Q se P → Q é uma tautologia.
    Prova: Fica a cargo do aluno.
    Exemplo: Mostre que p Λ q ⇒ p ∨ q
    Solução: Construindo a tabela - verdade da condicional p Λ q → p ∨
    q , temos:
    p q pΛq p∨q pΛq→p∨q

    V V V V V
    V F F V V
    F V F V V
    F F F F V

    Logo, p Λ q ⇒ p ∨ q, pois p Λ q → p ∨ q é uma tautologia.


    OBSERVAÇÕES E RECOMENDAÇÕES
    1. Os símbolos → e ⇒ têm significados diferentes:
    → representa uma operação entre proposições e ⇒ representa uma
    relação entre duas proposições(estabelece que a condicional P → Q é
    tautológica).
    2. A relação de implicação tem duas propriedades:
    i) Reflexiva: P ⇒ P ii) Transitiva: P ⇒ Q e Q ⇒ R resulta P ⇒ R.
    Prova: Fica a cargo do aluno.
    3. Muitas afirmações (resultados) na Matemática são apresentadas na
    forma: H(Hipótese)⇒T(Tese). A demonstração de tais afirmações
    consiste em: supondo-se que a hipótese seja verdadeira, deve-se
    provar que a tese é verdadeira.
    4. Nunca escreva (ou diga) coisas do tipo :“se x 2 + x - 1 = 0 ⇒ x 3 -
    2x + 1 = 0”. O símbolo ⇒ não significa então, mas sim implica.
    EXERCÍCIOS PROPOSTOS
    1. Prove as implicações:
    a) n é um número inteiro ímpar ⇒ n2 é ímpar.
    b) n é um número inteiro par ⇒ n3 é par.
    c) 3 + 1 = 4 e 5 + 3 = 8 ⇒ 3 + 1 = 4 .
    2. Verifique se as implicações a seguir são válidas ou não.
    1
    a) x é um número positivo ⇒ x + ≥ 2.
    𝑥
    b) n é um inteiro par ⇒ n2 +1 é um número primo.
    c) (p ∨ q) Λ (q → r) Λ~r ⇒ p.
    d) p ⇒ p Λ q.
    3. Mostre que p não implica p Λ q e que p ∨ q não implica p.
    4. Sendo n um número inteiro, considere as sentenças a seguir:
    (a) n é par.
    (b) n + 4 é par.
    (c) (n + 4)2 – 1 é ímpar.
    Prove que (a) ⇒ (b) ⇒ (c).

    5. Corrija as seguintes resoluções dos exercícios abaixo, explicando o


    porquê de cada correção que fizer. Apesar das respostas encontradas
    serem corretas, as resoluções estão erradas, já que a linguagem
    Matemática não foi utilizada corretamente!
    x2 − 4
    a) 1 − 1  7 − 3  4 b) → x+2
    3 7 21 21 x−2

    Você também pode gostar