设F 是n 元联结词,p1,…, pn是不同的命题变元。如果公式A 中不出现除p1,…,pn之外的命题变元,并A⇔Fp1…pn,则称A 定义 F。如果存在由联结词集合S 生成的公式定义F,则称F 可由S 定义。
在一个简短的陈述中,他完全集中在了国际事务上。
In a brief statement, he concentrated entirely on international affairs.
在心理学上,我们完全集中精力于一项活动中的感觉被称为“心流”。
In psychology, the feeling of complete and energized focus in an activity is called flow.
该雷达包含一个完全集成的敌我识别系统。
The radar includes a fully integrated Identification Friend or Foe (IFF) interrogator system.
应用推荐