Ajuda Matemática • Pesquisar

Pesquisa resultou em 1 ocorrência

Olá pessoal, estou com problema pra resolver um exercício de dedução natural:
(p V (q->p)) ^ q |- p

por AlexandreJML: Ter Mar 27, 2012 13:16; Fórum: Álgebra Elementar; Tópico: [Dedução Natural] Exercício; Respostas: 0; Exibições: 1479

Ir para:

phpBB Mobile / SEO by Artodia.