摘要
本文为参考文献[9]的续篇,首先让我们把清晰化算符分别作为MP°的定义符号引入它们的名称依次为“模糊清晰词”、“常规清晰词”、“对立清晰词”。并且依次读为“模糊加圈”、“常规加圈”、“对立加圈”。现依次定义如下: 我们将在本文中继续生成MP°的形成定理,并要给出MP°的一条重要定理(见本文定理13)。定理13 MP°: 本定理13(MP°)表明任一合式公式A-经清晰化算符之一作用后,再也不能取中值～。因而当我们无需处理模糊现象时,即可对ML使用MP°的清晰化算符予以清晰化,以使任一被清晰化了合式公式非真即假,从而中介逻辑ML被约化为经典的二值逻辑CL,ML所贯彻的中介原则转化为CL所贯彻的无中介原则。
This paper is the continuation of [9]. First we introduce the distinctization operative symbols separately as the defined symbols of MP. These symbols are in turn called “fuzzy distinct symbol”,“normal distinct symbol”and“oppo-site distinct symbol”, and read as“fuzzy added coil”,“normal added coil”. and“opposite added coil”, respectively. Their def-initions are: Definition In this paper, we shall continue to constitute the formal theorems and the important theorem(see Theorem 13 in this paper)of MP. Theorem 13 MP: Theorem 13(MP)shows that once any. well-formed formula A is acted by distinctization operative symbols it no longer has medium value～. Hence when we do not deal with the fuzzy phenomenon, we can use the distinctization op-erative symbols of MP. to clarify ML as to make any clarified well-formed formula either true or false. Thus the medium log-ic system ML is simplified as classical logic calculus CL, and the medium principle in ML then is transformed into the non -medium principle in CL.
出处
《南京大学学报（自然科学版）》
CAS
CSCD
1991年第2期209-221,共13页
Journal of Nanjing University（Natural Science）
关键词
命题演算
中介命题演算
清晰词
propositional calculus
medium propositional calculus
symbol of truth value degree
distinctiziation operative symbol
