sentential caculus

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