关键词: 二值命题逻辑, 真度, 信息限制, Γ限制蕴涵度, Γ限制蕴涵度量, 近似推理

Abstract: Based on the deducing thought from the formula A to B under a certain info restriction and the truth degree is also considered，the implication degree of the formula under the control of the finite-info restriction is defined in two-valued propositional logic system.And hence，the definition of the implication measurement of the info restriction is obtained.Through the expressions of the implication measurement，a series of inequalities can be gotten which are relative to the conclusion set in finite theory.Meanwhile the approximate reasoning problems is discussed which resulted from the info-restricted implication measurement in two-valued propositional logic.

Key words: two-valued propositional logic, truth degree, info restriction, Г-restricted implication degree, Г-restricted implication measurement, approximate reasoning