Texto I – para o item.

        Uma proposição é uma afirmativa que pode ser avaliada como verdadeira (V) ou falsa (F), mas não ambos. É usual denotar uma proposição com letras maiúsculas: A, B, C. Simbolicamente, AvB, AwB e ¬A representam proposições compostas cujas leituras são: A e B, A ou B e não A. A proposição A ÷ B tem várias formas de leitura: A implica B, se A então B, A somente se B, A é condição suficiente para B, B é condição necessária para A etc. Desde que as proposições A e B possam ser avaliadas como V ou F, então a proposição AvB é V se A e B forem ambas V, caso contrário, é F; a proposição AwB é F quando A e B são ambas F, caso contrário, é V; a proposição A ÷ B é F quando A é V e B é F, caso contrário, é V; e, finalmente, a proposição ¬A é V quando A é F, e é F quando A é V.

        Uma argumentação é uma seqüência finita de k proposições (que podem estar enumeradas) em que as (k !1) primeiras proposições ou são premissas (hipóteses) ou são colocadas na argumentação por alguma regra de dedução. A k-ésima proposição é a conclusão da argumentação.

        Sendo P, Q e R proposições, considere como regras de dedução as seguintes: se P e P ÷ Q estão presentes em uma argumentação, então Q pode ser colocada na argumentação; se P ÷ Q e Q ÷ R estão presentes em uma argumentação, então P ÷ R pode ser colocada na argumentação; se PvQ está presente em uma argumentação, então tanto P quanto Q podem ser colocadas na argumentação.

        Duas proposições são equivalentes quando tiverem as mesmas avaliações V ou F. Portanto, sempre podem ser colocadas em uma argumentação como uma forma de “reescrever” alguma proposição já presente na argumentação. São equivalentes, por exemplo, as proposições A ÷ B, ¬B÷¬A e ¬AwB. Uma argumentação é válida sempre que, a partir das premissas que são avaliadas como V, obtém-se (pelo uso das regras de dedução ou por equivalência) uma conclusão que é também avaliada como V.