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:
- Truth Table
The Truth Table is used to determine the logical values of composite propositions, from the allocation of all possible logical values in atomic propositions.
- Resolution
Enter any numerical sentence and get solving tips.
- Show implicit parentheses
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 P→Q∧R, 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: P→(Q∧R).
- Highlight pairs of delimiters
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.
- View step by step resolution
See each of the steps that must be taken to resolve the sentence.
- Get the binary tree of 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.
- Analyze the sentence
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:
- Syntax
Read a text about the syntax of logical sentences, containing information components of a sentence and how it should be written.
- Semantics
Check out a resume about semantic interpretation of logical sentences.
- Connectives
Get information about each connective along with examples.
- Operator precedence
See a table of easy understanding that display the operator precedence.
- Higher priority delimiters
Read a brief description about each higher priority delimiter and how to use them.
----------------------------------
Disclaimer
Each informed sentence is automatically calculated, wrong results may be returned.
Logical Sentences is an Android Education app developed by Andrew Ruiz and published on the Google play store. It has gained around 10000 installs so far, with an average rating of 4.0 out of 5 in the play store.
Logical Sentences requires Android with an OS version of 4.1 and up. In addition, the app has a content rating of Everyone, from which you can decide if it is suitable to install for family, kids, or adult users. Logical Sentences is an Android app and cannot be installed on Windows PC or MAC directly.
Android Emulator is a software application that enables you to run Android apps and games on a PC by emulating Android OS. There are many free Android emulators available on the internet. However, emulators consume many system resources to emulate an OS and run apps on it. So it is advised that you check the minimum and required system requirements of an Android emulator before you download and install it on your PC.
Below you will find how to install and run Logical Sentences on PC:
If you follow the above steps correctly, you should have the Logical Sentences ready to run on your Windows PC or MAC. In addition, you can check the minimum system requirements of the emulator on the official website before installing it. This way, you can avoid any system-related technical issues.
| Logical Sentences APK 1.1.1 | 3.92 MB | 1.1.1 |
RELATED APPS
