Texto para as questões de 1 a 4.
Uma proposição é uma declaração que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. As proposições são, frequentemente, simbolizadas por letras maiúsculas: A, B, C, D etc.
As proposições compostas são expressões construídas a partir de outras proposições, usando-se símbolos lógicos, como nos casos a seguir.
A → B, lida como “se A, então B”, tem valor lógico F quando A for V e B for F; nos demais casos, será V;
A ˅ B, lida como “A ou B”, tem valor lógico F quando A e B forem F; nos demais casos, será V;
A ^ B, lida como “A e B”, tem valor lógico V quando A e B forem V; nos demais casos, será F;
~A é a negação de A: tem valor lógico F quando A for V, e V, quando A for F.
Uma sequência de proposições A1, A2, ..., Ak é uma dedução correta se a última proposição, Ak, denominada conclusão, é uma consequência das anteriores, consideradas V e denominadas premissas.

