1) Forever will be Real the Formula
永真公式
2) WFFS ,wffs
公式的永真性
3) logically valid formula
逻辑永真公式
4) universally valid formula
全称永真公式
5) validity of WFFS
合取公式的永真式
6) tautology
[英][tɔ:'tɔlədʒi] [美][tɔ'tɑlədʒɪ]
永真式
1.
In HDL synthesis systems of EDA design tools, it often needs to be judged in high-level synthesis, RTL-level synthesis and logic-level synthesis whether a logical function is a tautology.
在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合、ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。
2.
It is proved that modal tautologies are logically valid but not vice versa;Based on a class of continuous binary relations,the concept of quasi-tautology is introduced in fuzzy modal logic,basic properties of quasi-tautologies is obtained,and a class of tautologies and quasi-tautologies are constructed by means of theorems in the logic system ￡*.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
补充资料：永庆院送道原还仪真作诗要之
【诗文】：
岁暮青条已见梅，余花次第相争开。
淮南无此山林胜，作意春风更一来。
【注释】：
【出处】：
岁暮青条已见梅，余花次第相争开。
淮南无此山林胜，作意春风更一来。
【注释】：
【出处】：
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条