Sentenças Lógicas

Está com dificuldades em Lógica Proposicional? Principalmente no entendimento e resolução de sentenças lógicas? Agora você tem à sua disposição um aplicativo para te ajudar!

O Sentenças Lógicas consiste em um calculadora lógica capaz de gerar a tabela verdade, obter dicas de resolução, gerar a árvore binária e analisar qualquer sentença lógica. O aplicativo dispõe de vários recursos visuais que facilitam o entendimento e a visualização das prioridades de resolução em uma sentença.

A seguir, uma descrição detalhada das funcionalidades do aplicativo:

A Tabela Verdade é usada para determinar os valores lógicos das proposições compostas, a partir da atribuição de todos os possíveis valores lógicos das proposições atômicas.

Informe uma sentença numérica qualquer e obtenha sua dicas para a sua resolução.

Parênteses ímplicitos são aqueles que não foram informados ao digitar a sentença, mas é como se estivessem presentes para justificar a precedência natural dos conectivos.

Por exemplo, na sentença

, como o conectivo da conjunção “∧” possui maior prioridade que o operador da implicação “→”, podemos dizer que nesta sentença há um par de parênteses ímplicitos. Se formos exibí-los, a sentença ficaria desta forma:

.

É possível destacar cada par de delimitadores com uma cor diferente, ou até mesmo o conteúdo inteiro dentro destes. As cores estão diretamente relacionadas com as prioridades: cores mais fortes indicam maior prioridade. As cores utilizadas são (da mais forte para a mais fraca): vermelho, laranja, amarelo, amarelo claro.

Veja cada uma das etapas que devem ser realizadas para resolver a sentença.

A árvore binária é uma estrutura de dados que, neste caso será utilizada para representar graficamente a sentença, identificando, sem ambiguidade, a ordem em que as sub-sentenças devem ser resolvidas. Facilitando no entendimento da precedência dos conectivos.

Obtenha informações sobre cada um dos componentes da sentença, sejam estas proposições atômicas, conectivos ou outros símbolos.

Você também terá à sua disposição um conteúdo resumido dividido nos seguintes tópicos:

Veja um texto sobre a sintaxe das sentenças lógicas, contendo informações os componentes de uma sentença e a forma como esta deve ser escrita.

Confira um resumo sobre interpretações semânticas das sentenças lógicas.

Obtenha informações a respeito de cada um dos conectivos acompanhados de exemplos.

Veja uma tabela de fácil compreensão que exibe a precedência dos conectivos.

Leia uma breve descrição de cada um dos delimitadores de maior prioridade e como utilizá-los.

----------------------------------

Cada sentença lógica informada é calculada automaticamente, resultados errados podem ser retornados.