Metadata-Version: 2.1
Name: dialectic
Version: 0.3.0a1
Summary: Mathematical Logic
Home-page: https://github.com/virtualchamber/Tingle
Author: Ali Soltani Rad
Author-email: soltaniradali@gmail.com
License: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Description-Content-Type: text/markdown

# Dialectic

Mathematical logic implementation using python.

### Installation

```
pip install dialectic
```

### Usage

```python
# Import Atomic class
from dialectic import Atomic

# Build Atomic objects
a = Atomic('a')
b = Atomic('b')

# Invert
invert = ~a

# Conjunction
conjunction = (a & b)

# Disjunction
disjunction = (a | b)

# Implication
implication = (a > b)

# Equality (iff)
equality = (a == b)

# Validation with given sentence set
disjunction.validate({a})

# Parsing a sentence list
from dialectic import parse_sentences
parsed_set = parse_sentences([implication, a])
```

