10 mar 2014, 18:38
Mostrar que p não implica p^q e que pvq não implica p. Alguém tem ideia de como fazer isso ?
11 mar 2014, 03:54
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).