如何判断一阶逻辑公式的类型，二难推理逻辑公式 简化式
如何判断一阶逻辑公式的类型？
一阶谓词演算或一阶逻辑(FOL)允许量化陈述的公式，例如存在着 x，... (x) 或 针对任何 x，... (砢)，这里的 x 是论域(domain of discourse)的成员。一阶(递归)公理化理论是通过增多一阶句子/断定的递归可枚举集合作为公理，可以被公理化为一阶逻辑扩展的理论。这里的...叫做谓词并表达某种性质。谓词是适用于某些事物的表达。故此表达是黄色或喜欢椰菜分别适用于是黄色或喜欢椰菜的那些事物。

一阶逻辑有关书籍
一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；故此，一个红色物体被表达为有红色的特性。性质可以被当作物体只凭自己的一种构成(form)，它可以拥有其他性质。性质被觉得不一样于拥有它的物体。故此，一阶逻辑不可以表达下方罗列出来的陈述，针对全部的性质 P，... 或存在着性质 P，...。
但是一阶逻辑足够强大了，它可以形式化都的集合论和基本上全部的数学。把量化限制于个体(individual)使它难于用于拓扑学目标，但它是在数学底层经典的逻辑理论。它是比句子逻辑强比二阶逻辑弱的理论。
一阶逻辑的定义
谓词演算构成请看下方具体内容
生成规则(就是形成合式公式的递归定义)。
变换规则(就是推导定理的推理规则)。
公理或公理模式的(可能的可数的无限)集合。
有两种类型的公理: 逻辑公理，它是针对谓词演算有效的，和非逻辑公理，它是在情况特殊下为真的，就是说，在它所在的理论的标准解释中是真的。比如，非逻辑的皮亚诺公理在算术的符号主义标准解释下是真的，但是，针对谓词演算它们不是有效的。
在公理的集合是无限的时候，需能判断给定的合式公式是不是是一个公理的一个算法。进一步的，需要有可以判断一个推理规则的应用是不是正确的算法。
重言式 非重言的可满足式 矛盾式
二难推理逻辑公式？
二难推理是在宣传说理中，由两个假言判断和一个选言判断为前提构成的推理。之故此，称为"二难推理"是因为在宣传中反驳对方的观点，大家经常运用这样的推理逼使对方在两种情况下作出选择，不管选择哪种情况，都令人难于接受，这个问题就使对方陷入进退维谷的困境。二难推理除了简单构成式外，还有简单破坏式、复杂构成式、复杂破坏式。二难推理这样的反驳方式表面上似乎让对方享有选择余地，其实反而使自己掌握并熟悉了主动权，前后夹击对方，促使其无路可逃。在实质上辩驳中没有必要仅止于"二难"，也可以有"三难"、"四难"。对来自对方的二难推理的宣传，可以采用一定的说理方法破除给自己导致的困境，这个问题就要指出选言的前提是不真实的，因为这个原因推理本身不可以成立；或指出假言的前提是不真实的，因为这个原因结论也肯定是虚假的。其次，还可以构造一个假二难推理，从中推出相反的结论，使原二难推理露出破绽。
逻辑表达万能公式？
一、基本公式：
a、常量与常量间的关系：
0·0=0 （逻辑与）1+1=1（逻辑或）
0·1=0 0+1=1
1·1=1 0+0=0
0=1 （逻辑求反）1=0
b、常量与变量间的关系：
A·0=0 A+1=1
A·1=A A+0=A
A·A=0 (互补律) A+A=1
c、变量与变量的关系：
A·B=B·A A+B=B+A
(A·B)·C=A·(B·C) (A+B)+C=A+(B+C) A·(B+C)=A·B+B·C A+BC=(A+B)(A+C) A·A=A A+A=A
A·=B
B
A+(反演律) B
A·
A+=B
A=A
二、经常会用到公式：
A=A+B
1、A+AB=A
2、A+B
3、AB+A B=A
4、A(A+B)=A
5、AB+C A +BC=AB+C A
1.并项公式
从名字可以看得出来，方便逻辑运算时简化式子。AB+A'B=B, （A+A'=1,A'是A变量的反变量，逻辑变量是二值逻辑，只可以是0或者1），这个方向这样的等式还可以进行对偶的扩展，
（A+B)(A'+B)=B，这样也侧面说明对偶针对公式的论证是有很大帮助的。并项从名字中我们就可以看得出来，并的各部分先得有一样的因子，然后合并的部分互成反量就可以。
数字逻辑化简公式？
化简：F(A,B,C,D)=BC+D+D'(B'+C')(AD+B) =BC+D+D'(AB'D+AC'D+BB'+BC') =BC+D+BC'D' =BC+D+BC' =B+D而试题中的 BC+D+BC'D' 还可以继续化简： =BC+D+BC'=B(C+C')+D=B+D下面讲解哪些公式：后得到化简结果为：F(A,B,C,D) = B + D
数字电路逻辑函数怎样清楚化到简？
这个问题……不简单啊~~
~针对比较简单的逻辑函数（包含两三个输入变量的）是否简，我想可以看得出来来吧。
复杂一点的（三四五个输入变量的），也许用卡诺图好一点，但是，再复杂一部分的，用卡诺图就显得比较麻烦了。
针对多输入变量，大多数情况下化简出来的结果各种多样（多变量简式不唯一），应该不会让你判断的，只要化简到一个给人的印象比较舒服的形式就行了。
你可以结合功能表来对逻辑函数进行一部分验证性的分析，例如控制端等等。~~
~我是这个学期刚学的数电
正确的或逻辑公式怎么写？
逻辑乘:A*0=0 A*A=A A*1=A 逻辑或:A+0=A A+1=1 A+A=A 逻辑非:A*非A=0 A+非A=1 非(非A)=A 另外还有 交换律:A*B=B*A A+B=B+A 结合律:(A*B)*
说话逻辑了解的万能公式？
说话逻辑了解并没带来一定谓的公式，他主要还是看个人的语言临场组织能力和应变能力，在说话以前第一要对事物的来龙去脉有一个大约了解，然后列出一个大纲，涵盖事件出现的因素，因何出现，是否有有关的利益人，分清了这些你才可以以不变应万变。
第一，我们要清楚“三段论”，这个“三”的数字的妙处。在我们中国传统文化里，这个“三”数字是很重要的。如“三”代表多，周易来说，一生二、二生三、三生万物；我们都清楚，三角形是稳固的一种构形，“三”代表稳定；在做什么事时大家也讲求步骤，第1个步骤做什么，第2个步骤做什么，第3个步骤做什么，都很有讲究。同时，“三”还代表结果，不是有哪些说，一而再，再而三，事不过三之类的吗？说的就是这个意思。
因为这个原因，你要随时记住“三段论”就是三段，不是二段，不是四段、五段，三段刚好，很少很多。你只要心中记住“三”字，在讲话时完全就能够保证有话可说，而且，内容完整，逻辑清晰，不出现丢三落四，无话可说的状况。
其基本地运用要点请看下方具体内容：
（1）将整个讲话框架分成三段：开头、主体、结尾。
记住，不管具体是什么时候讲话，你在构思讲话内容时，都要把一次讲话分为三段。从内容上的构架就是一个“总-分-总”的结构。
（2）开头部分。你要提出自己鲜明的观点，其实就是常说的你整个讲话的论点。赞成什么，反对什么，你要很的鲜明，千万不要模棱两可。
（3）主题部分。这是整个讲话的主要内容是对开头提出的观点进行论证。论证就要有充分的论据来支持，这时你也要用到三个部分或者是三个论据来支撑你的观点。详细形式可采取，三点看法，三个建议 ，三点感想、三个理由、从三个方面来证明，等等。除开这点我们还可借助序数词来让内容条理化。也就是在讲话中紧跟自己想要表现的主题，运用“第一、第二、第三”或者“第一、其次、后”等方法来表达。
三种基本逻辑式表达式怎么写？
逻辑代数有与、或、非三种基本逻辑运算。它是按一定的逻辑关系进行运算的代数是用来分析和设计数字电路的数学工具。除开这点逻辑变量的逻辑与运算叫做与项，与项的逻辑或运算构成了逻辑函数的与或式，也叫做积之和式。
有三种基本的逻辑运算：
1）逻辑与 - 用AB表示：当A，B都为1时，其值为1，不然为零；
2）逻辑或 - 用 A+B 表示：当A，B都为0时，其值为0，不然为1；
3）逻辑非 - 用 A上¯表示，当A=0时，A的非为1，A=1时，A的非为0。
运用逻辑代数的基本公式及规则可以对逻辑函数进行变换，以此得到表达式的简形式。这里这里说的的简形式是指简与或式或者是简或与式，它们的判别标准有两条：项数少；在项数少的条件下，项内的文字少。
卡诺图是遵守一定规律构成的。因为这些规律，使逻辑代数的不少特性在图形上得到形象而直观的反映，以此使它成为公式证明、函数化简的有力工具。
