Uma proposição é uma frase declarativa que pode ser julgada como verdadeira (V) ou falsa (F), mas não cabe ambos os julgamentos. Considere que proposições simples sejam simbolizadas por A, B, C etc. Qualquer expressão da forma ¬A, !$ A \vee B, A \rightarrow B !$
são Proposições A e ¬A têm julgamentos contrários, isto é, quando A é V, então ¬A é F, !$ A \vee B !$e quando A é F, então ¬A é V. Uma proposição da forma (lida como A ou B) é F quando A e B são F, caso contrário é V, e uma proposição da forma A !$ A \rightarrow B !$ B (lida como se A então B) é F quando A é V e B é F, caso contrário é V.

A partir das informações acima, julgue o item seguinte.

Se A é V, B é F e C é V, então !$ ( \neq A) V ( \neq B) | \rightarrow C !$ será necessariamente V.