填空题 在现代命题逻辑中，一切符合规则的正确推理形式都表现为 1，并且视之为可以用数理符号刻画的逻辑规则--命题逻辑规律。