An open API service indexing awesome lists of open source software.

https://github.com/capybara003/therefore


https://github.com/capybara003/therefore

Last synced: 8 months ago
JSON representation

Awesome Lists containing this project

README

          

## Deductive Reasoning Tool

![Therefore](https://raw.githubusercontent.com/silogizma/therefore/master/docs/silogizma.gif)

### Syllogism

In logic, an argument that applies deductive reasoning to arrive conclusion
by on two (major, minor) propositions.

In old-french silogisme, greek συλλογισμός, latin syllogismos.

#### Example:

All man are mortal
Socrates is a man
∴ Socrates is mortal

See the following resources:

-
-

A running instance is available on http://silogizma.org

### Will Be Explained

- How to proof by a deduction
- Deploying on a domain
- Colored subject and predicates