跟中文教材一样，第一课必定是命题。原命题，逆命题，否命题，逆否命题。
原命题：如果You eat spinach,则You will get stronger.
逆命题：如果You get stronger，则you must have eaten spinach.
否命题：如果You do not eat spinach，则you will not get stronger.
逆否命题：如果You are not stronger，则you must not have eaten spinach.
原命题和逆否命题互为等价命题
逆命题和否命题互为等价命题。
Assume 前提条件“eating spinach makes you stronger”为真，则原命题和逆否命题真，其它俩假。
在数学里，前提条件非常重要，并且有时候，前提条件是违背常识的，而它只管推理严谨。所以还是用如果p，则q，这样抽象的说法，更容易接受一些。搞什么假设吃菠菜会变壮是真啊！
