valid formula

Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。

We tried first to use the classical effective medium functions, which had not been subjected to scrutiny at microwave frequencies and had not been tested for SiC(N) composite powder.

用经典的有效媒质公式 (包括 Maxwell Garnet公式、Bruggeman公式、Polder-van Santen公式和相干准晶近似公式 (quasicrystalline approximation with coherentpotential,QCA-CP) )研究了含纳米 Si C(N)粉体的复合材料的微波介电特性 ,计算结果表明 ,经典的有效媒质公式对含纳米 Si C(N)粉体的复合材料是不适合的 ,应寻求新的方法来求解纳米复合材料的微波介电常数。

The Set of logically valid formulas in every second-order language with the equality is proved to be not recursively enumerable.

证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的