主要思想:替换(replace),用命题替换基本命题形式中的简单命题,得到更复杂的命题。 元语言(meta language). 重言式(永真式,tautology). 无论 [ ...
確定! 回上一頁