Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
a&b
a|b
a
Logical AND
Logical OR
NOT
Logical exclusive OR
A OR B
A XOR b
Ejemplo 3.10
En los siguientes ejemplos, puede ser til para dibujar imgenes, pero
por lo menos debemos aprender a leer estas declaraciones. Recordamos que
en este contexto un corchete, un conjunto cerrado (es decir, incluyendo el
punto final) mientras que un soporte redondo indica un conjunto abierto (es
decir, sin incluir el final punto).
Determinar los conjuntos para los que estas afirmaciones son ciertas:
1.
Podemos leer este comando como "x es mayor que uno y menor que dos".
Obviamente, esto es cierto slo para valores comprendidos entre uno y dos (no
incluido).
Este es el conjunto abierto (1, 2).
2.
x <0 | x> = 1
Este comando se puede leer como "X menor que cero o mayor que (o igual a
uno". Este conjunto consta de dos partes: x estrictamente negativo o mayor
que x (o igual a uno). De ah que el conjunto es (-, 0) [1, ).
3.
x> 1 | x <2
Este comando se puede leer como "x mayor que 1 x o menos de 2". De hecho
todos los valores de x son mayores que uno o menos de 2, por lo tanto, la
respuesta es (-, ).
4.
x <= 1 | x> = 1
ste dice "x es menor que (o igual a) 1 o X es mayor que (o igual a 1) ". De
nuevo, esto es cierto para todos los valores de x, por lo tanto, la respuesta es
(-, ).
5.
ste es similar a la anterior con una palabra cambiado de forma que ahora
dice: "x es menor que (o igual a) 1 y x es mayor que (o igual a 1)". El nico
valor que es menor que (o igual a) uno y mayor que (o igual a) se trata de uno
mismo. La respuesta es el valor uno, escrito como {1}.
6.
~ (x> 2)
Este es nuestro primer ejemplo de negacin, que se lee como "x no es mayor
de 2 ", lo cual es cierto para los valores de x menor que (o igual a) 2, que es la
conjunto (-, 2].
7.
(x> 1) y (~ (x <2))
Aqu tenemos "x es mayor que 1 y x no es menor que 2". El segundo parte de
esta expresin significa que x es mayor que (o igual a 2) (y la primera parte es
siempre verdad para este rango), por lo que la solucin es [2, ).
8.
Aqu tenemos una expresin que implica una funcin matemtica: ste es lee
como: "el mdulo de x menos 1 es inferior a dos". Esto significa puntos que
estn dentro de 2 unidades del punto 1, que es (-1, 3).
9. rem (n, 4) == 1
Este comando calcula el resto cuando se divide por 4 y comprueba si esto es
igual a 1. Los valores para los cuales esto es cierto son {4n + 1: n Z}.
Con el fin de que un valor se encuentra entre uno y dos, tiene que ser
mayor que uno y menos de dos, por lo que este componente se escribe
como:
(x>1) & (x<2)