Concursos Públicos ⇒ Andre e Bernardo

[leozinho]

Dizer que “André é artista ou Bernardo não é engenheiro” é logicamente equivalente a dizer que:

a) André é artista se e somente se Bernardo não é engenheiro.
b) Se André é artista, então Bernardo não é engenheiro.
c) Se André não é artista, então Bernardo é engenheiro.
d) Se Bernardo é engenheiro, então André é artista.
e) André não é artista e Bernardo é engenheiro.

[Karl Weierstrass]

Sejam as proposições

• [tex3]p :[/tex3]

  Código: Selecionar tudoSHIFT+Click na eq = ZOOM

  [tex3]p :[/tex3]

  André é artista e [tex3]q:[/tex3]

  Código: Selecionar tudoSHIFT+Click na eq = ZOOM

  [tex3]q:[/tex3]

  Bernardo é engenheiro.

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

• [tex3]p\, \vee\,\sim q\,\Longleftrightarrow\, \sim q\,\vee\, p \,\Longleftrightarrow \,q\,\rightarrow\, p,[/tex3]

  Código: Selecionar tudoSHIFT+Click na eq = ZOOM

  [tex3]p\, \vee\,\sim q\,\Longleftrightarrow\, \sim q\,\vee\, p \,\Longleftrightarrow \,q\,\rightarrow\, p,[/tex3]

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

[tex3]\boxed{\text{D}}[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]\boxed{\text{D}}[/tex3]

[tex3]\,[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]\,[/tex3]