## 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:

- 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*.

- starting with some
- Methods and strategies of
*mathematical proving*.

| | | | 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.Solving Strategies and Sample Solutions to Problems in Logic

(none)

(none)

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.