Branch: Logic
Logic is a discipline of mathematics which formalizes the language and methods of mathematical reasoning and examining the correctness of arguments. In this sense, logic is the metalanguage of mathematics and we start BookofProofs with this branch. Usually, in logic arguments can be either true or false. But there are also other types of logic, in which more than these two values are allowed.
Theoretical minimum (in a nutshell)
In order to start the mathematical foundations of logic, the following prerequisites are required:
Concepts you will learn in this part of BookofProofs
 Basic notions to build formal systems, including alphabet, propositions, syntax and semantics.
 Different types of formal systems,
 starting with some propositional logic, which follows the rules of Boolean algebra,
 continuing with first order predicate logic, involving free and bound variables, functions and quantifiers
 and giving an outlook to higher order predicate logics.
 Methods and strategies of mathematical proving.
Table of Contents
 Part: Historical Development of Logic
 Part: Basic Concepts of Logic
 Part: Proof Theory
 Part: Propositional Logic
 Part: PL1  First Order Predicate Logic
 Part: HigherOrder Logics
 Part: GĂ¶del's Incompleteness Theorems
 Part: Methods of Mathematical Proving
 Part: Solving Strategies and Sample Solutions to Problems in Logic
Mentioned in:
Branches: 1 2
Motivations: 3
Parts: 4
Thank you to the contributors under CC BYSA 4.0!
 Github:
