摘要
逻辑斯谛中作为纯真值联结词的蕴涵和传统逻辑中表述充分条件关系的命题联结词“若,则”的语义全然不同,任一重言式都不是能据以进行不循环论证的传统推理式。
The implication of pure truth - valve connective in the logistic os different from the semantic of prepositional connective 'if then' which expresses the sufficient conditions relationship in the traditional logistic. Any tautology is not the traditional deductive formula that can be used to un- circulating proof. The othodox prepositional calculus can't erplace the traditional prepositional logistic
出处
《贵阳学院学报（自然科学版）》
2002年第3期59-62,共4页
Journal of Guiyang University：Natural Sciences
基金
贵州省教育厅立项课题
关键词
逻辑斯谛
有效式
蕴涵怪论
传统逻辑
推理式
导出式
logistic valid formula paradoxes of implication traditional logic deductive formula derivation formula
