Raciocínio Lógico — equivalências lógicas

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

O quadro abaixo pode ser completamente preenchido com algarismos de 1 a 6, de modo que cada linha e cada coluna tenham sempre algarismos diferentes.