سامانه‌ای است صوری که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد.
حساب گزاره‌ها
statement calculus
منطق صوری
formal logic