Ayuda sobre el lenguaje de la aplicación ejecutada en el servidor

Aplicación cedida por Christian Gottschall, Vienna, para su uso en Cibernous.
Traducción al español: Andrés Adrover , Madrid y Elena Diez de la Cortina, Madrid.

- Abrir aplicación - Volver a página de lógica de Cibernous - Principal -

La aplicación de servidor acepta la notación Peano-Russell y la notación polaca. El mismo servidor reconoce qué notación está usted utilizando. Si no está familiarizado con las diferentes notaciones, debería utilizar la de Peano-Russell. Es el sitema que utiliza diariamente para las fórmulas matemáticas.

Notación Fijada

• Variables proposicionales son las letras mayúsculas de la A a la Z. Si no fueran suficientes 27 variables, se pueden utilizar estas letras en combinación con números naturales tomados arbitrariamente, por ejemplo: "p1", "Z24" o "A12".
  
  
• La negación puede ser expresada por los símbolos "~", "-", "not", encabezando la proposición de esta manera: "~P1", "-Z24" o "not A12".
  
  
• La conjunción puede expresarse con los símbolos "&", "^", "and", conectando la proposición de la siguiente manera: "~P1 & Z10", "-(~P1 & Z10) ^ -A" o "-~-A and B".
  
  
• La disyunción puede ser expresada con los símbolos "v" (la letra minúscula v ), "|", "or", quedando la proposición de la siguiente manera"~P1 v Z10", "-(~P1 & Z10) | -A" o "-~-A or B".
  
  
• El condicional puede ser expresado por uno de los siguientes símbolos: "->", "=>", conectando la proposición de la siguiente manera: "~P1 -> Z10" o "-(~P1 & Z10) => -A".
  
  
• El bicondicional es expresado por los siguientes símbolos "<->", "<=>", "iff", conectando la proposición de la siguiente manera: "~P1 <-> Z10", "-(~P1 & Z10) <=> -A" 0 "-~-A iff B".
  
  
• Los paréntesis "(" y ")", pueden ser utilizados cuando sea necesario. Ambos "(", ")" y "[", "]", son válidos, aunque cada paréntesis abierto debe ser emparejado con un paréntesis cerrado del mismo tipo.
  Ejemplos: "(P v Q) & R", "P & [Q v R]", "(P v Q) & [Q v R]".
  
  
• Puede omitir los paréntesis, en cuyo caso, el applet evaluará (de izquierda a derecha) las negaciones, conjunciones, disyunciones, condicionales y bicondicionales. Si no está seguro de lo que ésto significa o quiere controlar todo el proceso, debería intentar usar paréntesis.
  
  
• Se debe añadir un espacio (con el cursor) antes y después de cada conector. Si no se deja dicho espacio, le es muy difícil al servidor anilizar los datos introducidos. En este caso puede que algunas veces se entiendan erróneamente los datos introducidos, por ejemplo, cuando usted utiliza la letra minúscula "v" para expresar una disyunción.

Notación polaca

• Variables proposicionales son las letras minúsculas de la "a" a la "z". Si no fueran suficientes 27 variables, se pueden utilizar estas letras en combinación con números naturales tomados arbitrariamente, por ejemplo: "p1", "z24" o "a12".
  
  
• Una negación es expresada por la letra mayúscula "N" seguida por la proposición que ha de ser negada. Ejemplos: "Np1", "Nz24", "Na12".
  
  
• Una conjunción es expresada por la letra mayúscula "K" seguida por el primer y segundo término de la conjunción (en este orden). Ejemplos: "Kpq", "KKpqr", "KpKqr".
  
  
• Una disyunción es expresada por la letra mayúscula "A" seguida por el primer y el segundo término de la disyunción respectivamente. Ejemplos: "Apq", "AKpqr", "ApKqr".
  
  
• Un condicional es expresado por la letra mayúscula "C" seguida por el antecedente y el consecuente (en este orden). Ejemplos: "Cpq", "CCpCqrCCpqCpr".
  
  
• Un bicondicional se expresa por la letra mayúscula "E" seguida por la proposición cuya equivalencia ha de ser expresada. Ejemplos: "Epq", "ECpqCNqNp"