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 que as mesas em que Beatriz, Carla e Marcos trabalham têm as formas retangular, em L e redonda, e cores branca, azul e verde, não necessariamente nessas ordens. Sabe-se também que a mesa de Beatriz é azul; a de Marcos é redonda; a de Carla não é verde nem tem a forma de L. Nesse caso, é correto afirmar que a proposição “As formas das mesas azul, branca e verde são, respectivamente, em forma de L, redonda e retangular” é verdadeira.