1) 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 ￡*.
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
2) Forever will be Real the Formula
永真公式
3) quasi-tautology
准永真式
1.
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 ￡*.
证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式。
4) logical truth
逻辑永真式
5) WFFS ,wffs
公式的永真性
6) logically valid formula
逻辑永真公式
补充资料：赠永真（一作贞）杜翱少府
【诗文】：
蓝袍竹简佐琴堂，县僻人稀觉日长。爱静不嫌官况冷，
苦吟从听鬓毛苍。闲寻野寺听秋水，寄睡僧窗到夕阳。
骞翥会应霄汉去，渔竿休更恋沧浪。
【注释】：
【出处】：
全唐诗：卷747-43
蓝袍竹简佐琴堂，县僻人稀觉日长。爱静不嫌官况冷，
苦吟从听鬓毛苍。闲寻野寺听秋水，寄睡僧窗到夕阳。
骞翥会应霄汉去，渔竿休更恋沧浪。
【注释】：
【出处】：
全唐诗：卷747-43
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条