Types of Mathematical Logic
The different types of mathematical logic include:
- Set Theory
- Model Theory
- Proof Theory
- Recursion Theory
Set Theory: Set theory is a part of mathematical logic that deals with the sets which means collection of elements. The set theory is the theory consisting of sets, sets formulas and many more.
Model Theory: Model theory is a part of mathematical logic that deals with the models of different theories of mathematics. The model theory provides different models describing the complex theories making it easy to understand.
Proof Theory: Proof theory is a part of mathematical logic that deals with the proofs. The mathematical proofs provide easy analysis of different mathematical methods.
Recursion Theory: Recursion theory is a part of mathematical logic used to construct computable functions, Turing machines and recursively enumerable sets.
Introduction to Mathematical Logic
Mathematical logic deals with the logic in mathematics. Mathematical logic operators and laws define various statements in their mathematical form. In this article, we will explore mathematical logic along with the mathematical logic operators and types of mathematical logic. We will also solve some examples related to mathematical logic.
Table of Content
- What is Mathematical Logic?
- Mathematical Logic Operators
- Mathematical Logic Formulas
- Types of Mathematical Logic
- Mathematical Logic Truth Table
- Mathematical Logic Solved Examples