Logical Sentences

Having trouble in Propositional Logic? Especially in understanding and solving logical sentences? Now you have at your disposal an app to help you!

The Logical Sentences consists of a logical calculator capable to generate the truth table, get solving tips, generate the binary tree and analyze any sentence. The app has several visual features that facilitate understanding and visualizing resolution priorities in a sentence.

The following is a detailed description about the app's features:

The Truth Table is used to determine the logical values of composite propositions, from the allocation of all possible logical values in atomic propositions.

Enter any numerical sentence and get solving tips.

Implicit parentheses are those who were not informed when entering the sentence, but it is as if they were present to justify the natural connective precedence.

For example: in the sentence

, as the conjuction connective "∧" has higher priority than the implication connective "→", we can say that this sentence has a pair of implicit parentheses. If we display them, the sentence would look like this:

.

It is possible to highlight each pair of delimiters in a different color, or even the entire content inside them. The colors are directly related to the priorities: stronger colors indicate higher priority. The colors used are (from strongest to weakest): red, orange, yellow, light yellow.

See each of the steps that must be taken to resolve the sentence.

The binary tree is a data structure. In this case is used to graphically represent the sentence, identifying unambiguously the order in which the sub-sentences must be solved. Facilitating the understanding of connective precedence.

Learn about each of the sentence’s components (numbers, connectives or other symbols).

You will also have at your disposal a short content divided into the following topics:

Read a text about the syntax of logical sentences, containing information components of a sentence and how it should be written.

Check out a resume about semantic interpretation of logical sentences.

Get information about each connective along with examples.

See a table of easy understanding that display the operator precedence.

Read a brief description about each higher priority delimiter and how to use them.

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

Each informed sentence is automatically calculated, wrong results may be returned.