Diferencias

Muestra las diferencias entre dos versiones de la página.

--- es:manual:items:patron:logica [2021/05/19 09:25] – root
+++ es:manual:items:patron:logica [2021/05/19 10:09] – [Patrón de expresiones lógicas] root
@@ Línea 15: / Línea 15: @@
 </html> |
 ^ Patrón.   | <html><code>p  -> (q & r)</code></html>  |
-^ Respuestas reconocidas   | <html><code>p  -> (r & q)$</code></html>  |
+^ Respuestas reconocidas   | <html><code>p  -> (r & q)</code></html>  |
 ^:::   | <html><code>(p --> r) && (p --> q)</code></html>  |
 ^ Respuestas no reconocidas   | <html><code><font color='red'>p --> r && p --> q</font></code></html>  | La prioridad de operación del operador && es mas fuerte que la del operador -> |
+=== Ejemplo 2 ===
+^ Enunciado | Escriba una expresión lógica equivalente a $p \to q$ sin utilizar el operador $\to$ |
+^ Patrón.   | <html><code>p  -> q @noIMP </code></html>  |
+^ Respuestas reconocidas   | $!p \lor q$  |
+^:::   | <html><code>!(p && !q)</code></html>  |
+^ Respuestas no reconocidas   | <html><code><font color='red'>p --> q</font></code></html>  | No se admte el operador -> |
+=== Ejemplo 3 ===
+^ Enunciado | ¿Que condición debe cumplirse para que pueda realizarse esta oparación $1/a + 1/b$ ?|
+^ Patrón.   | <html><code>a != 0 && b != 0 </code></html>  |
+^ Respuestas reconocidas   | $a \ne 0 \land b \ne 0$  |
+^:::   | <nowiki>(a > 0 || a < 0) && (b > 0 || b < 0)</nowiki>  |
+^:::   | $a == 1 \land b==1$   |
+Cuando en la expresión lógica aparecen operadores relacionales, se supone que a ambos lados hay una expresión numérica. Si no se especifica ninguna otra cosa, la interpretación solo asigna a las variables implicadas valores numericos 1 y 0, resolviendo la comparacón en estos casos. Pueden definirse los valores que puede tomar la variables mediante una instrucción de asignación, como se muestra los siguientes ejemplos:
+=== Ejemplo 4 ===
+^ Patrón.   | <html>a&gt;0 && b&gt;0 @a<-{0,1,2}</html> | La expresion @a<-{0,1,2} indica que la variable a puede tomar los valores numéricos 0,1 y 2. La variable b toma valores 0 o 1.|
+^ Respuestas no reconocidas   | <html><code><font color='red'>a==1 && b==1</font></code></html>  | La interpretación a<-2, b<-1; hace que el valor del patrón sea verdadero, pero el valor de la respuesta es falso. |
+=== Ejemplo 5 ===
+^ Patrón.   | <html>a&gt;0 && b&gt;a @a<-{0,1} @b<-{0,1}</html> | |
+^ Respuestas no reconocidas   | <html><code><font color='red'>a&gt;0 && b&gt;0</font></code></html>  | La interpretación a<-1, b<-1; hace que el valor del patrón sea falso, pero el valor de la respuesta es verdadero. |
 ==== Descripción del lenguaje ====
@@ Línea 124: / Línea 153: @@
-=== Instrucciones ===
+=== Instrucciones de restricción ===
 El lenguaje de patrones de expresiones lógicas incluye un conjunto de instrucciones para controlar los operadores que se admiten como válidos en las respuestas, de manera que se pueda forzar al alumno a utilizar, o mejor dicho a no utilizar determinados operadores. Son los siguientes:
@@ Línea 139: / Línea 168: @@
+=== Instrucciones de asignación ===
+Cuando en una fórmula lógica intervienen variables numéricas, por defecto se le asignan valores 0 y 1 como posibles interpretaciones. Se puede especificar el rango de valores que puede tomar una variable lógica mediante una instrucción de asignación de la forma:
+   @v <- { valor, valor, valor .... }
+el siguiente ejemplo indica que la variable a puede tomar los valores 0,1 o 2.:
+   @a <- { 0,1,2 }
+Tambien puede expresarse los valores mediante rangos de variación con un cierto incremento. Por ejemplo, la siguiente expresión asigna a la variable x los posibles valores 0, 0.25, 0.5, 0.75 o 1.
+   @x <- [0,1, 0.25]
+En cualquier caso los posibles valores siempre son finitos, y debe tenerse en cuenta que la complejidad del cálculo crece al aumentar el numero de posibles interpretaciones.