方括号

合式公式

合式公式书上的意思,大概是只有(p→(r→q))才是合式公式,而p→(r→q)不是。...

提供最优质的资源集合

立即查看 了解详情