Questão de Raciocínio Lógico

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 AwB, 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 AvB, 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 k proposiçõ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 CO2, 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.