哲学研究
哲學研究
철학연구
Philosophical Researches
1978年
5期
43~48
,共null页
真假性 可满足性 永真性 谓词演算 性问题 特征数 最简 自然数 可数 谓词变元
真假性 可滿足性 永真性 謂詞縯算 性問題 特徵數 最簡 自然數 可數 謂詞變元
진가성 가만족성 영진성 위사연산 성문제 특정수 최간 자연수 가수 위사변원
<正> 我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。不可满足的公式亦叫做永假公式。所谓永真假性问题是:
<正> 我們假定讀者已經知道一箇狹義謂詞縯算公式α(其中可齣現“等號”,下同)的永真性和可滿足性的定義及其一些最簡單的性質。不可滿足的公式亦叫做永假公式。所謂永真假性問題是:
<정> 아문가정독자이경지도일개협의위사연산공식α(기중가출현“등호”,하동)적영진성화가만족성적정의급기일사최간단적성질。불가만족적공식역규주영가공식。소위영진가성문제시: