Ayuda sobre el lenguaje del programa cliente

Client Language Help

Abre el applet en una ventana...

Esta ayuda no explica el applet o las funciones que éste realiza. Si necesitas ayuda sobre este tema puedes leer la ayuda con el applet. El único propósito de esta texto es explicar el lenguaje formal entendido por el programa cliente (applet).

• Variables proposicionales son las letras mayúsculas de la "A" a la "Z", opcionalmente seguidas por letras minúsculas y dígitos. Ejemplo: "A", "B12", "Proposicion42"
  
  
• La negación puede ser expresada por los símbolos "~", "not", encabezando la proposición de esta manera: "~A" o "not Proposicion42".
  
  
• La conjunción puede expresarse con los símbolos "&", "^", "and", conectando la proposición de la siguiente manera: "~P1 & Z10" or "~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) | ~Prop3" 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 "not (~P1 & Z10) => Prop4".
  
  
• El bicondicional es expresado por los siguientes símbolos "<->", "<=>", "iff", conectando la proposición de la siguiente manera: "~P1 <-> Z10", "(~P1 & Z10) <=> A" o "~A iff B".
  
  
• Los paréntesis pueden ser utilizados cuando sea necesario. Ambos "(", ")" y "[", "]", son válidos, aunque cada paréntesis abierto debe estar 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.