Home > UCAB > Dudas Parcial II

Dudas Parcial II

  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)) ].

    Deja un comentario

    Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

    Trackbacks:0

    Listed below are links to weblogs that reference
    Dudas Parcial II from JG Giménez
    TOP