Diferencia entre revisiones de «Lojban/Juntándolo todo/Tipos de conectivas lógicas»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 11:
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.▼
El siguiente tipo que tenemos que considerar es OR «O». Esta no es siempre, o incluso por lo general, la misma que la palabra en español «o». El español es vago acerca de «o», el cual a veces significa «el uno o el otro o ambos», pero a veces significa «el uno o el otro, pero no ambos». Compare estas dos oraciones:
▲es falso si Fluffy no es un conejo, o si algunos conejos son de larga vida. Solo es cierto si ambas frases son verdaderas.
# Si hace frío o llueve nos quedaremos dentro.
# El ganador del concurso recibirá unas vacaciones en Hawai o el equivalente en efectivo.
|