Lógica Proposicional
Documentos relacionados
Fundamentos de Lógica Matemática
lógica das premissas, ou seja, escrevendo na forma condicional, temos a tautologia: (¬p ∧ (¬q → p)) → q b) p → q |= ¬(p ∧ ¬q) Solução: escrevendo na forma condicional temos a seguinte proposiça...
Leia mais