Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 59 visualizações

    Equivalências Lógicas

    Enviado por

    Bia Alves
    O documento discute equivalência lógica e apresenta várias leis e definições importantes da lógica proposicional, incluindo: - Equivalência lógica é definida como duas proposições terem exatamente a mesma tabela-verdade. - São apresentadas várias equivalências lógicas como comutatividade, associatividade, idempotência, absorção e leis de Morgan. - São definidas implicação (→) e bicondicional (↔) em termos de operadores lógicos como negação, disjunção e

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato PDF, TXT ou leia online no Scribd

    Equivalências Lógicas

    Enviado por

    Bia Alves
    59 visualizações16 páginas
    O documento discute equivalência lógica e apresenta várias leis e definições importantes da lógica proposicional, incluindo: - Equivalência lógica é definida como duas proposições terem exatamente a mesma tabela-verdade. - São apresentadas várias equivalências lógicas como comutatividade, associatividade, idempotência, absorção e leis de Morgan. - São definidas implicação (→) e bicondicional (↔) em termos de operadores lógicos como negação, disjunção e

    Descrição original:

    Equivalências Lógicas em fórmulas da lógica de predicados.

    Direitos autorais

    © Attribution Non-Commercial (BY-NC)

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    O documento discute equivalência lógica e apresenta várias leis e definições importantes da lógica proposicional, incluindo: - Equivalência lógica é definida como duas proposições terem exatamente a mesma tabela-verdade. - São apresentadas várias equivalências lógicas como comutatividade, associatividade, idempotência, absorção e leis de Morgan. - São definidas implicação (→) e bicondicional (↔) em termos de operadores lógicos como negação, disjunção e

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    59 visualizações16 páginas

    Equivalências Lógicas

    Enviado por

    Bia Alves
    O documento discute equivalência lógica e apresenta várias leis e definições importantes da lógica proposicional, incluindo: - Equivalência lógica é definida como duas proposições terem exatamente a mesma tabela-verdade. - São apresentadas várias equivalências lógicas como comutatividade, associatividade, idempotência, absorção e leis de Morgan. - São definidas implicação (→) e bicondicional (↔) em termos de operadores lógicos como negação, disjunção e

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    de 16

    LGICA MATEMTICA EQUIVALNCIA LGICA

    Prof.: Rafael Dias Ribeiro Autora: Prof. Dra. Denise Candal


    AULA 1

    Equivalncia Lgica
    Uma proposio P(p,q,r,....) logicamente equivalente ou simplesmente equivalente a uma proposio Q(p,q,r,.....) se as tabelas-verdade de ambas as proposies so rigorosamente iguais. Utilizaremos para indicar tal fato a notao P(p,q,r,....) Q(p,q,r,.....) .

    AULA 1

    Observao
    Se as duas proposies forem ambas tautolgicas ou ambas contradies , ento so equivalentes.

    AULA 1

    Equivalncias Lgicas
    Comutativa Comutativa Associativa Associativa Idempotente Idempotente Absoro Absoro

    pq q p pq q p ( p q) r p (q r ) ( p q ) r p (q r ) p p p p p p p ( p q) p p ( p q) p
    AULA 1

    Equivalncias Lgicas
    p ( p q) p Absoro p ( p q) p Lei de Morgan ~ ( p q) ~ p ~ q ~ ( p q) ~ p ~ q Lei de Morgan p q ~ p q Def Implicao p q ~ ( p ~ q) Def Implicao Def Bicondicional p q ( p q ) ( q p ) Def Bicondicional p q (~ p q ) (~ q p )
    Absoro
    AULA 1

    Leis de Morgan
    ~ ( p q) ~ p ~ q
    p V V F F q V F V F pq ~(pq) ~p ~q ~p~q

    AULA 1

    Leis de Morgan
    ~ ( p q) ~ p ~ q
    p V V F F q V F V F pq ~(pq) V F V F V F F V ~p ~q F F F V V F V V ~p~q F F F V
    AULA 1

    Leis de Morgan
    ~ ( p q) ~ p ~ q
    p V V F F q V F V F pq ~(pq) ~p ~q ~p ~q

    AULA 1

    Leis de Morgan
    ~ ( p q) ~ p ~ q
    p V V F F q V F V F pq ~(pq) V F F V F V F V ~p ~q F F F V V F V V ~p ~q F V V V
    AULA 1

    Definio de Implicao

    p q ~ p q
    p V V F F q V F V F pq ~p ~p q

    AULA 1

    Definio de Implicao

    p q ~ p q
    p V V F F q V F V F pq V F V V ~p F F V V ~p q V F V V
    AULA 1

    Definio de Implicao
    p q ~ ( p ~ q)
    p V V F F q V F V F pq ~q p~q ~(p~q)

    AULA 1

    Definio de Implicao
    p q ~ ( p ~ q)
    p V V F F q V F V F pq V F V V ~q F V F V p~q F V F F ~(p~q) V F V V

    AULA 1

    Definio de Bicondicional
    p q ( p q) (q p)
    p V V F F q V F V F pq qp (pq)(qp) pq

    AULA 1

    Definio de Bicondicional
    p q ( p q) (q p)
    p V V F F q V F V F pq qp (pq)(qp) V V V F V F V F F V V V pq V F F V

    AULA 1

    Definio de Bicondicional
    p q (~ p q) (~ q p)
    p q ~p ~q ~pq ~qp (~pq)(~qp) pq

    V V F F

    V F V F

    AULA 1

    Definio de Bicondicional
    p q (~ p q) (~ q p)
    p q ~p ~q ~pq ~qp (~pq)(~qp) pq

    V V F F

    V F F F V V F V

    F V F V

    V F V V

    V V F V

    V F F V

    V F F V

    AULA 1

    Equivalentes?
    Se est quente e mido no chover. Se chover, ento o cu no est quente ou no est mido.

    AULA 1

    Equivalentes?
    Se est quente e mido no chover. Se chover, ento o cu no est quente ou no est mido. Quente: p pq~r r~p~q mido: q Chove(r): r

    AULA 1

    pq~r r~p~q ?
    pq VV VV VF FV VV FV VF FF r pq V V F V V F V F F V V F V F F F ~r pq~r F F V V F V F V V V F V F V V V ~p ~q ~p~q r~p ~r F F F F F F F V F V V V V F V V F F F V V F V V F V V V V V V V
    AULA 1

    10

    Problema 1
    A loja de Abul foi roubada, mas as jias foram recuperadas. Havia trs suspeitos: seus nomes eram Abdul, Ibn e Hassib. No julgamento, os acusados deram os seguintes depoimentos: Abdul: No fui eu que cometi o roubo. Ibn; No foi Hassib quem roubou a loja. Hassib: Sim, o ladro fui eu! Mais tarde, dois deles confessaram ter mentido. Quem era o ladro ?

    AULA 1

    Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
    ~p ~r r
    AULA 1

    11

    Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
    ~p ~r r F F V V F F F V F
    AULA 1

    Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
    ~p ~r r F F V F V F
    AULA 1

    12

    Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
    ~p ~r r F F V F V F p V

    AULA 1

    Abdul cometeu o crime: p Ibn cometeu o crime: q Mentira!!! Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
    ~p ~r r F F V F V F p V

    AULA 1

    13

    Abdul cometeu o crime: p Ibn cometeu o crime: q Mentira!!! Verdade!!! Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
    ~p ~r r F F V F V F p V

    AULA 1

    Abdul cometeu o crime: p Ibn cometeu o crime: q Mentira!!! Verdade!!! Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Mentira!!! Dois deles confessaram ter mentido.
    ~p ~r r F F V F V F p V

    AULA 1

    14

    Trs pessoas prestam depoimento e o que dizem est registrado a seguir: Bernardo: Joo culpado e Saul inocente. Joo: Se Bernardo culpado, Saul tambm culpado. Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. A partir desses depoimentos identifique os inocentes e os culpados, supondo todos os depoimentos verdadeiros.

    AULA 1

    Joo culpado: p Saul culpado: q Bernardo culpado: r Bernardo: Joo culpado e Saul inocente. p ~q Joo: Se Bernardo culpado, Saul tambm culpado. r q Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. ~q p ou ~qr ou ~q (pr) Todos os depoimentos verdadeiros.
    AULA 1

    15

    Joo culpado: p Saul culpado: q Bernardo culpado: r


    V V

    Bernardo: Joo culpado e Saul inocente. p ~q Joo: Se Bernardo culpado, Saul tambm culpado. r q Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. ~q p ou ~qr ou ~q (pr) Todos os depoimentos verdadeiros.
    AULA 1

    Joo culpado: p Saul culpado: q Bernardo culpado: r

    V F F V V

    Bernardo: Joo culpado e Saul inocente. p ~q Joo: Se Bernardo culpado, Saul tambm culpado. r q ?F V FF V Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. ~q p ou ~qr ou ~q (pr) Todos os depoimentos verdadeiros.
    AULA 1

    16

    Você também pode gostar