“或非、与非都不能作为命题演算公理系统的初始符号。”这一说法是否正确？
不正确
举一反三
内容
- 0
“L 系统是具有可靠性、完全性、公理独立性的唯一可能的命题演算系统。”这一说法是否正确？ A: 正确 B: 不正确
- 1
8.“命题演算的公理系统L所生成的定理，与用真值表法所判定的重言式完全一致。”这一说法是否正确？
- 2
以下说法是否正确：“按照形成规则，命题演算公理系统L中每使用一次 ¬ 或 → ，都要相应使用括号”：
- 3
命题演算的公理系统L与命题演算的自然演绎系统C相比：
- 4
“L 系统的初始符号不包括∨和∧，但可以通过定义引入。”这一说法是否正确？