Um sistema de gestão documental foi configurado para identificar apenas proposições lógicas, entendidas como sentenças declarativas completas às quais se pode atribuir, objetivamente, um valor verdadeiro ou falso. Assinale a alternativa que apresenta CORRETAMENTE uma proposição lógica.

Um grupo de analistas desenvolveu um programa capaz de verificar automaticamente propriedades de proposições lógicas utilizadas em rotinas de validação de dados. Entre os testes realizados, foi analisada a proposição P v ¬P, conhecida por apresentar comportamento específico em qualquer atribuição de valores lógicos. Analise as assertivas.
I. A proposição é verdadeira quando P é verdadeira.
II. A proposição é verdadeira quando P é falsa.
III. A proposição é uma tautologia.
IV. A proposição pode assumir valor falso.
Assinale a alternativa que apresenta apenas as proposições CORRETAS.

Uma biblioteca reorganizou cinco salas temáticas, identificadas pelos números 1 a 5, destinando uma sala para cada setor: Literatura, História, Ciências, Matemática e Informática. Sabe-se que Matemática ocupa a sala central; Literatura está imediatamente à esquerda de História; Informática ocupa uma das extremidades; e Ciências permanece na sala restante. Analise as assertivas e classifique como verdadeira (V) ou falsa (F).
(__) Matemática ocupa a sala 3.
(__) Literatura pode ocupar a sala 2.
(__) Informática pode ocupar a sala 5.
(__) História pode ocupar a sala 4.
Assinale a alternativa que apresenta a sequência CORRETA, de cima para baixo.