(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...