Fórum de Matemática
DÚVIDAS? Nós respondemos!

Mostrar que p não implica p^q e que pvq não implica p. Alguém tem ideia de como fazer isso ?

Se P implicasse P^Q, então sempre que P fosse verdadeiro, teríamos que ter P^Q também verdadeiro. Mas isto é evidentemente falso ( basta tomar P verdadeiro e Q falso, e teremos P^Q falso).

Por outro lado, se PVQ implicasse P, sempre que PVQ fosse verdadeiro, teríamos que ter P verdadeiro. Mas isto não ocorre ( basta tomar P falso e Q verdadeiro. Neste caso, o antecedente seria verdadeiro, e o consequente falso).