Computer Science Archive: Questions from March 05, 2023
-
2 answers
-
Converting these 3 expressions to prenex normal form.
\( \begin{array}{l}\forall x \neg(\exists y P(x, y) \wedge \neg Q(x)) \\ \neg \forall x(\neg P(x) \vee \neg(\forall y Q(x, y))) \\ \neg \forall x((\forall y Q(x, y)) \rightarrow \neg P(x))\end{array}2 answers -
2 answers
-
2 answers
-
Find the Conjunctive Normal Form and/or Disjunctive Normal Form of the following formulas of the calculus of propositions.
Parte 2. Encuentra la Forma Normal Conjuntiva y/o forma Normal Disyuntiva de las siguientes fórmulas del cálculo de proposiciones. 1.- \( (p->q)^{\wedge}(p->\neg(r \vee q)) \) 2.- \( \left(p^{\wedge2 answers -
Prove, using the rules of natural deduction, the following sequents:
Parte 1: Demuestre, usando las reglas de deducción natural, los siguientes secuentes: 1.- \( \left\{p->q, p^{\wedge} r\right\}+q^{\wedge} r \) 2.- \( \{p->(p->q), p\}+q \) 3. \( -\{p->q, p->r\}+p->\l2 answers