Metadata-Version: 2.1
Name: dialectic
Version: 0.3.0a4
Summary: Mathematical Logic
Home-page: https://github.com/virtualchamber/Tingle
Author: Ali Soltani Rad
Author-email: soltaniradali@gmail.com
License: UNKNOWN
Description: # 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])
        ```
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
