Raciocínio Lógico — equivalências lógicas

A lógica proposicional trata de argumentaçõeselaboradas por meio de proposições, isto é, de declaraçõesque podem ser julgadas como verdadeiras (V) ou falsas (F),mas nunca como V e F simultaneamente. As proposiçõesnormalmente são simbolizadas por letras maiúsculas doalfabeto e alguns símbolos lógicos são usados para compornovas proposições. Uma conjunção, proposição simbolizadapor AvB, é lida como A e B e julgada como V somentequando A e B forem V, e F, nos demais casos. Umaimplicação, proposição simbolizada por A÷B, é lida comose A, então B, e julgada como F somente quando A for Ve B for F, e V nos demais casos.A lógica de primeira ordem também trata deargumentações elaboradas por meio de proposições dalógica proposicional, mas admite proposições queexpressem quantificações do tipo todo, algum,nenhum etc.A partir dessas notações e definições, julgue os itens que seseguem.

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.