| Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/ |
|
| Lógica Proposicional https://forumdematematica.org/viewtopic.php?f=70&t=5369 |
Página 1 de 1 |
| Autor: | gnawolney [ 10 mar 2014, 18:38 ] |
| Título da Pergunta: | Lógica Proposicional |
Mostrar que p não implica p^q e que pvq não implica p. Alguém tem ideia de como fazer isso ? |
|
| Autor: | Walter R [ 11 mar 2014, 03:54 ] |
| Título da Pergunta: | Re: Lógica Proposicional [resolvida] |
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). |
|
| Página 1 de 1 | Os Horários são TMG [ DST ] |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|