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.
Questão 1 - (SEPLAG DF 2009 - CARGO 02 / CESPE) Considere a sequência formada pelas proposições seguintes.
A: Se Alice viajar ou Beatriz tornar-se modelo, então Pedro perderá documentos.
B: Alice viajou.
C: Pedro perderá documentos.
Nesse caso, considerando A e B como premissas e C como conclusão, a sequência formada pelas proposições A, B e C é correta.
