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
, então obtém-se a forma
, 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
, então obtém-se a forma PVQ, 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
, e avaliada como V, se P for F, e como F, se P for V. Um argumento é uma seqüência de proposições P
1 , P
2 , ..., P
n , chamadas premissas, e uma proposição Q, chamada conclusão. Um argumento é válido, se Q é V sempre que P
1 , P
2 , ..., P
n forem V, caso contrário, não é argumento válido.
A partir desses conceitos, julgue os próximos itens.