O ProgTableau

ProgTableau

O ProgTableau é um software (programa) feito para realizar o método Tableau de acordo com a Lógica Clássica Proposicional. A linguagem da Lógica Clássica Proposicional é uma linguagem formal que tem como objetivo representar trechos de discurso de uma maneira precisa e sem ambigüidades. O ProgTableau está na sua versão 1.2.2. Código reformulado, eficiente e poderoso na aplicação de fórmulas e regras de precedências! Esse programa é freeware (software gratuito). Site oficial do ProgTableau