Na lógica sentencial, uma proposição é uma sentença declarat...

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 o item subsequente, 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.