es:manual:items:patron:logica
Diferencias
Muestra las diferencias entre dos versiones de la página.
Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previaÚltima revisiónAmbos lados, revisión siguiente | ||
es:manual:items:patron:logica [2021/05/19 09:08] – [Patrón de expresiones lógicas] root | es:manual:items:patron:logica [2021/05/19 10:09] – [Patrón de expresiones lógicas] root | ||
---|---|---|---|
Línea 5: | Línea 5: | ||
Evidentemente, | Evidentemente, | ||
- | En el siguiente epígrafe se hace una descripción completa del lenguaje, | + | A coniuación se presentan algunos ejemplos de uso de este patrón. El siguiente epígrafe se hace una descripción completa del lenguaje. |
+ | |||
+ | === Ejemplo 1 === | ||
+ | |||
+ | ^ Enunciado | Escriba una representación lógica del siguiente enunciado: "Si aumentan los impuestos | ||
+ | p: aumentan los impuestos sobre los carburantes < | ||
+ | q: sube la inflación < | ||
+ | r: disminuye el consumo | ||
+ | </ | ||
+ | ^ Patrón. | ||
+ | ^ Respuestas reconocidas | ||
+ | ^::: | < | ||
+ | ^ Respuestas no reconocidas | ||
+ | |||
+ | |||
+ | === Ejemplo 2 === | ||
+ | |||
+ | ^ Enunciado | Escriba una expresión lógica equivalente a $p \to q$ sin utilizar el operador $\to$ | | ||
+ | ^ Patrón. | ||
+ | ^ Respuestas reconocidas | ||
+ | ^::: | < | ||
+ | ^ Respuestas no reconocidas | ||
+ | |||
+ | |||
+ | === Ejemplo 3 === | ||
+ | |||
+ | ^ Enunciado | ¿Que condición debe cumplirse para que pueda realizarse esta oparación $1/a + 1/b$ ?| | ||
+ | ^ Patrón. | ||
+ | ^ Respuestas reconocidas | ||
+ | ^::: | < | ||
+ | ^::: | $a == 1 \land b==1$ | | ||
+ | |||
+ | Cuando en la expresión lógica aparecen operadores relacionales, | ||
+ | |||
+ | |||
+ | === Ejemplo 4 === | ||
+ | ^ Patrón. | ||
+ | ^ Respuestas no reconocidas | ||
+ | |||
+ | |||
+ | === Ejemplo 5 === | ||
+ | ^ Patrón. | ||
+ | ^ Respuestas no reconocidas | ||
==== Descripción del lenguaje ==== | ==== Descripción del lenguaje ==== | ||
Línea 110: | Línea 153: | ||
- | === Instrucciones === | + | === Instrucciones |
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: | 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 123: | Línea 166: | ||
| @noIMP | No se puede utilizar el operador IMP | | | @noIMP | No se puede utilizar el operador IMP | | ||
| @noDIMP | No se puede utilizar el operador DIMP | | | @noDIMP | No se puede utilizar el operador DIMP | | ||
+ | |||
+ | |||
+ | === 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. | ||
es/manual/items/patron/logica.txt · Última modificación: 2023/05/08 11:34 por root