Question

De acordo com a lógica proposicional, a negação da
frase “Se a lei foi cumprida, então o réu não foi solto” é
equivalente a:
a) A lei não foi cumprida ou o réu foi solto
b) A lei não foi cumprida e o réu não foi solto
c) A lei foi cumprida e o réu foi solto
d) Se o réu foi solto, então a lei não foi cumprida
e) A lei foi cumprida se, e somente se, o réu foi solto

Answer 1

A negação do "se, então" (→) só ocorre quando a primeira afirmação é verdadeira e a segunda é falsa. Então:

Se a lei foi cumprida, então o réu não foi solto
Negação: A lei foi cumprida e o réu foi solto.