Questões sobre Implicação: Se p então q (representação p--->q)

Na lógica sentencial, uma proposição é uma sentença declarativa que pode ser julgada como verdadeira ou falsa, mas não como verdadeira e falsa simultaneamente. As proposições são representadas por letras maiúsculas A, B, C, D etc. Como operações lógicas sobre proposições, a proposição “A ou B” só será falsa se as duas proposições A e B forem falsas; a proposição “Se A, então B” só será falsa se a proposição A for verdadeira e a B for falsa. Uma sequência de proposições é denominada correta se a última proposição, como consequência das anteriores, for verdadeira, sempre que as anteriores o forem. Nesse caso, a última proposição é denominada conclusão e as anteriores, premissas.

Julgue os itens subsequentes, com relação às definições apresentadas no texto acima.

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 AvB, é 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 os itens que se seguem.

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.

Os itens a seguir apresentam argumentos formados por duas premissas seguidas por uma conclusão. Julgue se a conclusão apresentada em cada item é necessariamente verdadeira, sempre que as premissas forem verdadeiras.

Todo planeta é verde. A Terra é conhecida como planeta azul. Logo, o planeta azul é verde.

Em uma argumentação, suponha que as proposições “Se Gabriel não é culpado, então a promotoria não condenará Gabriel” e “A promotoria condenará Gabriel” sejam ambas V. Nessa situação, ao se inferir que “Gabriel é culpado”, obtém-se uma argumentação correta.

Com base nessas informações, julgue a validade de cada argumentação descrita nos itens a seguir.

Premissa P1: Se a casa for perto do lago, então poderemos nadar.

Premissa P2: Não poderemos nadar.

Conclusão Q: A casa não é perto do lago.