Averiguar valor lógico de proposiçao

[Csmendes]

Averigua se, apenas com o conhecimento de que a proposiçao \(p\Rightarrow q\)
é verdadeira, pode indicar o valor lógico de: \(q\Rightarrow p\)

[Walter R]

Se \(p\rightarrow q\) é verdadeiro, nada se pode afirmar sobre \(q\rightarrow p\). Por exemplo, suponha \(p\) e \(q\) verdadeiros. Neste caso, \(p\rightarrow q\) é verdadeiro, e \(q\rightarrow p\) também. Agora suponha \(p\) falso e \(q\) verdadeiro. Então \(p\rightarrow q\) continua sendo verdadeiro, mas \(q\rightarrow p\) é falso.