Em lógica, uma proposição é uma sentença afirmativa que assume um único dos v...

    Em lógica, uma proposição é uma sentença afirmativa que assume um único dos valores lógicos: verdadeiro (V) ou falso (F). A negação de uma proposição A,“não A”, será julgada como F se A for V, e será V se A for F. Uma disjunção envolvendo as proposições A e B, simbolizada por A V B, lida como “A ou B”, será F quando A e B forem F e, nos demais casos, será V. Uma conjunção envolvendo as proposições A e B, simbolizada por A / B, lida como “A e B”, será julgada V se A e B forem V; nos demais casos, será F. Uma implicação envolvendo as proposições A e B, simbolizada por A → B, lida como “se A, então B”, será julgada F se A for V e B for F; nos demais casos, será sempre V. Um argumento lógico é uma relação que associa uma sequência finita de kproposições Pi , 1 < i < k, denominadas premissas, a uma proposição Q, denominada conclusão. Um argumento lógico será denominado válido se a veracidade das premissas garantir a veracidade da conclusão.

A partir dessas informações, considere as proposições listadas a seguir.

P1: A atmosfera terrestre impede que parte da radiação solar refletida pela superfície terrestre seja irradiada para o espaço.
P2: Esse fenômeno é chamado de efeito estufa.
P3: Os gases na atmosfera responsáveis pelo efeito estufa, como o vapor de água e o CO₂, são chamados de gases do efeito estufa.
P4: A emissão de alguns gases do efeito estufa pelas indústrias, pelas queimadas e pelo tráfego de veículos produzirá aumento no efeito estufa.
Q: A vida na Terra sofrerá grandes mudanças nos próximos 50 anos.

Com base nas definições e nas proposições enunciadas acima, julgue o item que se segue.

A negação de P1 está corretamente redigida da seguinte maneira: A atmosfera terrestre permite que parte da radiação solar refletida pela superfície terrestre seja irradiada para o espaço.