Diferencia entre revisiones de «Lojban/Juntándolo todo/Tipos de conectivas lógicas»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 3:
Hay dos tipos de conectiva: lógica y no-lógica. Conectivas lógicas dicen algo acerca de si, y en qué circunstancias las dos cosas relacionadas son verdaderas; un ejemplo es <tt>.ije</tt>. Conectivas no-lógicas no tratan valores de verdad separados, pero agrupan a las cosas para formar diferentes tipos de unidades; un ejemplo es <tt>joi</tt>, que ya hemos visto de paso, y que discutiremos de nuevo más adelante.
Por otra parte, el lojban distingue entre el componente lógico de las conectivas y su contenido actitudinal. Por ejemplo, la mayoría de los idiomas tienen palabras diferentes para «y» y «pero». Lógicamente, ambos significan lo mismo. En términos de actitud, sin embargo, son diferentes: «pero» contiene una connotación de contraste o inesperado, el cual «y» no contiene. Así que el lojban traduce a «pero» en dos partes: <tt>.e ku'i</tt> «y — sin embargo». Esto sigue el principio lojbánico de mantener el contenido y la actitud independientes en la mayor medida posible (por ejemplo, <tt>.ui la djiotis klama ti</tt> tiene un elemento de contenido — la información de que
En esta lección vamos a ver sólo las conectivas lógicas; las conectivas no-lógicas (con una excepción) serán tratadas más adelante, junto con algunas otras actitudinales.
Línea 9:
==Tipos de conectivas lógicas==
Para entender a las conectivas del lojban, primero tenemos que considerar a las conectivas lógicas en general. Los tipos de conectiva lógica en el lojban se basan en tablas de verdad y se explican en detalle en el capítulo 14 de ''The Complete Lojban Language'' «El Lenguage Lojban Completo». Sin embargo, si usted no es un lógico, esto puede resultar algo confuso, así que aquí voy a considerarlos en términos de operadores booleanos. Si usted no tiene ni idea de lo que es un operador booleano, no se preocupe; son muy simples, y puede ser que usted incluso las haya utilizado en una búsqueda en la red sin darse cuenta. Por otro lado, si usted ha utilizado a los operadores booleanos en las matemáticas o la programación informática, el resto es pan comido. Los operadores que vamos a ver aquí son AND, OR, XOR, IF e IFF.
Ya hemos visto a solo un operador: AND «Y». Una declaración con AND es verdadera si y sólo si ambos elementos son verdaderos. Por ejemplo, si usted hace una búsqueda en Internet de «juegos Y estrategia», el motor de búsqueda sólo llegará a las páginas que contienen ambos juegos y estrategia: obtendrá páginas sobre juegos de estrategia, por ejemplo, pero no (idealmente) sobre juegos de simulación o estrategia militar. De modo similar en el lojban,
:<tt>la flufis. ractu .ije ro ractu na'e ze'u jmive</tt>
es falso si Fluffy no es un conejo, o si algunos conejos son de larga vida. Solo es cierto si ambas frases son verdaderas.
| |||