一种ConnerErexample.是一个具体情况,表明一般陈述是假的。
例1:
提供一个反例来表明该声明
“每个四边形都有至少两个全等双方”
并不总是真的。
任何粗肾上腺四边形都将作为反例。
为一个条件(if-then)语句,Consterexample必须是满足该实例假设,但不是结论。
例2:
如果 P. 问: = X , 然后 P. = X 问:
对所有实数都不是真的 P. 那 问: , 和 X 。
让 P. = 1 那 问: = 0. 和 X = 0. 。
然后 ( 1 ) ( 0. ) = 0. 但 1 ≠ 0. 0. ,自分裂以来 0. 是未定义的。