Lógica Matemática - Mostrar que (O que há de errado?)

[Estudioso]

Mostrar que:

a) q ⇒ p → q

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/dhRZ9

Obrigado

[Fraol]

Oi, está invertida a sua primeira implicação, não?

[Estudioso]

Oi Fraol!

Obrigado por responder

Não entendi o seu raciocínio. Me explique por favor.

Muito obrigado

[Fraol]

Boa noite Estudioso

Oi, está invertida a sua primeira implicação, não?

Não. A sua implicação \(p \rightarrow q\) está ok. (peço desculpas, pois confundi os símbolos quando li ao celular).

Agora revendo a sua questão:

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.

Vou colar aqui a sua figura para facilitar a leitura:

TabelaVerdadeII.jpg (8.14 KiB) Visualizado 1970 vezes

Mostrar que \(q \Rightarrow p \rightarrow q\) é mostrar que não ocorre \(V\) e \(F\) numa linha da tabela verdade de \(q\) e \(p \rightarrow q\). Ou seja não há nada errado com a sua tabela.