早教吧 育儿知识 作业答案 考试题库 百科 知识分享

pV→Q为什么不是命题公式

题目详情
pV→Q为什么不是命题公式
▼优质解答
答案和解析
命题公式有一定的形成规则,经典逻辑中各种各样的自然推理系统和公理系统的形成规则规定,单独一个命题变项p是公式,如果p是公式,那么¬p是公式,如果p,q是公式,那么p→q是公式.除此之外的符号串都不是公式.题中的符号串不是按形成规则生成的,因此不是公式.