Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
production rule based on implications
基于蕴涵式的产生式规则
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。
Study on the Alpha-Subsets and Inequalities of Lattice Implication Algebras;
格蕴涵代数中a-化子和不等式的研究
Underlying Cognitive Factors in Krashen s Monitor Model;
试论Krashen监控模式蕴涵的认知因素
Isomorphisms of t-norms and Implication Operators and Theory of Generalized Tautologies;
t-模与蕴涵算子的同构及广义重言式理论
Narrating pattern of domestic TV dramas and its cultural connotations;
国产电视剧的叙事模式以及蕴藏的文化内涵
The Syntactic and Semantic Analysis of the VRC V-lei (累) and its Theoretic Implication;
动结式“V累”的句法语义分析及其理论蕴涵
Different Modes of Thinking Reflected in Sentence Patterns of English and Chinese and English Teaching;
英汉句型结构蕴涵的思维模式差异与英语教学
On the Basic Law Status of Implication Law in Formal Logic;
论蕴涵规律在形式逻辑中的基本规律地位
Implicative filters and positive implicative filters of MTL algebras;
MTL代数的蕴涵滤子与正蕴涵滤子
On Zhuang Minolity Peoples "Building A Bridge to Pray for Flowers" Ceremony in the Fertility Belief and Its Cultural Consciouness;
论壮族生育信仰中的“架桥求花”仪式及蕴涵的文化意识
Establishing Student-centered Self-Access in College English Teaching;
蕴涵于大学英语教学中的学生自主学习方式的构建
Cultural Implication and Historical Destination of the Stylization of Traditional Opera;
戏曲程式的文化蕴涵与历史命运——兼论现代戏曲符号体系的建构
Implication is a more generic notion.
蕴涵是更为一般的概念。
The Property of Lukasiewicz Implication Algebra;
Lukasiewicz蕴涵代数及其性质
An Analysis of the Proposition of Material Implication and the Relevant Implication in Natural Language;
实质蕴涵与自然语言中的相关蕴涵命题分析
Strongly Implicative a-ideals and Fuzzy Strongly a-ideals of BCI-Algebras;
BCI-代数的广义强蕴涵a-理想与广义Fuzzy强蕴涵a-理想
Similarities and Differences of English and Chinese Names Features and Their Inner Cultural Details;
英汉姓名异同及其所蕴涵的文化底蕴