Herramientas de usuario

Herramientas del sitio

Traza:
es:manual:items:patron:logica

Diferencias

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

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
es:manual:items:patron:logica [2021/05/19 10:09] – [Patrón de expresiones lógicas] rootes:manual:items:patron:logica [2023/05/08 11:34] (actual) – root
Línea 5: Línea 5:
 Evidentemente, el número de variables $n$, incrementa el número de interpretaciones, ya que la complejidad del cálculo es claramente del orden de $2^n$, pero para los casos que normalmente se plantean no hay problema incluso con 12 o más variables. Como se verá mas adelante, al describir el uso de variables numéricas, la interpretación en estos casos puede asignar valores numéricos a las variables. Evidentemente, el número de variables $n$, incrementa el número de interpretaciones, ya que la complejidad del cálculo es claramente del orden de $2^n$, pero para los casos que normalmente se plantean no hay problema incluso con 12 o más variables. Como se verá mas adelante, al describir el uso de variables numéricas, la interpretación en estos casos puede asignar valores numéricos a las variables.
  
-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.+A continuació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 === === Ejemplo 1 ===
  
-^ Enunciado | Escriba una representación lógica del siguiente enunciado: "Si aumentan los impuestos  sobre los carburantes, subirá la inflación y disminuirá el consumo". Considere lo siguiente:<html><br> +^ Enunciado | Escriba una representación lógica del siguiente enunciado: "Si aumentan los impuestos  sobre los carburantes, subirá la inflación y disminuirá el consumo". Considere lo siguiente: p: aumentan los impuestos sobre los carburantes  q: sube la inflación  r:  disminuye el consumo | 
-p: aumentan los impuestos sobre los carburantes <br> +^ Patrón.   | <typo fs:courier new>p  -> (q & r)</typo>  | 
-q: sube la inflación <br> +^ Respuestas reconocidas   | <typo fs:courier new>p  -> (r & q)</typo>  | 
-r:  disminuye el consumo +^:::   | <typo fs:courier new>(p --> r) && (p --> q)</typo>  | 
-</html> | +^ Respuestas no reconocidas   | <typo fs:courier new; fc:red>p --> r && p --> q</typo>  | La prioridad de operación del operador && es mas fuerte que la del operador -> |
-^ Patrón.   | <html><code>p  -> (q & r)</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 -> |+
  
  
Línea 23: Línea 19:
  
 ^ Enunciado | Escriba una expresión lógica equivalente a $p \to q$ sin utilizar el operador $\to$ | ^ 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>  |+^ Patrón.   | <typo fs:courier new>p  -> q @noIMP </typo>  |
 ^ Respuestas reconocidas   | $!p \lor q$  | ^ Respuestas reconocidas   | $!p \lor q$  |
-^:::   | <html><code>!(p && !q)</code></html>  | +^:::   | <typo fs:courier new>!(p && !q)</typo>  | 
-^ Respuestas no reconocidas   | <html><code><font color='red'>p --> q</font></code></html>  | No se admte el operador -> |+^ Respuestas no reconocidas   | <typo fs:courier new; fc:red>p --> q</typo>  | No se admite el operador -> |
  
  
Línea 32: Línea 28:
  
 ^ Enunciado | ¿Que condición debe cumplirse para que pueda realizarse esta oparación $1/a + 1/b$ ?| ^ 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>  |+^ Patrón.   | <nowiki>a != 0 && b != 0 </nowiki>  |
 ^ Respuestas reconocidas   | $a \ne 0 \land b \ne 0$  | ^ Respuestas reconocidas   | $a \ne 0 \land b \ne 0$  |
 ^:::   | <nowiki>(a > 0 || a < 0) && (b > 0 || b < 0)</nowiki>  | ^:::   | <nowiki>(a > 0 || a < 0) && (b > 0 || b < 0)</nowiki>  |
 ^:::   | $a == 1 \land b==1$   | ^:::   | $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:+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 numéricos 1 y 0, resolviendo la comparació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 === === 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.| +^ Patrón.   | <typo fs:courier new><nowiki>a>0 && b>0 @a<-{0,1,2}</nowiki></typo> | La expresión <typo fs:courier new><nowiki>@a<-{0,1,2}</nowiki></typo> 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. |+^ Respuestas no reconocidas   | <typo fs:courier new; fc:red><nowiki>a==1 && b==1</nowiki></typo>  | 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 === === Ejemplo 5 ===
-^ Patrón.   | <html>a&gt;0 && b&gt;a @a<-{0,1} @b<-{0,1}</html> | | +^ Patrón.   | <typo fs:courier new><nowiki>a>0 && b>a @a<-{0,1} @b<-{0,1}</nowiki></typo> | | 
-^ 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. |+^ Respuestas no reconocidas   | <typo fs:courier new; fc:red><nowiki>a>0 && b>0</nowiki></typo>  | 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 ==== ==== Descripción del lenguaje ====
  
-Las variables se escriben siempre como un solo caracter. En todo el lenguaje no se distingue nunca entre mayusculas  minúsculas. La sintaxis del para escribir tanto los patrones como la respuesta puede considerarse como una sintesis de diversos lenguajes de programación (como java o C)  y lenguajes que incluyen símbolos contenidos en las expresiones lógicas (como Unicode, LaTeX, Html), con algunas extensiones propias para intentar reconocer la mayor parte de las posibles representaciones de las expresiones lógicas+Las variables se escriben siempre como un solo carácter. En todo el lenguaje no se distingue nunca entre mayúsculas  minúsculas. La sintaxis del para escribir tanto los patrones como la respuesta puede considerarse como una síntesis de diversos lenguajes de programación (como java o C)  y lenguajes que incluyen símbolos contenidos en las expresiones lógicas (como Unicode, LaTeX, Html), con algunas extensiones propias para intentar reconocer la mayor parte de las posibles representaciones de las expresiones lógicas
  
 === Operadores lógicos === === Operadores lógicos ===
es/manual/items/patron/logica.1621418972.txt.gz · Última modificación: por root
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki