JG Giménez

1. ¿Cuando en una derivada se necesita mas de una vez una variable se usa la regla de copia verdad ?
   • Depende de tu definición de “variable”. Según las reglas “oficiales” no.
   • Si la variable es para una formula del tipo ∀xβ(x) o ∃xβ(x) debe crearse la variable siguiendo las reglas para la introducción del existencial o el universal.
   • Pero si la “variable” es para una constante podría usarse SI Y SOLO SI lo que deseas lograr es algo como una introducción de la conjunción.
2. ¿Cuando en una derivada se encuentra algo así ∃x¬∃y¬P(x) el “∃y” esta de más?
   • Si. Lo más recomendable es preguntar para estar seguro que sobra un existencial, en vez de ser un error de transcripción. En una derivadas lo más importante es que cada paso pueda justificarse de manera correcta.
3. Cuando se dice “todos los informáticos son eficientes y geniales” es∀x [I (x) → E(x) ∧ G (x)]. Cuando se dice “existen informáticos eficientes y geniales” es ∃x[ I (x) ∧ E(x) ∧ G(x) ], ¿Si dijera “existen informáticos que son eficientes y geniales” sería con implicación ?
   • No.  La modelación sería igual que el segundo caso: ∃x[ I (x) ∧ E(x) ∧ G(x) ].
   • Para que la modelación resulte en una implicación, la frase original debería ser: “existe un informático que si es eficiente es genial”, lo cual resultaría en: ∃x[ I(x) ∧ (E(x) → G(x)) ].

Ya están disponibles algunos de los exámenes de los semestres previos en la sección de Lógica Computacional.

Por lo momentos solo uno está parcialmente resuelto, pero espero con el tiempo ir agregando más parciales y aportar algunas soluciones de los estudiantes que los presentaron.