Mathematical logic - new chapter of Pocket Mathematics

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: