# Logic

From bitrary

## Contents

# Preface

**As of 2017_01 I do not really know, what the mathematics field called "logic" is about**, but it seems to me that the general idea seems to be that there are poles, like the ones that are placed into a sea for building boat docks at shallow waters, and then there are all sorts of weird pipes in different sizes and shapes and turning angles, some can be connected together, others do not have a match, and the mathematical field of "logic" tries to find out, how to build tunnels for ants from one of the poles to another. Classically the questions asked are:

- Given a set of pipes and a set of poles, is it possible to build a bridge for ants so that they can walk to one other specific pole without walking into an unconnected branch of the tunnel that leads them to the sea?
*(The "satisfiability" test.)*Possible answers: yes, failed_to_find_out. - Given the set of pipes and a set of poles, is it so that one specific pole from the set of poles can never be connected with the rest of the poles by using only the given set of pipes? Possible answers: yes, failed_to_find_out.

# Chapters of this wiki

# References

## The Estonian Classics

- "Loogika arvutiteaduses (sügis 2014)" by Tarmo Uustalu
- "Rakendusliku loogika süvakursus" by Tanel Tammet ja selle kursuse mingi teine versioon
- "Matemaatilise loogika elemendid" by Reimo Palm

## World Wide Web

- A Primer for Logic and Proof, Holly P. Hirst and Je�ry L. Hirst, 2011-2012 Edition
- Logic & Proofs, oli.cmu.edu
- Mathematical Logic by Stephen G.Simpson
- MATH20302 Propositional Logic by Mike Prest
- Logic_by_Maria_Jo_̃ao_Frade
- File:The Logic in Computer Science Column by Yuri Gurevich a SAT Solver Primer by David G Mitchell.pdf
- softoption.us
- Proof and Disproof in Formal Logic by Richard Bornat
*(archival copy)*

### Papers and Technical Reports

#### Journals

### Local Copies

- File:Automation of Mathematical Induction as part of the History of Logic by J Strother Moore and ClausPeter Wirth.pdf
- File:Matching Logic by Grigore Rosu.pdf

### Noteworthy Projects and Sites

- Qeditas and the the QED Manifesto
*(archival copy)*. The 2017_10_xx alpha release of the Qeditas: File:Qeditas-0.0.1.tar.gz. The Qeditas documentation: File:2016 10 03 QeditasTechDoc.pdf, File:Qeditas A Formal Library as a Bitcoin SpinOff by Bill White.pdf. - satlive.org
- fmv.jku.at
- DESCRIPTION LOGICS and a related Scone knowledge base