Metadata-Version: 2.4
Name: propysition
Version: 0.0.1
Summary: A small propositional logic package that can form arguments and generate truth tables. Aimed to be used a tool to speed up propositional logic studying for students.
Author-email: Luuk Unger <luuk.c.unger@gmail.com>
License-Expression: MIT
Project-URL: Homepage, https://github.com/LCUnger/Propysition
Project-URL: Issues, https://github.com/LCUnger/Propysition/issues
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: OS Independent
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: numpy
Requires-Dist: pandas
Dynamic: license-file

# Propysition Logic Package
propysition is a Python package for propositional logic. It allows you to define propositional variables, build complex logical expressions, form arguments, and generate truth tables. This package is designed to help students and enthusiasts study and analyze propositional logic efficiently.

## Features
- Define propositional variables with optional descriptions
- Build logical expressions using AND, OR, NOT, XOR, and IMPLIES
- Form arguments with premises and conclusions
- Generate and display truth tables
- Check argument validity, tautologies, and contradictions

## Installation
- Install from PyPI:
```
pip install propysition
```

## Usage Example
```python
from propysition import Variable, And, Or, Not, Xor, Implies, Argument

a = Variable("A", "It is raining")
b = Variable("B", "I have an umbrella")
expr = And(a, Not(b))
print(expr)  # (A ∧ (¬B))

assignment = {a: True, b: False}
print(expr.evaluate(assignment))  # True

premise1 = a | b
premise2 = a & ~b
conclusion = And(a, Not(b))
argument = Argument([premise1, premise2], conclusion)
print(argument)
argument.truth_table()
```


## Documentation
See the docstrings in the code for details on each class and method.

## License
MIT License
