数学作业。更快,学习更好。
脱离法则
在数学逻辑中,脱离法律说,如果以下两个陈述是正确的:
(1)如果, 然后。
(2)
然后我们可以派生第三个真实陈述:
(3)。
例子:
如果以下陈述是真的,请使用分离法来派生新的真实陈述。
1)如果你是企鹅,那么你住在南半球。
2)你是一只企鹅。
让成为“你是一个企鹅”的声明,让成为“你住在南半球”的声明。
然后(1)和(2)可以写成
1)如果, 然后。
2)。
因此,通过脱离法律,我们可以推断出来是真的。那是,
你住在南半球。