A partir dessas notações e definições, julgue o item que se ...

Próximas questões
Com base no mesmo assunto
Q27476 Raciocínio Lógico

    A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por A Λ B, é lida como "A e B" e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A➜B, é lida como "se A, então B", e julgada como F somente quando A for V e B for F, e V nos demais casos.
       A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo "todo", "algum", "nenhum" etc. 

A partir dessas notações e definições, julgue o item que se segue.


Caso a proposição "Se a EMBASA promover ações de educação ambiental, então a população colaborará para a redução da poluição das águas" seja V, a proposição "Se a EMBASA não promover ações de educação ambiental, então a população não colaborará para a redução da poluição das águas" também será V.

Alternativas