generated at
2/17/2025, 5:15:47 PM
記号論理学
symbolic logic
命題論理
述語論理