Diferencia entre revisiones de «Lojban/Juntándolo todo/Tipos de conectivas lógicas»
Contenido eliminado Contenido añadido
Línea 44:
* <tt>u</tt> es un caso especial, tomando el significado lógico «sea o no sea que» — en otras palabras, hace hincapié en que el segundo valor no afecta a la verdad de la oración.
* Los otros operadores, OX y SI, se basan en estas vocales combinadas con negativas. Como veremos más adelante, OX es <tt>.onai</tt> y SI es <tt>.anai</tt>.
: '''Sugerencia''': Hay cierta controversia en la comunidad lojban sobre si el «si» del lenguaje natural se expresa mejor como una conectiva lógica (SI, SSI), o como un ''sumti tcita''. Hay un par de objeciones en contra de SI. Una de ellas es que su análisis lógico, NO ''A'' O ''B'', no es terriblemente evidente. Otra es que es SSI lo que a menudo se quiere decir, en lugar de SI. Otra es que el «si» del lenguaje natural está fuertemente relacionado con nociones de causalidad, condición, o deducción — ninguno de los cuales es especialmente enfatizado por SI como conectiva estrictamente lógica. Por ejemplo, el SI lógico dará una representación deficiente de «No es cierto que, si yo soy rico, soy feliz» — que decididamente no es lo mismo que «No es cierto que yo no soy rico o soy feliz»!
: Por esa razón, usted verá muchos lojbanistas evitando al SI, y en su lugar utilizando ''sumti tcita'' como <tt>va'o</tt> «bajo condiciones ...», <tt>seja'e</tt> «resulta como resultado de ...«, <tt>fau</tt> «en el caso de ...», o <tt>ni'i</tt> «causado lógicamente por ...»
|