18/01/09 00:36:12.47 nCus3OZJ.net
背理法の原理は、正しくは、
[Ｐ(x)∧￢Q(x)⇒/x/0(x)]⇒/p,q/[P(x)⇒/x/Q(x)]
であって、(p∧￢q→人)→(p→q) のことではない。
18/01/09 00:36:12.47 nCus3OZJ.net
背理法の原理は、正しくは、
[Ｐ(x)∧￢Q(x)⇒/x/0(x)]⇒/p,q/[P(x)⇒/x/Q(x)]
であって、(p∧￢q→人)→(p→q) のことではない。
18/01/09 00:36:12.47 nCus3OZJ.net
背理法の原理は、正しくは、
[Ｐ(x)∧￢Q(x)⇒/x/0(x)]⇒/p,q/[P(x)⇒/x/Q(x)]
であって、(p∧￢q→人)→(p→q) のことではない。