Na lógica sentencial, uma proposição é uma sentença declarativa que pode ser julgada...

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.

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.