proportional calculus

[ریاضیات] حساب گزاره ها