Enunciados de questões e informações de concursos

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\veeB, 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\landB, 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\toB, 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 \le i \le 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.

 

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

 

O argumento lógico em que P1, P2, P3 e P4 são as premissas e Q é a conclusão pode ser corretamente representado pela expressão [P1\veeP2\veeP3\veeP4]\toQ.



spinner
Ocorreu um erro na requisição, tente executar a operação novamente.