hotmath.
数学作业。更快,学习更好。

脱离法则

在数学逻辑中,脱离法律说,如果以下两个陈述是正确的:

(1)如果 P. , 然后 问:

(2) P.

然后我们可以派生第三个真实陈述:

(3) 问:

例子:

如果以下陈述是真的,请使用分离法来派生新的真实陈述。

1)如果你是企鹅,那么你住在南半球。

2)你是一只企鹅。

P. 成为“你是一个企鹅”的声明,让 问: 成为“你住在南半球”的声明。

然后(1)和(2)可以写成

1)如果 P. , 然后 问:

2) P.

因此,通过脱离法律,我们可以推断出来 问: 是真的。那是,

你住在南半球。