Ano: 2010Banca: CESPE / CEBRASPECargo: Analista Judiciário - Tecnologia da InformaçãoConcurso: TRE-MT
Uma proposição é uma sentença que pode ser julgada comoverdadeira (V) ou falsa (F), mas não como V e F simultaneamente. Umaproposição simbolizada por AB, em que A e B são proposiçõesquaisquer, é lida "se A, então B", e será F quando A for V e B for F. Nosdemais casos, será sempre V. Uma argumentação é uma proposição quetem a forma Q, em que as proposições sãodenominadas premissas e a proposição Q é a conclusão. Umaargumentação é denominada válida se, sempre que as premissas forem V, a conclusão Q for V como consequência das premissas. A negação da proposição A, simbolizada por ¬A, será F se A for V, e será V se A for F. Então, para todas as possíveis valorações V ou F atribuídas às proposições A e B, é correto concluir que a proposiçãopossui exatamente