Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 20 visualizações

    Texto de Apoio Logica 11 Classe

    Enviado por

    Angelo Americo Marcelino
    O documento descreve propriedades lógicas como negação, implicação e equivalência material, incluindo leis de Morgan e conversão. É explicado que a negação da implicação é equivalente a conjunção da proposição e negação da conclusão, e que a negação da equivalência material é equivalente a disjunção da proposição verdadeira e conclusão falsa ou vice-versa.

    Direitos autorais:

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

    Texto de Apoio Logica 11 Classe

    Enviado por

    Angelo Americo Marcelino
    20 visualizações2 páginas
    O documento descreve propriedades lógicas como negação, implicação e equivalência material, incluindo leis de Morgan e conversão. É explicado que a negação da implicação é equivalente a conjunção da proposição e negação da conclusão, e que a negação da equivalência material é equivalente a disjunção da proposição verdadeira e conclusão falsa ou vice-versa.

    Título original

    TEXTO DE APOIO LOGICA 11 CLASSE

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    O documento descreve propriedades lógicas como negação, implicação e equivalência material, incluindo leis de Morgan e conversão. É explicado que a negação da implicação é equivalente a conjunção da proposição e negação da conclusão, e que a negação da equivalência material é equivalente a disjunção da proposição verdadeira e conclusão falsa ou vice-versa.

    Direitos autorais:

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

    Texto de Apoio Logica 11 Classe

    Enviado por

    Angelo Americo Marcelino
    O documento descreve propriedades lógicas como negação, implicação e equivalência material, incluindo leis de Morgan e conversão. É explicado que a negação da implicação é equivalente a conjunção da proposição e negação da conclusão, e que a negação da equivalência material é equivalente a disjunção da proposição verdadeira e conclusão falsa ou vice-versa.

    Direitos autorais:

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

    3.

    Propriedades das Operações lógicas


    3.1 Propriedades da negação
     Dupla negação: a dupla negação corresponde à afirmação: ~~𝒑 = 𝒑
    Exemplo:
    p: Cristina é estudante
    ~𝑝: Cristina não é estudante
    ~~𝑝: não é verdade que Cristina não é estudante, o que equivale a dizer: Cristina é estudante.
     Leis de Morgan
     Negar que duas proposições são ao mesmo tempo verdadeiras equivale a afirmar uma pelo menos
    é falsa: ~(𝒑 ∧ 𝒒) = ~𝒑 ∨ ~𝒒

    𝒑 𝒒 ~𝒑 ~𝒒 𝒑∧𝒒 ~ ( 𝒑 ∧ 𝒒) ~𝒑 ∨ ~𝒒
    V V F F V F F
    V F F V F V V
    F V V F F V V
    F F V V F V V

     Negar que pelo menos uma de duas proposições é verdadeira equivale a afirmar que as duas são
    simultaneamente falsas: ~(𝒑 ∨ 𝒒) ↔ ~𝒑 ∧ ~𝒒

    𝒑 𝒒 ~𝒑 ~𝒒 𝒑∨𝒒 ~( 𝒑 ∨ 𝒒) ~𝒑 ∧ ~𝒒
    V V F F V F F
    V F F V V F F
    F V V F V F F
    F F V V F V V

    Exemplos:
    a) Negar que Allan é estudante e é trabalhador, equivale afirmar que Allan não é estudante e/ou
    não é trabalhador.
    b) Negar que Pedro estuda Matemática ou física equivale a afirmar que Pedro não estuda
    Matemática e não estuda Física.

    Página 1 de 2
    3.2 Propriedades da implicação
     Relação da implicação com a disjunção: 𝒑 ⇒ 𝒒 ↔ ~𝒑 ∨ 𝒒

    𝒑 𝒒 ~𝑃 𝑝⇒𝑞 ~𝒑 ∨ 𝒒
    V V F V V
    V F F F F
    F V V V V
    F F V V V

     Negação da Implicação: ~ (𝒑 ⇒ 𝒒) ↔ ~(~𝒑 ∨ 𝒒) ↔ 𝒑 ∧ ~𝑞. Portanto:

    ~ (𝒑 ⇒ 𝒒) ↔ 𝒑 ∧ ~𝒒 (i)

     Lei da Conversão: 𝒑 ⇒ 𝒒 ↔ ~𝒒 ⇒ ~𝑝
    Com efeito, já vimos que𝑝 ⇒ 𝑞 ↔ ~𝑝 ∨ 𝑞. Como a disjunção é comutativa temos:
    𝑝 ⇒ 𝑞 = 𝑞 ∨ ~𝑝e atendendo a condição em (i), tem-se: 𝒑 ⇒ 𝒒 ↔ ~𝒒 ⇒ ~𝑝 c.q.d.
    Nesta senda, dizer que p implica q, é o mesmo que afirmar que se q é falso p também é falso.

    3.3 Propriedades da equivalência material


     A equivalência material como um conjunto de implicações

    𝒑 ⇔ 𝒒 ↔ (𝒑 ⇒ 𝒒) ∧ (𝒒 ⇒ 𝒑)

    Assim:
    p q 𝒑⇔𝒒 𝒑⇒𝒒 𝒒⇒𝒑 (𝒑 ⇒ 𝒒) ∧ (𝒒 ⇒ 𝒑)
    V V V V V V
    V F F F V F
    F V F V F F
    F F V V V V

     Negação da equivalência: ~(𝒑 ⇔ 𝒒) ↔ (𝒑 ∧ ~𝒒) ∨ (𝒒 ∧ ~𝒑)


    Negar que duas proposições são equivalentes materialmente equivale dizer que a primeira é verdadeira
    e a segunda é falsa ou que a segunda é verdadeira e a primeira é falsa.
    Demonstração:
    Vimos que: 𝒑 ⇔ 𝒒 ↔ (𝒑 ⇒ 𝒒) ∧ (𝒒 ⇒ 𝒑)e convertendo as implicações em disjunções, tem-se: 𝒑 ⇔
    𝒒 ↔ (𝒑 ∧ ~𝒒) ∨ (𝒒 ∧ ~𝒑). Aplicando as leis de De Morgan, resulta:

    ~(𝒑 ⇔ 𝒒) ↔ (𝒑 ∧ ~𝒒) ∨ (𝒒 ∧ ~𝒑)

    Página 2 de 2

    Você também pode gostar