Lógica Matemática - Mostrar que (Procede?)

[Estudioso]

Mostrar que:

a) q ⇒ p ∧ q ↔ p

Montei essa tabela-verdade (link abaixo) mas parece que está ocorrendo algo de errado. Alguém sabe o que é? Na minha opinião a coluna "q" deveria estar exatamente igual à última coluna.

http://ap.imagensbrasil.org/image/dhNAj

Obrigado

[Fraol]

Oi, da mesma forma que esta discussão aqui, não há nada errado pois não ocorre \(V\) e \(F\) numa linha da tabela verdade de \(q\) e \((p \wedge q) \leftrightarrow p\)

Sua figura:

TabelaVerdade.jpg (11.96 KiB) Visualizado 1567 vezes