您要查找的是不是：
- Lukasiewicz蘊涵算子Lukasiewicz implication operator
- 蘊涵算子implication operator
- 蘊涵算子族family of implication operator
- 蘊涵算子Lpimplication operator Lp
- NMp蘊涵算子implication operator NMp
- 蘊涵算子Rpimplication operator Rp
- 蘊涵contain
- 第二部分：利用McNaughton函數，研究了Lukasiewicz邏輯系統中的可達廣義重言式。In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.
- Luk蘊涵算子Lukasiewicsz implication operator
- 強蘊涵算子Strong implication operators
- δ算子δ-operator
- "或非" 算子NOR operator
- 蘊涵圖implication diagram
- 譜算子spectral operator
- 蘊涵代數implication algebras
- 流形上的偏微分算子partial differential operator on manifold
- 蘊涵式implications
- Ｍ－生長(cháng)算子M-accretive operator
- 蘊涵項implicant
- 伴算子adjoint operator
