(Aplicación de Christian Gottschall, Vienna)

Traducción al español por Andrés Adrover.

Abre la aplicación en esta ventana - Volver a página de lógica de Cibernous - Principal -

Abrir el applet en esta ventana...

Esta ayuda no explica el lenguaje intrínseco del applet. Si le hace falta conocerlo acuda a la Ayuda con el lenguaje del applet. El único proposito de este texto es explicar las funcciones que este applet ofrece

El applet consta de tres áreas:

• El área de entrada de datos en la parte superior del applet es donde se introducen las proposiciones. Está identificada con la palabra Proposición. Apretando el botón izquierdo del ratón en este área aparecerá un cursor parpadeante. Introduzca una proposición en el lenguaje formal o pulse sobre Aceptar o pulse la tecla Intro cuando haya acabado. Si cometió algún error al introducir la proposición, se pueden restaurar los antiguos contenidos pulsando Rechazar. Una pequeña parte del área de entrada es también utilizada para elegir la notación proposicional que entiende el applet. Peano-Russel es la forma más extendida.
  
  
• El área blanco y grande en medio del applet es el área de exibición. Aquí se muestran los resultados del calculo lógico.
  
  
• La parte inferior del applet consiste de muchos botones que se pueden cliquear. Estos botones informan al applet de la operación a realizar. En este momento existen los siguentes botones:
  
  
  • Tabla semántica: La estructura semántica de la proposición se muestra en el área central del applet. Esta es la opción seleccionada por defecto.
  • Alfa gráfico: La proposición se muestra como un gráfico Alfa al estilo Pierce. Esta opción sólo está disponible si el sistema lógico seleccionado accepta las necesarias opciones sintácticas.
  • Frege: muestra la notación de la proposición según el método expuesto por G. Frege en su libro "Begriffsschrift".
  • Tabla de verdad: muestra la tabla de verdad obtenida al evaluar la proposición
  • DNF: muestra la forma normal disyunctiva (DNF) de la proposición introducida
  • paso hacia DNF
  • DNF animado: Construye el DNF lentamente mostrando todos los pasos que hay que realizar
  • CNF: muestra la forma normal conjuntiva (CNF) de la proposición introducida
  • paso hacia CNF
  • CNF animado: Lentamente construye el CNF mostrando cada uno de los pasos de la operación.
  • eliminar condicionales: construye una proposición equivalente que no contenga ningún condicional
  • negaciónes atómica: construye una proposición equivalente donde únicamente las negaciones se apliquen a las variables proposicionales individuales.
  • Optimizar: Optimiza más o menos chapuzeramente la proposición.
  • Definida por el usuario: Abre una ventana donde el usuario pued asignar valores de verdad o falsedad a todas las variables proposicionales de la proposición. Después de cerrar esta ventana, al usuario se le muestra la evaluación de la proposición entera y de todas sus subexpresiones.
  • Contraejemplo: el applet muestra un contraejemplo de la proposición. En otras palabras, una evaluación que falsifica la proposición.
  • Satisfacer: El applet muestra una evaluación para la cual se cumpla la proposición.
  • primera evaluación: muestra la primera evaluación
  • mostrar siguente evaluación: muestra la siguente evaluación
  • evaluación animada: Lentamente y mostrando todos los pasos muestra la evaluación de la proposiciíon y de sus sub expresiones iterando por la asignación de todos los valores de verdad a las diferentes variables proposicionales
  • Reiniciar: Reinicia la última evaluación mostrada