10.3969/j.issn.1672-7835.2004.02.004
关系命题的语形和语义--一个逻辑分析的实例
当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题.可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效武、可满足式给出严格的证明,从而提供一个逻辑分析实例.
关系命题、谓词公式、全称量词、存在量词、解释
7
B812(逻辑学(论理学))
2004-06-11(万方平台首次上网日期,不代表论文的发表时间)
共4页
19-22