Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 175 visualizações

    Conectores Lógicos e Equivalências

    Enviado por

    naianaleotti
    O documento resume os principais conectores lógicos e suas tabelas verdade, incluindo negação, conjunção, disjunção inclusiva e exclusiva, condicional e bicondicional. Também apresenta proposições logicamente equivalentes, como o teorema da contraposição para o condicional e as leis de Morgan para a negação de conjunção e disjunção. Por fim, exemplifica equivalências lógicas em exercícios.

    Direitos autorais:

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

    Conectores Lógicos e Equivalências

    Enviado por

    naianaleotti
    175 visualizações6 páginas
    O documento resume os principais conectores lógicos e suas tabelas verdade, incluindo negação, conjunção, disjunção inclusiva e exclusiva, condicional e bicondicional. Também apresenta proposições logicamente equivalentes, como o teorema da contraposição para o condicional e as leis de Morgan para a negação de conjunção e disjunção. Por fim, exemplifica equivalências lógicas em exercícios.

    Descrição original:

    Conectores Lógicos e Equivalências

    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 resume os principais conectores lógicos e suas tabelas verdade, incluindo negação, conjunção, disjunção inclusiva e exclusiva, condicional e bicondicional. Também apresenta proposições logicamente equivalentes, como o teorema da contraposição para o condicional e as leis de Morgan para a negação de conjunção e disjunção. Por fim, exemplifica equivalências lógicas em exercícios.

    Direitos autorais:

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

    Conectores Lógicos e Equivalências

    Enviado por

    naianaleotti
    O documento resume os principais conectores lógicos e suas tabelas verdade, incluindo negação, conjunção, disjunção inclusiva e exclusiva, condicional e bicondicional. Também apresenta proposições logicamente equivalentes, como o teorema da contraposição para o condicional e as leis de Morgan para a negação de conjunção e disjunção. Por fim, exemplifica equivalências lógicas em exercícios.

    Direitos autorais:

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

    CONECTORES LOGICOS

    NAO () - Negacao

    Para Decorar: Se V fica F, e se F fica V


    Tabela 1: Negacao
    P P
    V F
    F V

    E () - Conjuncao

    Para Decorar: Todos tem que ser V para resultar em V

    Tabela 2: Conjuncao
    P Q PQ
    V V V
    V F F
    F V F
    F F F

    OU () - Disjuncao Inclusiva (...ou...)

    Para Decorar: Basta um ser V para da V

    Tabela 3: Disjuncao Inclusiva


    P Q PQ
    V V V
    V F V
    F V V
    F F F

    OU EXCLUSIVO () - Disjuncao Exclusiva (Ou...ou...)

    Para Decorar: Apenas um tem que ser V para da V

    Tabela 4: Disjuncao Exclusiva


    P Q PQ
    V V F
    V F V
    F V V
    F F F

    1
    CONDICIONAL () - Se (antecedente) entao (consequente)

    Para Decorar: So da F de V F

    Tabela 5: Condicional
    P Q P Q
    V V V
    V F F
    F V V
    F F V

    BICONDICIONAL () (...se, e somente se,...)

    Para Decorar: Iguais da V e Diferentes da F

    Tabela 6: Bicondicional
    P Q P Q
    V V V
    V F F
    F V F
    F F V

    OBS.: Definicao - (P Q) (P Q) (Q P)
    Veja:
    Tabela 7: Equivalencia do Bicondicional
    P Q P Q Q P (P Q) (Q P)
    V V V V V
    V F F V F
    F V V F F
    F F V V V

    PROPOSICOES EQUIVALENTES

    1 EQUIVALENCIA () do CONDICIONAL ()

    1a Equivalencia - Teorema do Contra-Recproco ou Contrapositiva


    Para Decorar: VOLTA NEGANDO

    P Q Q P (1)

    Exemplos:

    2
    Se beber, nao dirija. Se dirigir, nao beba.

    B D D B (2)

    Se nao ando, corro. Se nao corro, ando.

    A C C A (3)

    2a Equivalencia
    Para Decorar: NEGA a 1a OU COPIA a 2a

    P Q P Q (4)

    Exemplos:

    Se beber, nao dirija. Nao beba ou nao dirija.

    B D B D (5)

    Se nao saio, estudo. Saio ou estudo.

    S E S E (6)

    2 EQUIVALENCIA () da NEGACAO do E () e do
    OU ()

    Equivalencia - Leis de Morgan


    Para Decorar: TROCA TUDO

    (P Q) P Q (7)

    (P Q) P Q (8)
    Exemplos:

    Nao e verdade que durmo E nao aprendo. Nao durmo OU aprendo.

    (D A) D A (9)

    Nao e verdade que nao sou alto OU sou rico. Sou alto E nao sou rico.

    (A R) A R (10)

    3
    3 EQUIVALENCIA () do OU ()

    Para Decorar: SE NEGAR UM COPIE O OUTRO

    P Q P Q (11)

    P Q Q P (12)
    Exemplos:

    Nao brinco OU danco. Se brinco, danco Se nao danco, nao brinco.

    B D B D D B (13)

    Como OU Nao bebo. Se nao como, entao nao bebo Se bebo, entao como.

    C B C B B C (14)

    4 EQUIVALENCIA () da NEGACAO CONDICIONAL


    ()

    Para Decorar: COPIA a 1a E NEGA a 2a

    (P Q) P Q (15)

    Exemplos:

    Nao e verdade que se almoco, nao janto. Almoco E janto.

    (A J) A J (16)

    Nao e verdade que se nao brinco, durmo. Nao brinco E nao durmo.

    (B D) B D (17)

    Nao e verdade que se comer manga com leite, entao morre. Porque eu comi manga com
    leite E nao morri.
    (M L M ) M L M (18)
    Obs.: Assuma o eunao intolerante a lactose! Para o euintolerante, substitua o leite
    por vinagre+tempero+sal e claro, de preferencia a manga verde!

    5 EQUIVALENCIA () da NEGACAO do BICONDI-


    CIONAL () / da NEGACAO do OU-EXCLUSIVO
    ()

    Para Decorar: NEGA um e exatamente o OUTRO

    (P Q) P Q (19)

    4
    (P Q) P Q (20)

    Resumo das aulas do Prof. Jairo Teixeira!

    Exerccios
    1. Qual formula e equivalente a negacao da formula
    x(P(x) Q(x)) ?
    Obs.: O que e equivalente, e equivalente a alguma coisa. Temos, portanto a preposicao
    a. Se o complemento for feminino, teremos crase.

    Res.: Negacao de para todo x (x) e o mesmo que dizer que ha


    algum x, pelo menos um x ou existe um x (x) que nao satisfaz.

    Exemplo: Todos os numeros sao naturais.


    Negacao: Existe um numero que nao e natural.
    Algum numero nao e natural.
    Pelo menos um numero nao e natural.
    Entao temos:

    (x(P(x) Q(x))) = (x)(P(x) Q(x)) =

    x(P(x) Q(x))
    Lembre-se: (P Q) P Q
    2. Dada as proposicoes, (questao do concurso passado da UFAL)
    (a) Se 870 e multiplo de 4, entao 169 e quadrado perfeito.
    (b) 870 e multiplo de 4 e 169 e quadrado perfeito.
    (c) 870 e multiplo de 4 ou 169 e quadrado perfeito.
    (d) 870 e multiplo de 4 se e somente se 169 e quadrado perfeito.
    Obs1.: Divisibilidade por 4 - O numero e divisvel por 4 quando
    termina em 00 ou quando seus dois ultimos algarismos terminam
    em um multiplo de (ou divisvel por) 4. 870 nao e divisvel por 4,
    pois 70 nao e divisvel por 4, logo 870 nao e multiplo de 4.

    5
    Obs2.: Um quadrado perfeito possui raiz quadrada exata. 169 e
    um quadrado perfeito, pois 169 = 13.
    Res.: Sejam,
    p: 870 e multiplo de 4
    q: 169 e quadrado perfeito
    Logo as preposicoes dadas ficam:
    (a) p q
    (b) p q
    (c) p q
    (d) p q
    A proposicao p tem valor logico Falso (F) e a proposicao q, valor
    logico Verdadeiro (V), logo temos
    (a) F V = V Ve Tabela 5 (Condicional)
    (b) F V = F Ve Tabela 2 (Conjuncao)
    (c) F V = V Ve Tabela 3 (Disjuncao)
    (d) F V = F Ve Tabela 6 (Bicondicional)
    Conclui-se que so a primeira e a terceira proposicoes
    sao verdadeiras!
    Lembre-se ainda que em casos semelhantes ao do tipo:
    (a) so resulta F de V F
    (b) so resulta em V se todos for V
    (c) Resulta V se algum for V
    (d) Resulta V para todos elementos iguais (V com V ou F com F)
    e F para eles diferentes (V com F ou F com V)

    Você também pode gostar