首页 百科精选 > 内容

析取引入律(析取引入规则简介)

时间:2023-11-03 18:01:07 来源:
导读 HELLO,我是智能手机网小溪,我来为大家解答以上问题。析取引入律,析取引入规则简介很多人还不知道,现在让我们一起来看看吧!1、中文名:...

HELLO,我是智能手机网小溪,我来为大家解答以上问题。析取引入律,析取引入规则简介很多人还不知道,现在让我们一起来看看吧!

1、中文名:析取引入规则外文名:introduction rule of disjunction所属学科:逻辑学如果已知一个合式公式为真,那么这个合式公式就可以和任意的合式公式构成析取。

2、因为如果一个合式公式本身是真的,那么它和其他任意的合式公式所构成的析取就能够保证其为真,即只要这个析取里面两个合式公式至少有一个是真的,那么析取就可以保证是真实的。

3、所以已知为真的公式可以和任意的公式构成析取。

4、由于结论当中引入了析取真值联结词,因此叫做析取引入规则(introduction rule of disjunction)。

本文到此讲解完毕了,希望对大家有帮助。

标签:
最新文章