https://github.com/micalevisk/truthtablegenerator-plus
Gerar tabelas verdade de fórmulas da lógica sentencial
https://github.com/micalevisk/truthtablegenerator-plus
2015 javascript-applications
Last synced: 3 months ago
JSON representation
Gerar tabelas verdade de fórmulas da lógica sentencial
- Host: GitHub
- URL: https://github.com/micalevisk/truthtablegenerator-plus
- Owner: micalevisk
- Created: 2016-01-09T17:38:26.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2022-04-15T17:30:57.000Z (about 3 years ago)
- Last Synced: 2025-03-19T00:05:47.583Z (3 months ago)
- Topics: 2015, javascript-applications
- Language: JavaScript
- Homepage: http://micalevisk.github.io/TruthTableGenerator-plus
- Size: 929 KB
- Stars: 11
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Gerador de Tabela Verdade +
Copyright (c) 2015 [Michael Rieppel](https://github.com/mrieppel/TruthTableGenerator "Github page")
**Autor do código html e javascript** _(formatação da página e desenvolvedor do programa que gera a tabela verdade)_
----
**OBS:** Projeto adotado por questões didáticas.
## Funções / Especificações
- Gerar a tabela verdade de qualquer fórmula bem formada da lógica proposicional.
- Identificar linhas críticas de um argumento.
- Verificar validade de um argumento.
- Página totalmente traduzida para o Português (Brasil).
- Tabela verdade "traduzida" e valores lógicos identificados de forma didática.
- Opção de mostrar numeração das linhas da tabela.
- As fbfs que representam um argumento são identificadas pelo programa.
- Ao gerar a tabela de um argumento, as opções de verificar validade do argumento e identificar as linhas críticas são acionadas.
**Insira várias fórmulas separando-as por vírgulas.**
Selecione "Tabela Principal" para mostrar apenas a coluna do conectivo principal e "Tabela Completa" para mostrar todas as colunas.
Selecione "Tabela Texto" para produzir uma tabela de texto simples, e "Tabela LaTeX" para gerar um código da tabela formatada para LaTeX.
Para fórmulas que formam um argumento, i.e., premissas separadas por vírgulas e a conclusão no final, marque a opção *Linhas Críticas* para gerar a tabela com a sinalização das linhas críticas. Caso queira verificar a verdade lógica do argumento, marque a opção *Validade do Argumento*.
>The output characters used for the various connectives can be easily changed by modifying the `htmlchar()`, `txtchar()`, and `latexchar()`
functions at the beginning of `truthtable.js`.
__Versão ao vivo desse programa: http://micalevisk.github.io/TruthTableGenerator-plus__