您要查找的是不是：
- well-formed propositional formula 命题公式
- Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable. 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
- Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics. 命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
- Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally. 摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- Generating Algorithm of Truth Value Table and Type's Mechanical Decision to a Propositional Formula 命题公式真值表的生成与公式类型的机械判定
- The formula of the medicine is still a secret. 此药的配方仍是秘密。
- "How do you do?" is a polite formula. "您好。"是客气的套语。
- It was Hart who created the basic formula of the western film. 正是这个哈特创造了西部电影的基本格局。
- propositional formula 命题公式
- A formula for settling the border dispute has been worked out. 已拟定一个解决边界纠纷的方案。
- Managers and workers are still working out a peace formula. 劳资双方仍在商谈制订和解方案。
- They are working on the perfection of their new paint formula. 他们正在努力研制尽善尽美的新颜料配方。
- It's the formula for converting gallons into liters. 这是加仑与升的换算公式。
- He’s a simple propositional bet. 来下个赌如何？
- She tried to wrap up a censure in a polite formula. 她试图用客套的话掩饰指责之意。
- I do not remember all these formula. 这些公式我并不全都记得。
- Formula one cars are the most powerful. 一级方程式赛车马力最大。
- Almost every episode followed a certain formula. 几乎每一段情节都遵循一套特定的模式。
- A propositional content can have different focuses of sentence. 一个命题内容可以有不同的语句焦点。
- There is no sure formula for success. 成功并无一定之规.
