-
para resolver a questão basta aplicar a fórmula de negação da implicação que é:
(~(p->q))(p^~q).
-
Outra forma de responder essa questão é:
1º_ aplica a lei da condicional: p -> p equivale a ~p ou q
2º_ aplica lei de Morgan: ~(p ou q) equivale a ~p ^ ~q
logo temos:
1º_ p -> ~q equivale a ~p ou ~q
2º_ ~( ~p ou ~q) equivale a p ^ q
resposta: p ^ q letra E
-
Pombas, demorou pra perceber que _> era na verdade uma ->
-
É sempre melhor trocar os símbolos por casos concretos:
Ex.
o p -> ~q pode ser dito como
Todo flamenguista não é sofredor! (convenhamos ser verdade!! hehe)
A negação disso seria:
Nem todo flamenguista não é sofredor!
Por tanto, na negação exposta, posso dizer que algum flamenguista é sofredor. Então há intersecção entre flamenguista e sofredor! por tanto P ^ q!!!
Obs. o fato de algum flamenguista ser sofredor não me possibilita dizer que todo flamenguista é sofredor, por isso não pode P -> q!
-
Pra matar a questão, basta você montar a tabela-verdade de ~(p->~q)(negação de "p->~q") e de cara você nota que se trata da tabela verdade "p^q". Pra não ficar vago, vou tentar colocar aqui.
p | q | ~q | p->~q | ~(p->~q)
V V F F V
V F V V F
F V F V F
F F V V F
Quando tu olhas pra quinta coluna, percebe logo que ela é equivalente à tabela-verdade do "e" = p^q, mas pra ter certeza, vamos montá-la.
p | q | p^q
V V V
V F F
F V F
F F F
Por isso é importante ter no sangue as 5 principais tabelas-verdade, não só pra resolver as questões, mas pra ganhar tempo também.
-
Para negar aproposições condicionais (se,então) basta manter a primeira parte, acrescentar o conectivo " ë" e inverter o sinal da segunda parte
-
o modo mais facil de resolver é como explicitou o José Camara
-
Isso é teoria.
Basta dar uma estudada em [ http://www.pucsp.br/~logica/ ]
Primeiro é necessário saber que:
(p -> ~q) <=> (~p v ~q)
Obs.: O símbolo "<=>" está representando equivalência.
Quando NEGA-SE o resultado obtido (~p v ~q) - importantíssimo prestar atenção na pergunta -, tudo muda: o OU passa a ser E (o contrário também ocorre) e os valores de "p" e "q" são "negados" - dupla negação igual ao valor normal. Logo:
~(~p v ~q) <=> p ^ q
Alternativa e
-
Formula da Negação da condicional: ~(p -> q) = p ^ ~q Conservar a primeira proposição, coloca conectivo 'e' e nega a segunda.
Porem, a questão da a proposição: ~(p -> ~ q) = p ^ ~ ( ~ q ) = p ^ q na proposição q temos Negação da Negação.
-
·
V = ou e ^ =
e
·
~ = Não
·
→ = Então
1.
Negação do “Se..., Então’’
·
Macete: Coloca o “e”, continua e nega;
·
‘’Se’’ e “Então” pode ser usado
facultativamente.
-
Veja o vídeo que gravei com a resolução dessa questão:
https://youtu.be/WVSzQCN_VFE
Professor Ivan Chagas
-
Regra do "se...,então" :Mantém a 1ª parte,troco o conectivo "--->" por " ^" ,nega a 2ª parte
Exemplo: p ---> ~q
Negação= p ^ q
Exemplo: Se estudo,então passo
negação= Estudo e não passo
-
GABARITO: LETRA E
➤NEGAÇÃO COM CONECTIVO "E" (CONJUNÇÃO):
⇛ TROCA-SE O "E" POR "OU" E NEGA TUDO.
➤NEGAÇÃO COM CONECTIVO "OU" (DISJUNÇÃO INCLUSIVA):
⇛ TROCA-SE O "OU" POR "E" NEGA TUDO.
➤NEGAÇÃO COM SE... ENTÃO (CONDICIONAL):
⇛ RETIRO O "SE" MANTENHO A PRIMEIRA PARTE E NEGO A SEGUNDA PARTE.
➤NEGAÇÃO DO SE E SOMENTE SE (BICONDICIONAL):
⇛ TRANSFORMA E DISJUNÇÃO EXCLUSIVA (OU...OU).
➤NEGAÇÃO DO OU...OU (DISJUNÇÃO EXCLUSIVA)
⇛ TRANSFORMA EM BICONDICIONAL.
-
RESOLUÇÃO:
A negação de A -> B é “A e não B”. No caso da expressão p -> ~q, temos:
A = p
B = ~q
Assim, “A e não B” é, simplesmente, “p e q”.
Resposta: E