Lógica, perguntado por marciolisboa, 1 ano atrás

3 - Construa as tabelas-verdade para as seguintes proposições:

I - A V ¬A
II - A ^ B → B
III - (A V ~A) → (B ^ ~B)
IV - ¬[(A ^ ¬B) → ¬C]
V - (A ^ B) V C → A ^ (B V C)

Com base nas teorias sobre tabela-verdade, assinale o que for mais correto:
Alternativas

Alternativa 1:
A proposição I é sempre falsa.

Alternativa 2:
A proposição IV é sempre falsa.

Alternativa 3:
As proposições I e II são sempre verdadeiras.

Alternativa 4:
As proposições III e V são sempre falsas.

Alternativa 5:
As proposições III, IV e V são sempre falsas.

Soluções para a tarefa

Respondido por tiagobento38

Alternativa 3, as proposições I e II são sempre verdadeiras.
As tabelas estão na imagem anexada.

Anexos:

irisrava: Como uma coisa é F & V então é V?

rhagnipbkdwp: Eu estava me perguntando a mesma coisa, F & V = V. Como?

NhoQUin: "Como uma coisa é F & V então é V?"

NhoQUin: "Como uma coisa é F & V então é V?" Isso acontece pois na tabela verdade da Disjunção "OU" (símbolo V), o resultado só será falso se A e B forem falsos. E na Condicional (símbolo -->) só será falso se A for verdadeiro e B for falso.

johnlennonso: Alternativa correta. I e II São sempre verdadeira. As resoluções estão correta, somente uma observação na resolução IV, que faltou negar o resultado da ultima fileira, como se pede na alternativa
¬[(A ^ ¬B) → ¬C].

Respondido por mayaravieiraj

Podemos afirmar que, levando em consideração as teorias sobre tabela-verdade, o mais correto é o que está descrito na alternativa 3: As proposições I e II são sempre verdadeiras.

Como sabemos, a tabela verdade, também conhecida como a tabela veritativa, pode ser definida como sendo um tipo de tabela matemática que é empregada dentro da disciplina de lógica com vistas a determinar se uma determinada fórmula é válida ou se determinada afirmação sobre as assertivas é correta.