sentencial calculus

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