Tarea 5: Lógica Predictiva 

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

No hay=Ningunos

E(x): emperors(emperadores)
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