-
Levei mais tempo para entender o enunciado, confuso pra kct, do que para resolver.
-
Alguém sabe resolver isso? Não entendi como encontrar a resposta! :'(
-
Fiz assim:
Este novo conectivo, conforme o enunciado diz que:
p * r:
(p -> ~p v r) com isso fiz a equivalência de negar a primeira ou manter a segunda:
(~p v ~p v r) como ~p v ~p é uma repetição, se um for falso o outro será falso e vice versa, então eliminei um deles e ficou assim:
(~p v r) então refiz a equivalência para condicional:
(p -> r) que é igual a letra C: se p então r
-
Gente fiz duas tabelinhas com os valores logicos associados, a primeira tenta resolver a molecula e a segunda resume o principal resultado da primeira tabela
* = p--> (~p V q)
p ~p q -resultado da disjuncao resultado da molecula
V F V - V V
V F F - F F
F V V - V V
F V F - V V
p q Resultado da molecula
V V V
V F F
F V V
F F V
identico ao resultado da condicional p-->q
logo
P* r = P-->r
espero que tenha ajudado
-
c)se p então r
porque nao ha parenteses, resolvem as operações na ordem em que aparecem. ~ é negação- inverte o valor. se entao é p->q e só é falso se for V->F. \/ é disjunção e so é falso quando ambos forem. A tabela da verdade final: V F V V.
-
Letra (c)
o conectivo ( * ) é tal que sua tabela verdade é idêntica à tabela verdade da proposição “se p então não p ou q".
Se...então = *
se p então (não p ou q ) ----- > Equivale a -------> se p então ( r )
p * r
-
letra C
RESOLVAM A TABELA VERDADE DA EXPRESSÃO DADA : P -> ~P \/ Q:
Rssposta: VFVV
Essa é a mesma tabela verdade da condição
logo,
P -> R