حساب گزاره‌ها
scope note: سامانه‌ای است صوری که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد.
broader: منطق صوری
preferred label: statement calculus @en
type: Concept

منطق صوری
preferred label: formal logic @en
type: Concept
narrower: حساب گزاره‌ها