是逻辑学。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性;思维形式是指用以反映对象及其属性的不同方式,即表达思维内容的不同方式。从逻辑学角度看,抽象思维的三种基本形式是概念,命题和推理。
在逻辑学中,命题指表达判断的语言形式,由系词把主词和宾词联系而成。联言命题、选言命题和假言命题都属于命题的范畴。
扩展资料:
1、联言命题由逻辑联结词“并且”连接支命题而成。其支命题称为联言支,通常用p、q表示。联言命题的逻辑形式可以写成:p并且q,符号为:p∧q(“p并且q”)。∧称为合取词。
2、选言命题由逻辑联结词“或者”连接支命题而成。其支命题称为选言支,通常用p、q表示。选言命题的逻辑形式可以写成:p或者q,符号为:p∨q(“p或者q”)。∨称为析取词。
3、在形式逻辑中,命题联结词"如果,则"被理解为"前件真而后件假"是假的,即"如果 A则B"假,当且仅当A 真而B假;而当A假时,整个复合命题总是真的。
参考资料来源:
百度百科-逻辑学
百度百科-命题
联言命题是断定事物情况同时存在在复合命题.
如:“数学不但有算数运算而且还有逻辑运算”
选言命题是断定事物若干种可能情况至少有一种情况存在的复合命题.
选言命题又分为相容性选言命题和不相容性选言命题
“相容性”:是断定事物若干种可能情况可同时存在的复合命题.
如:“明天北京可能会下雨,也可能会天晴”
“不相容性”是断定事物若干种可能情况只有一种存在的复合命题
如“对世界原本的回答,要么是物质的,要么是精神的”
假言命题是断定某一事物的存在是另一事物存在的条件的复合命题
假言命题又分,充分条件假言命题
如:“如果患上肺炎,那么就会发烧"
必要条件假言命题
如:“只有某人年满18周岁,才有选举权”
充分必要假设命题
如:“当且仅当一个整数能被2整除,它才是偶数”
负命题是否定某个命题,又叫命题的否定.
如:并非一切水生物都是鱼
大概是这样了,挺复杂的