Provocas

Este proyecto proporciona una aplicación gratuita y multiplataforma para generar árboles a prueba
Descargar ahora

Provocas Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • creativeandcritical.net
  • Precio:
  • FREE
  • Nombre del editor:
  • Laird Shaw

Provocas Etiquetas


Provocas Descripción

ProvotoTools es una aplicación gráfica gratuita escrita en GTK + y QT, y diseñada para ser utilizada para la generación automática y gráfica de manifestaciones semánticas, también conocidas como árboles de prueba, tablas analíticas o árboles semánticos. La solicitud se puede utilizar para probar si un argumento o prueba es deductivamente válida, o si una fórmula es una verdad lógica. ProDosoTools es capaz de validar un proposicional, un predicado y un argumento lógico modal o una verdad lógica utilizando el método de árbol de prueba. ProofOols es una aplicación independiente de la plataforma que admite los sistemas operativos Linux, Microsoft Windows y Mac OS X. Los binarios para GTK y QT se proporcionan en la sección de descarga de arriba, que soportan arquitecturas de 32 bits y de 64 bits.


Provocas Software relacionado

Sobre nosotros