Texto para as questões de 11 a 14
Proposição é uma sentença que pode ser julgada como verdadeira — V —, ou falsa — F —, mas não como V e F simultaneamente. Letras maiúsculas do alfabeto são freqüentemente usadas para simbolizar uma proposição básica. A expressão AvB simboliza a proposição composta "A e B" e tem valor lógico V somente quando A e B forem V, nos demais casos, será F. A expressão AwB simboliza a proposição composta "A ou B" e tem valor lógico F somente quando A e B forem F, nos demais casos, será V. A expressão da forma ¬A é a negação da proposição A, e possui valores lógicos contrários aos de A. A expressão A÷B é uma proposição composta que tem valor lógico F somente quando A for V e B for F, e nos demais casos, será V, e pode ser lida como: "se A então B". Uma argumentação lógica correta consiste de uma seqüência finita de proposições, em que algumas, denominadas premissas, são V, por hipótese, e as demais, as conclusões, são V por conseqüência da veracidade das premissas e de conclusões anteriores.