Considere que a tabela abaixo representa as primeiras coluna...
letras maiúsculas, julgue os próximos itens, relativos a lógica
proposicional e de argumentação.
Logo, a coluna abaixo representa a última coluna dessa tabela-verdade.
Comentários
Veja os comentários dos nossos alunos
P Q R ~R (P -> Q) (P -> Q) ^ (¬R)
V V V F V F
V V F V V V
V F V F F F
V F F V F F
F V V F V F
F V F V V V
F F V F V F
F F F V V V
RESPOSTA: CERTO
Seria bom alguém que pudesse esmiuçar a questão.
Passo 1 - montar as tabelas verdade de P, Q e R. Nessa questão já veio mas a se não bastava saber que seriam 8 linhas (calcula-se 2 elevado ao número de proposições simples P, Q e R.
Passo 2 - no P coloca-se 4 Vs e 4 Fs, no Q 2 Vs e 2 Fs e assim por deante e no R alternado-se V e F
Passo 3 - Monta-se o P -> Q (basta lembrar que será F somente se as proposições simples fotem V e F)
Passo 4 - Monta-se o - R (ão R). Basta trocar V por F e vice-versa
Passo 5 - monta-se o (P->Q) ^ (-R). Basta juntar as tabelas que já estão prontas e se lembrar que em uma conjunção (^) a proposição composta será verdardadeira somente se as simples forem verdadeiras.
Claro?
a última coluna dessa tabela verdade, seria os valores da proposição (P -> Q) ^ (¬R). As únicas duas colunas que você deve acrescentar são "¬R", "P -> Q" e da própria preposição "(P -> Q) ^ (¬R)". E fazendo a tabela-verdade completa, a última coluna fica justamente como afirma o enunciado. Por isso questão correta.
1ª COLUNA | 2ª COLUNA | 3ª COLUNA | 4ª COLUNA | 5ª COLUNA | 6ª COLUNA |
P | Q | R | P->Q | ¬R | (P->Q)^(¬R) |
V | V | V | V | F | F |
V | V | F | V | V | V |
V | F | V | F | F | F |
V | F | F | F | V | F |
F | V | V | V | F | F |
F | V | F | V | V | V |
F | F | V | V | F | F |
F | F | F | V | V | V |
Clique para visualizar este comentário
Visualize os comentários desta questão clicando no botão abaixo