Bien venida al grupo, Irma Anguela!
No se olvide de también visitar nuestro sitio asociado donde se
encuentran materiales:
https://sites.google.com/site/layqa10/
Respondo sus preguntas.
1. Decir: "es posible que x" es equivalente a decir: "es 75% probable
que x"
Decir: "es necesario que x" es equivalente a decir: "es 100%
probable que x"
Decir: "es imposible que x" es equivalente a decir: "es 0%
probable que x"
Estos relacionamientos entre modalidad lógica y probabilidad he
mostrado en el capítulo 4 de mi libro.
No entiendo la segunda parte de su pregunta 1.
2. Matemáticamente la diferencia está en que "evidente que x"
representa a la triada [1 0 -1] mientras que "es cuasi evidente que
x" representa a la triada [1 -1 0]. Conceptualmente podemos ilustrar
la diferencia con los dos enunciados:
"ha llegado" (evidencia) y "está llegando" (cuasievidencia, pues
todavía no estamos seguros de que ha llegado).
3. De modo axiomático establecemos para definir "+" dicha tabla en la
que efectivamente 1+1=-1
Imagínese un anillo en el que marcamos los puntos 1, 0 y -1. "+"
quiere decir ir al próximo punto en sentido contrario al reloj: -1, 0,
1.
Así después de 1 el próximo número trinario de nuestra álgebra
abstracta resulta ser -1.
Les sugiero discutir este tema con su catedrático de Álgebra
Abstracta.
4. Efectivamente es un error tipográfico, gracias por hacérmelo notar.
En Layqa10 ya está corregido.
5. Una explicación más clara se encuentra en la sección 2.3 de
Layqa10.
On Nov 1, 10:09 am, IRMA ANGUELA FLORES <
amriflores...@gmail.com>
wrote: