Questão de Raciocínio Lógico

Proposição é uma frase que pode ser julgada como verdadeira — V — ou falsa — F —, não cabendo a ela ambos os julgamentos. Um argumento correto é uma seqüência de proposições na qual algumas são premissas, e consideradas V, e as demais são conclusões, que, por conseqüência da veracidade das premissas, também são V. Proposições simples podem ser representadas simbolicamente pelas letras A, B, C etc. Conexões entre proposições podem ser feitas por meio de símbolos especiais. Uma proposição da forma A B, lida como “A ou B”, tem valor lógico F quando A e B w são F; caso contrário, é V. Uma proposição da forma AvB, lida como “A e B”, tem valor lógico V quando A e B são V; caso contrário, é F. Uma proposição da forma ¬A, a negação de A, é F quando A é V, e é V quando A é F. Uma expressão da forma P(x), proposição da lógica de primeira ordem, em que P denota uma propriedade a respeito dos elementos x de um conjunto U, tem a sua veracidade ou falsidade dependente de U e do significado dado a P. Se a proposição for da forma ›xP(x), lida como “Existe x tal que P(x)”, tem a sua valoração V ou F dependente de existir ou não um elemento em U que satisfaça a P.