Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • Método: Laub Eavxeb Eiaiixeib

    Enviado por

    ROYER MATTHEW BONIFACIO JULIAN
    5 visualizações1 página
    1) O método direto estabelece que AUB = A → B ≤ A é verdadeiro. Isso significa que se a união de A e B é igual a A, então B é um subconjunto de A. 2) A contrapositiva afirma que se B não for um subconjunto de A, então a união de A e B não será igual a A. 3) Por redução ao absurdo, é mostrado que se a união de A e B for diferente de A ou B não for um subconjunto de A, leva a uma contradição com o método direto,

    Descrição original:

    Título original

    Untitled

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    1) O método direto estabelece que AUB = A → B ≤ A é verdadeiro. Isso significa que se a união de A e B é igual a A, então B é um subconjunto de A. 2) A contrapositiva afirma que se B não for um subconjunto de A, então a união de A e B não será igual a A. 3) Por redução ao absurdo, é mostrado que se a união de A e B for diferente de A ou B não for um subconjunto de A, leva a uma contradição com o método direto,

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    5 visualizações1 página

    Método: Laub Eavxeb Eiaiixeib

    Enviado por

    ROYER MATTHEW BONIFACIO JULIAN
    1) O método direto estabelece que AUB = A → B ≤ A é verdadeiro. Isso significa que se a união de A e B é igual a A, então B é um subconjunto de A. 2) A contrapositiva afirma que se B não for um subconjunto de A, então a união de A e B não será igual a A. 3) Por redução ao absurdo, é mostrado que se a união de A e B for diferente de A ou B não for um subconjunto de A, leva a uma contradição com o método direto,

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 1

    a.

    Método Directo :

    AUB = A → B ≤ A

    AUB A ≤ AUB B ≤ A
    • AUB = A → ≤ A ^ →

    ✗ C- LAUB) → ✗ C- A a (✗ C- A → ✗ EN B) →

    ✗ EAVXEB →
    ✗ C- A ^ ( ✗ C- A → IXEAVXEB )

    [ ( ✗ EIAIIXEIB / ✗ ✗ C- A
    ]a [ ✗ EIAV (✗ C- Antis) ] →

    [ ✗ EAV ✗ d- BIA [ 1- ✗ ✗ EB ] .
    -
    →

    ( ✗ C- A- ✗ ✗ ¢ B) a 1 →

    ✗ B ×
    ✗ c- A →

    ✗ C- A
    ✗ EB → →

    → B ≤ A
    ✓
    B ≤ A

    Demostrado → M . Directo

    °
    Contra positiva

    AUB = A → B ≤ A

    B A → AUB =/ A

    (✗ EB A ✗ ¢ A.) →
    (AUB # A) A LA ¢ AUB )
    →

    → [( ✗ EAUXEB / A ✗
    A) ] n (✗ c- A ti ( ✗ EIA V. ✗ B) ]

    •
    Por contradicción :

    AUB =/t a B ¢ A = V

    -
    Por M Directo
    (✗ c- B) / A)
    .

    A ✗

    ✗ EA pero ✗ A →
    contradicción

    Você também pode gostar