Prueba

Una interfaz gráfica rica solía interactuar con Aprows
Descargar ahora

Prueba Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • AProS Project
  • Sistemas operativos:
  • Windows All
  • Tamaño del archivo:
  • 4.5 MB

Prueba Etiquetas


Prueba Descripción

APROS utiliza el método de intercalación para buscar pruebas normales de deducción natural en lógica clásica y predicada. El método se ha adaptado para buscar también en la lógica intuitional y mínima, en partes elementales de la teoría establecida y en metamatemáticos formalizados. Gentzen propuso la deducción natural de los cálculos como herramientas lógicas que capturan, bastante directamente, cómo los humanos razonan a través de una prueba. Permiten, lo más distintivo, razonándose con suposiciones e introducción, así como reglas de eliminación para los conectivos lógicos. El método de intercalación explota sistemáticamente la idea subyacente de que las reglas de eliminación permiten la descomposición de fórmulas complejas y que las reglas de introducción permiten la creación de complejas. La característica más distintiva del procedimiento de búsqueda implementado en APROS es que la construcción de pruebas se puede separar estratégicamente en tres módulos distintos: la extracción o el uso hacia adelante dirigido por objetivos de las reglas de eliminación, la inversión o el uso atrasado de las reglas de introducción, y finalmente, el uso de Argumentación indirecta. En el PRUEBA, uno puede ver tanto la prueba resultante como a cada paso en la búsqueda en varios formatos. Herramienta de búsqueda de prueba automática para la lógica de primer orden clásico e intuitional. Utiliza un motor de búsqueda a prueba de Aprows subyacente. ¡Obtenga pruebas y déjalo intentar ver de qué se trata!


Prueba Software relacionado

Sobre nosotros