Teme subiecte examen
Exam ? Computational Logic - Subjects -2017-2018. I Propositional logic. Using
a proof method: a) semantic method (truth table, semantic tableau, conjunctive
normal form). b) syntactic method (resolution, definition of deduction, the theorem
of deduction and. its reverse). c) direct method (truth table, conjunctive normal ...