معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Mathematical Logic

ویژگی	مقدار
سیستم عامل	-
نام فایل	dialectic-0.3.2a4
نام	dialectic
نسخه کتابخانه	0.3.2a4
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Ali Soltani Rad
ایمیل نویسنده	soltaniradali@gmail.com
آدرس صفحه اصلی	https://github.com/virtualchamber/Tingle
آدرس اینترنتی	https://pypi.org/project/dialectic/
مجوز	-

# Dialectic Mathematical logic implementation using python. ### Install ``` pip install dialectic ``` ### Usage ```python from dialectic import Atomic # 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 implication.validate({a, b}) # Parsing a sentence list from dialectic import parse_sentences parsed_set = parse_sentences([implication, a]) # Inference from dialectic import Inference is_valid = Inference((a > b), [b]).is_valid_argument() is_tautology = Inference((a | ~a)).is_tautology() is_contradictory = Inference((a & ~a)).is_contradictory() is_contingent = Inference((a & b)).is_contingent() ```

زبان مورد نیاز

مقدار	نام
>=3.7	Python

نحوه نصب

نصب پکیج whl dialectic-0.3.2a4:

pip install dialectic-0.3.2a4.whl

نصب پکیج tar.gz dialectic-0.3.2a4:

pip install dialectic-0.3.2a4.tar.gz