En la tarea 5 seleccionamos un ejercicio del libro Lean Symbolic Logic de Lewis Carroll, en este caso me toco el ejercicio numero 38:
No emperors are dentists
All dentists are dreaded by children
No emperors are dreaded by children.
Traducción español:
No hay emperadores que sean dentistas
Todos los dentistas son temidos por los niños
No hay emperadores que sean temidos por los niños
D(x): dentists(dentistas)
N(x): dreaded by children(temidos por los niños)
Simbolos fundamentales que usaremos:
$\forall$: cuantificador universal (todos)
$\exists$ : cuantificador existencial (existe)
Sustituimos las palabras por símbolos:
- No emperors are dentists : $\mathbf{\rightharpoondown\exists (x) E(x)\to D(x)}$
- All dentists are dreaded by children: $\forall (x)D(x)\to N\left ( x \right ) $
- No emperors are dreaded by children: $\mathbf{\rightharpoondown\exists (x) E(x)\to N(x)}$
Conclusión:
Some people, dreaded by children, are not emperors
Someone dreaded by children, are not emperors: $\mathbf{\exists (x) N(x)\to \rightharpoondown E(x)}$
Referencias:
Link1
Link2
Link3
Link4
No me convence tu conclusión. Nada en las frases dice que necesita existir tal persona. Van 8 pts.
ResponderEliminar