25Logic

Logic is a discipline of mathematics analyzing the methods of reasoning and examining the correctness of arguments. Arguments consist of either true or false statements. Depending on the way these statements are put together, we can decide if the reasoning will yield in a true conclusion.

Theoretical minimum (in a nutshell)

In order to start the mathematical foundations of logic, the following prerequisites are required:

• You should be acquainted with set theory, especially with their basic properties.

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.

| | | | Contributors: bookofproofs

78391.Historical Development of Logic

262.Basic Concepts of Logic

1133.Proof Theory

664.Propositional Logic

1865.PL1 - First Order Predicate Logic

2076.Higher-Order Logics

2707.Gödel's Incompleteness Theorems