Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 911 visualizações

    T03 - Gabarito - Unip - Lógica - Ads

    Enviado por

    Luiz Braz Oliveira

    Direitos autorais:

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

    T03 - Gabarito - Unip - Lógica - Ads

    Enviado por

    Luiz Braz Oliveira
    911 visualizações4 páginas

    Título original

    T03_GABARITO_UNIP - LÓGICA_ADS

    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
    911 visualizações4 páginas

    T03 - Gabarito - Unip - Lógica - Ads

    Enviado por

    Luiz Braz Oliveira

    Direitos autorais:

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

    TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS

    LÓGICA – 1º sem/2017 – Prof. Márcio

    TAREFA 03 – Entregar até 04/04/2017

    1) Das proposições abaixo, quais são “tautologias”, quais são contradições e quais não são nem uma
    coisa nem outra?
    a) (p ∧ ¬ q)  ⇒  (p ⇒ q)

    p q ¬ q p ∧¬ q p  ⇒ q (p ∧ ¬ q)  ⇔  (p ⇒ q)


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

    b) ((p ∧ q)  ⇒ r) ⇔  ((p ⇒ r) ∨ (q ⇒ r))

    p q r p  ⇒ q q  ⇒ r (p ∧  q)  ⇒  r (p ⇒ r) ∨ (q ⇒ r) ((p ∧ q)  ⇒ r) ⇔  ((p ⇒ r) ∨ (q ⇒ r))


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

    c) (p ∧¬ q)  ⇒  (p ∨ q)
    p q ¬ q p ∧¬ q p  ∨ q (p ∧ ¬ q)  ⇒  (p ∨ q)
    V V F F V V
    V F V V V V
    F V F F V V
    F F V F F V

    Concluí-se que a) é uma contradição e b) e c) são tautologias.

    2) Prove a implicação ⇒ ∧ ⇒ ⇒ ⇒

    Construindo a tabela verdade:


    p q r ⇒ ⇒ ⇒ ∧ ⇒ ⇒ ⇒ ∧ ⇒ ⇒ ⇒
    V V V V V V V V
    V V F V F F F V
    V F V F V F V V
    V F F F V F F V
    F V V V V V V V
    F V F V F F V V
    F F V V V V V V
    F F F V V V V V

    Conclui-se que a implicação é verdadeira


    3) Verifique a validade do argumento formado por:
    a) p  q , ¬ q , p ∨ r r
    Provar r
    1. p  q
    2. ¬ q
    3. p ∨ r
    4. ¬ p 1, 2 MT MT: p  q, ¬ q ¬ p
    5. r 3, 4 SD SD: p ∨ r , ¬ p r

    b) p  q [p  (q  r)] (p  r)
    1. p  q Provar r

    2. p  (q  r)
    3. p
    4. q 1, 3 MP
    5. q  r 2, 3 MP
    6. r 4, 5 MP

    4) Considere o argumento: “Meu cliente é canhoto. Se o diário não tiver sumido, então meu cliente
    não é canhoto; portanto o diário sumiu.” 𝐶∧
    a) Simbolize o argumento usando fbfs proposicionais com as letras C e D.

    C: Meu cliente é canhoto

    D: O diário sumiu

    Argumento fica: ∧

    b) Prove a validade do argumento.


    Provar D
    1. C
    2.
    3. ∧ 2 COND CONDICIONAL: p→q ↔ ∨ (Regra de equivalência)
    4. ∨ 3 DN
    5. ∨ 4 COM COMUTATIVIDADE: ∨ ↔ ∨
    6. 5 COND
    7. D 1, 6 MP
    6) Processos de Inferência em Lógica Proposicional
    Uma motivação para se dispor de bases de conhecimento representadas pela descrição lógica de
    situações é a possibilidade de extrair conclusões que remetem a outros aspectos das situações já
    conhecidas.
    Exemplo de conteúdo de uma base de conhecimento:
     Se o dia está ensolarado, então o professor está feliz. (REGRA 1)
     Se o professor está feliz, então a aula vai ser boa. (REGRA 2)
     O dia está ensolarado. (EVENTO 1)
    Pergunta: pode-se inferir que a aula vai ser boa?
    Existem três proposições envolvidas neste processo de inferência:
     ⟨ ⟩
     ⟨ ⟩
     ⟨ ⟩
    Logo, existem 8 possibilidades de valores-verdade para elas:
    ⟨ ⟩  ⟨ ⟩ ⟨ ⟩ 
    V V V
    V V F
    V F V
    V F F
    F V V
    F V F
    F F V
    F F F
    O que conduz aos seguintes valores-verdade para as regras e eventos presentes na
    base de conhecimento:
    E P B REGRA 1 REGRA 2 EVENTO 1
    V V V V V V
    V V F V F V
    V F V F V V
    V F F F V V
    F V V V V F
    F V F V F F
    F F V V V F
    F F F V V F

    Há apenas uma interpretação para E, P e B que faz com que as regras e eventos presentes na base
    de conhecimento sejam todos verdadeiros (1a linha da tabela) e, nessa interpretação, tem-se que B
    é V. Logo, conclui-se que a aula vai ser boa.
    Algumas equivalências lógicas, onde V é verdadeiro, F é falso e p, q e r são proposições:
    Equivalências Denominação
    p V ⇔ p
    Leis de Identidade
    p F ⇔p
    p V ⇔V
    Leis de Dominância
    p F ⇔F
    p p ⇔p
    Leis de Idempotência
    p p ⇔p
    (p) ⇔p Lei da dupla negação
    p q ⇔q p
    Leis Comutativas
    p q ⇔q p
    (p q) r ⇔p (q r)
    Leis Associativas
    (p q) r ⇔p (q r)
    p (q r) ⇔(p q) (p r)
    Leis Distributivas
    p (q r) ⇔(p q) (p r)
    (p q) ⇔p q
    Leis de De Morgan
    (p q) ⇔p q

    Regras de Inferência:
    De Pode-se deduzir nome
    p, p → q q Modus ponens – mp
    p→ q, q Modus tollens –mt
    p, q p∧q Conjunção – conj
    p∧q p, q Simplificação – simp
    p p∨ q Adição – ad
    p → q, q → r p→r Silogismo hipotético – sh
    p∨ q, q Silogismo disjuntivo – sd
    p→q q→ p Contraposição – cont
    q→ p p →q Contraposição – cont
    p p∧p Auto referência – auto
    p∨ p p Auto referência – auto
    (p∧ p→(q→r) Exportação – exp
    p, q Inconsistência – inc
    p∧(q ∨ r) (p∧q) ∨( p∧r) Distributividade – dist
    p ∨ (q ∧ r) (p∨q) ∧ ( p∨r) Distributividade – dist

    Você também pode gostar