(FUNIVERSA/PCDF-2009) Uma proposição logicamente equivalente à negação da proposição “se o cão mia, então o gato não late” ...

-(FUNIVERSA/PCDF-2009) Uma proposição logicamente equivalente à negação da proposição “se o cão mia, então o gato não late” é a proposição

a) o cão mia ou o gato late.

b) o cão mia e o gato late.

c) o cão não mia ou o gato late.

d) o cão não mia e  o gato late.

e) o cão não mia ou o gato não late.

Comentário:

A negação da proposição condicional : “se o cão mia, então o gato não late” é “o cão mia e o gato late”.

(ESAF/MPOG/2001) Dizer que “André é artista ou Bernardo não é engenheiro” é logicamente equivalente a dizer que...

-(ESAF/MPOG/2001) 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

Comentário:

Dada a proposição : “André é artista ou Bernardo não é engenheiro”     e aplicando a Lei comutativa temos :  “Bernardo não é engenheiro ou André é artista” e aplicando a Lei condicional temos: “Se Bernardo é engenheiro então André é artista”.