您要查找的是不是：
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- The two-valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly-ordered weak complemented lattice, the omitting type theorem is proved. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
- FIRST ORDER LOGIC AND FIRST ORDER THEORY 一阶逻辑与一阶理论
- When sharing a quest, the order logic has changed to check whether or not the player has completed or is ineligible for the quest before checking whether their quest log is full. - 共享任务时，逻辑改为检查队友是否完成了任务或有无资格接受任务，而不是检查任务日志是否已经满了。
- Implementation of first order logic model generation 一阶逻辑模型生成器的实现
- A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明
- Proving Several Theorems in First Order Logic Based on Back-and-Forth Method 向前向后法证明一阶逻辑的几个定理
- The First- order Logic and Set Theory 一阶逻辑与集合论
- His earlier work announced a lyric talent of the first order. 他的早期作品显露了一流的抒情才华。
- Leaving her first job was a watershed in her life. 辞去她的第一份工作是她生活中的一个转折点。
- Cook the meat quickly at first to seal in the juices. 一开始要大火烧肉，以便保存肉汁。
- In the word "mother" the stress is on the first syllable. 在"mother"这一字里，重音在第一个音节上。,在＂mother＂这一字里，重音在第一个音节上。
- His illness was more serious than the doctor first thought. 他的病较医生原来以为的更严重。
- Passengers with cars must embark first. 带汽车的乘客必须先上船。
- First in order of birth; born first. 头生的，最长的出生顺序在先的; 先生的
- Bob teed off on the new pitcher's first delivery. 鲍勃猛击那新投手所投的第一个球。
- Alarmed at the first sound, we hit the dirt. 第一声警报一响我们就迅速卧倒。
- She struck up the first carol on the grand piano. 她在那架大钢琴上演奏起第一支颂歌。
