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

- starting with some
- 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

- Choose an action for
- Edit or Add
- Move Up
- Move Down
- Discussion
- Notation
- Versions
- Axiomatic Method

(none)

(none)

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.