Questão de Raciocínio Lógico

Uma proposição é uma afirmação que pode ser julgada como verdadeira (V) ou falsa (F), mas não como ambas. As proposições são usualmente simbolizadas por letras maiúsculas do alfabeto, como, por exemplo, P, Q, R etc. Se a conexão de duas proposições é feita pela preposição “e”, simbolizada usualmente por v, então obtém-se a forma PvQ, lida como “P e Q” e avaliada como V se P e Q forem V, caso contrário, é F. Se a conexão for feita pela preposição “ou”, simbolizada usualmente por w, então obtém-se a forma PwQ, lida como “P ou Q” e avaliada como F se P e Q forem F, caso contrário, é V. A negação de uma proposição é simbolizada por ¬P, e avaliada como V, se P for F, e como F, se P for V. Um argumento é uma seqüência de proposições P1, P2, ..., Pn, chamadas premissas, e uma proposição Q, chamada conclusão. Um argumento é válido, se Q é V sempre que P1, P2, ..., Pn forem V, caso contrário, não é argumento válido.