Welcome guest
You're not logged in.
308 users online, thereof 0 logged in


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

| | | | created: 2014-02-01 18:41:34 | modified: 2018-01-05 13:53:27 | by: bookofproofs

1.Historical Development of Logic

2.Basic Concepts of Logic

3.Proof Theory

4.Propositional Logic

5.PL1 - First Order Predicate Logic

6.Higher-Order Logics

7.Gödel's Incompleteness Theorems

8.Methods of Mathematical Proving

9.Solving Strategies and Sample Solutions to Problems in Logic

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)