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: \(p\wedge \sim q\Rightarrow q\)

[Walter R]

a única maneira de fazer com que \(p \wedge \sim q\rightarrow q\) seja falso, é fazendo \(q\) falso e \(p\) verdadeiro. Mas neste caso \(p\rightarrow q\) também é falso. Logo, toda vez que \(p\rightarrow q\) é verdadeiro, \(p\wedge \sim q\rightarrow q\) também o é.