“!”(逻辑非)、“&&”(逻辑与)、“||”(逻辑或)是三种逻辑运算符。
“逻辑与”相当于生活中说的“并且”,就是两个条件都同时成立的情况下“逻辑与”的运算结果才为“真”。
“门”是这样的一种电路:它规定各个输入信号之间满足某种逻辑关系时,才有信号输出,通常有下列三种门电路:与门、或门、非门(反相器)。
扩展资料;
在逻辑中,经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。
要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。
参考资料来源:百度百科-逻辑符号
第一格的逻辑形式是(用传统逻辑的符号系统表示):M*P,S*M→S*P假设小前提为否定,则大前提一定为肯定,因为两个否定前提推不出任何有效的结论,所以大前提为MIP或者MAP,小前提为SEM或者SOM。
先考虑MIP和SEM,由这两者既可能得出SOP也可能得出SEP,SIP,所以由MIP和SEM不能必然地推出某个结论;考虑MIP和SOM,由这两者既可能得出SOP,也可能得出SAP,SIP,SEP,所以也不可以必然地推出某个结论;考虑MAP和SEM,可能得出SEP,SIP,SOP等,所以也不能必然地推出某个结论;最后考虑MAP和SOM,可能得出SOP,SIP,SEP,SAP,也不能必然得出某个结论。
因此,如果第一格如果存在某个有效式的话,那它的小前提必须肯定。
补充下必然地推出的含义:以简单的第一格AAA式为例,MAP,SAM,能必然地推出SAP,如果不能,则存在这样的情况,由MAP,SAM可以得出SOP。代入个体a,使得Sa不是Pa,又根据大前提,Sa是Ma,而Ma又是Pa,所以Sa是Pa,这与Sa不是Pa矛盾!所以由MAP和SAM能必然地推出SAP
欢迎分享,转载请注明来源:夏雨云
评论列表(0条)