Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 38 visualizações

    Ejercicios Lógica

    Enviado por

    Eraclides Alfaro
    O documento apresenta várias proposições lógicas envolvendo conectivos lógicos como conjunção (∧), disjunção (∨), implicação (⇒), bicondicional (⇔) e negação (¬). Cada proposição é avaliada em uma tabela-verdade com todas as possíveis atribuições de valores verdade para as variáveis proposicionais envolvidas, indicando se a proposição como um todo é verdadeira ou falsa para cada linha da tabela. Isso permite identificar se cada proposição é uma taut

    Direitos autorais:

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

    Ejercicios Lógica

    Enviado por

    Eraclides Alfaro
    38 visualizações4 páginas
    O documento apresenta várias proposições lógicas envolvendo conectivos lógicos como conjunção (∧), disjunção (∨), implicação (⇒), bicondicional (⇔) e negação (¬). Cada proposição é avaliada em uma tabela-verdade com todas as possíveis atribuições de valores verdade para as variáveis proposicionais envolvidas, indicando se a proposição como um todo é verdadeira ou falsa para cada linha da tabela. Isso permite identificar se cada proposição é uma taut

    Descrição original:

    ejercicios resueltos

    Título original

    EJERCICIOS LÓGICA

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    DOCX, PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    O documento apresenta várias proposições lógicas envolvendo conectivos lógicos como conjunção (∧), disjunção (∨), implicação (⇒), bicondicional (⇔) e negação (¬). Cada proposição é avaliada em uma tabela-verdade com todas as possíveis atribuições de valores verdade para as variáveis proposicionais envolvidas, indicando se a proposição como um todo é verdadeira ou falsa para cada linha da tabela. Isso permite identificar se cada proposição é uma taut

    Direitos autorais:

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

    Ejercicios Lógica

    Enviado por

    Eraclides Alfaro
    O documento apresenta várias proposições lógicas envolvendo conectivos lógicos como conjunção (∧), disjunção (∨), implicação (⇒), bicondicional (⇔) e negação (¬). Cada proposição é avaliada em uma tabela-verdade com todas as possíveis atribuições de valores verdade para as variáveis proposicionais envolvidas, indicando se a proposição como um todo é verdadeira ou falsa para cada linha da tabela. Isso permite identificar se cada proposição é uma taut

    Direitos autorais:

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

    a) ( p ⇒ q) ⋀ (q ⇔ ¬ p)

    p q ¬ p p ⇒q q⇔ ¬ p ( p ⇒ q)⋀ (q ⇔ ¬ p)
    V V F V F F
    V F F F V F
    F V V V V V
    F F V V F F

    b) ( p ∧¬ q)∨(¬ p ⇔ q)

    p q ¬ p ¬q p ∧¬ q ¬ p ⇔ q ( p ∧¬ q)∨(¬ p ⇔ q)
    V V F F F F F
    V F F V V V V
    F V V F F V V
    F F V V F F F

    c) ( p ∧q) ⇔(¬ p ∨q)

    p q ¬p p ∧q ¬ p∨q ( p ∧q) ⇔(¬ p ∨q)


    V V F V V V
    V F F F F V
    F V V F V F
    F F V F V F
    d) p ⇒ ¬(q ⋀ ¬ p)

    P q ¬q q ⋀¬ p ¬(q ⋀ ¬ p) p ⇒¬(q ⋀ ¬ p)
    V V F F V V
    V F F F V V
    F V V V F V
    F F V F V V

    e) p ⋀ (¬q ⇒ p)
    p q ¬q ¬q⇒ p p ⋀ (¬q ⇒ p)
    V V F V V
    V F V V V
    F V F V F
    F F V F F

    f) ( p ∧q) ⇔¬ q
    p q ¬q p ∧q ( p ∧q)⇔ ¬ q
    V V F V F
    V F V F F
    F V F F F
    F F V F F

    g) ( p ∨q) ⇔(¬ p ⋀ ¬ q)

    p q ¬ p ¬q p ∨q ¬ p ⋀ ¬q ( p ∨q) ⇔(¬ p ⋀ ¬ q)
    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 F

    h) ( p ⇒ q) ⇔(¬q ⋀ p)

    p q ¬q p ⇒q ¬q⋀ p ( p ⇒ q)⇔ (¬q ⋀ p)


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

    i) [ p ⇒( q ∨¬ p) ] ⇒ ¬ q
    p q ¬ p ¬q q ∨ ¬ p p ⇒( q ∨¬ p) [ p ⇒( q ∨¬ p)] ⇒ ¬ q
    V V F F V V F
    V F F V F F V
    F V V F V V V
    F F V V V V V

    j) ¬( p ∨q) ⇔( p ∧¬ q)
    p q ¬q p ∨q ¬( p ∨q) p ∧¬ q ¬( p ∨q) ⇔( p ∧¬ q)
    V V F V F F V
    V F V V F V F
    F V F V F F V
    F F V F V F F

    k) ¬( p ⇒ ¬q)∧ p

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

    l) ( p ⋀ q)⇒ q
    p q p⋀q ( p ⋀ q)⇒ q
    V V V V
    V F F V
    F V F V
    F F F V
    Es una TAUTOLOGIA

    m) ( p ∧q) ⋀ (q ∧ r) →( p ∧r )
    p q r p ∧q q ∧ r ( p ∧q) ⋀ (q ∧ r) p ∧r ( p ∧q) ⋀ (q ∧ r) →( p ∧r )
    V V V V V V V V
    V V F V F F F V
    V F V F F F V V
    V F F F F F F V
    F V V F V F F V
    F V F F F F F V
    F F V F F F F V
    F F F F F F F V
    Es una TAUTOLOGIA

    n) ( p → q)⇔(¬ q →¬ p)
    p q ¬ p ¬q p →q ¬ q →¬ p ( p → q)⇔(¬ q →¬ p)
    V V F F V V V
    V F F V F F V
    F V V F V V V
    F F V V V V V
    Es una TAUTOLOGIA

    o) ¬( p ∨q) ⇔(¬ p ∧¬q)

    p q ¬ p ¬q p ∨q ¬( p ∨q) ¬ p ∧¬ q ¬( p ∨q) ⇔(¬ p ∧¬q)


    V V F F V F F V
    V F F V V F F V
    F V V F V F F V
    F F V V F V V V
    Es una TAUTOLOGIA

    Você também pode gostar