Mathematical Logic
Project description
Dialectic
Mathematical logic implementation using python.
Installation
pip install dialectic
Usage
# 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])
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
dialectic-0.3.0a7.tar.gz
(2.5 kB
view hashes)
Built Distribution
Close
Hashes for dialectic-0.3.0a7-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ef82ea3258ac2105348068563dc54bd80db058d28c90da81f62297266bd3cb5 |
|
MD5 | 1ad1f709c5a7eb700619d9de1a6acbfc |
|
BLAKE2b-256 | 0660c41d6264e1637e7ed3913ff947663f67462dca6c1f5091798f9934ec7e40 |