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.
Considere que as seguintes proposições são premissas de um argumento:
-César é o presidente do tribunal de contas e Tito é um conselheiro.
-César não é o presidente do tribunal de contas ou Adriano impõe penas disciplinares na forma da lei.
-Se Adriano é o vice-presidente do tribunal de contas, então Tito não é o corregedor.
Com base nas definições apresentadas no texto acima, assinale a opção em que a proposição apresentada, junto com essas premissas, forma um argumento correto.