离散数学问题

显示全部楼层 · 2010-6-13 13:17:32

已知有些人喜欢所有的花没有人喜欢杂草证明花不是草

千问 · 2010-6-13 13:17:32

如果花是草，已知有些人喜欢所有的花，那么这些人就喜欢所有的草，但没有人喜欢杂草，所以花不是草。【反证法】

千问 · 2010-6-13 13:17:32

因为没有人喜欢杂草所以那些人喜欢所有的花的人也都不喜欢杂草也就是他们不喜欢杂草却喜欢花所以花不是杂草证明完毕

千问 · 2010-6-13 13:17:32

有这样的题？反证法：假设花是草，因为有些人喜欢所有的花，所以有些人喜欢所有的草，而又因为没有人喜欢杂草，与题设矛盾，假设不成立，故花不是草。