Lógica Matemática
Utilizando a lista das 10 regras de inferência, determine qual a conclusão de cada uma das premissas dadas.
a) P1: r v p
p2: s-->r
p3:p ->~q b)p1: r->(p^(p<->~s)
p2: r c)p1: r->(p^(p<->-s))
p2: (p^(p<->~s) ->m d)p1: r->(p v s)
p2: s->m
p3: r v s e)p1:r v (pvs)
p2:~(pvs) Não consigo resolver esse exércicio..alguém poderia me ajudar?
a) P1: r v p
p2: s-->r
p3:p ->~q b)p1: r->(p^(p<->~s)
p2: r c)p1: r->(p^(p<->-s))
p2: (p^(p<->~s) ->m d)p1: r->(p v s)
p2: s->m
p3: r v s e)p1:r v (pvs)
p2:~(pvs) Não consigo resolver esse exércicio..alguém poderia me ajudar?
0%
Seja o primeiro a responder a esta pergunta!
Pesquisar perguntas por matéria