A maior rede de estudos do Brasil

como resolver questões de tautologia

Lógica I

UNIP


1 resposta(s)

User badge image

ジョナタン オリヴェイラ

Há mais de um mês

Uma tautologia é uma proposição que é sempre verdadeira independente dos valores-verdade das afirmacoes que compõem a preposicão.

Ex: (p^q)-> (p<->q)

p   q    p^q   p<->q    (p^q)-> (p<->)

v    v     v       v                v

v    f     f         f                 v

f    v     f         f                 v

f    f      f         v                v  Resumindo, o resultado final, for tudo verdadeiro é uma tautologia,

Uma tautologia é uma proposição que é sempre verdadeira independente dos valores-verdade das afirmacoes que compõem a preposicão.

Ex: (p^q)-> (p<->q)

p   q    p^q   p<->q    (p^q)-> (p<->)

v    v     v       v                v

v    f     f         f                 v

f    v     f         f                 v

f    f      f         v                v  Resumindo, o resultado final, for tudo verdadeiro é uma tautologia,

Essa pergunta já foi respondida!