Pocket Mathematics for Android just received an update with new chapter - mathematical logic.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science.
New chapter - mathematical logic contains the following sections:
- Logical sentence
- Negation
- Conjunction
- Alternation
- Implication
- Equivalence
- Exclusive disjunction
- Predicate
- Quantifiers
- Theorems and their properties
- Square of opposition
Pocket Mathematics for Android is available in the Google Play Store:
