Introduza uma expressão de lógica proposicional para a descodificar
Abaixo estão alguns exemplos de como utilizar cada operador para compor uma Proposicional Equação lógica. Clique num operador abaixo para inserir um exemplo.
Esta calculadora requer algum conhecimento de Cálculo Proposicional para ser usado. Se não está familiarizado com o Cálculo Proposicional, fizemos um introdução simples ao mesmo. É apenas uma introdução ao assunto então se for necessário mais conhecimento este pode ser encontrado noutro lugar.
Aqui fica o link: Introduction to Propositional Calculus
Esta é uma calculadora de cálculo proposicional, também conhecida como calculadora lógica. calculadora feita para o curso Computabilidade e Lógica em Aarhus Universidade, mas não está associada a esta. Pode decodificar e visualizar expressões lógicas proposicionais. Suporta a negação, a implicação e, ou, e equivalência. Ele verificará se a expressão é satisfatória, válido e dar alternativas. Irá também gerar uma tabela verdade e uma árvore de expressão. Pretende ser uma ferramenta educativa para ajudar os alunos compreender a lógica proposicional.
Se encontrar erros ou tiver algum comentário, contacte-nos em:
[email protected]
As consultas são preferencialmente feitas em inglês.
Se quiser apoiar o desenvolvimento desta calculadora, pode fazê-lo neste link: buymeacoffee.com/infobits
Este site está disponível em vários idiomas.
Utilizamos armazenamento local para armazenar o seu histórico. Se quiser limpar este dados utilize o botão abaixo para o fazer.