Dizer que "André é artista ou Bernardo não é engenheiro"...

Dizer que "André é artista ou Bernardo não é engenheiro" é logicamente eqüivalente a dizer que:

  • 11/06/2020 às 01:43h
    0 Votos

    Sejam as proposições



    • p : André é artista e q: Bernardo é engenheiro.


    Desse modo, "André é artista ou Bernardo não é engenheiro" é equivalente a



    • p\, \vee\,\sim q\,\Longleftrightarrow\, \sim q\,\vee\, p \,\Longleftrightarrow \,q\,\rightarrow\, p,


    isto é, "Se Bernardo é engenheiro, então André é artista".

  • Navegue em mais questões

    {TITLE}

    {CONTENT}

    {TITLE}

    {CONTENT}
    Estude Grátis