数学不是谎言，如果考虑到上下文。
（Modus ponens，MP）是命题逻辑中一个有效的论证形式和推理规则。在MP中，它是基于一个条件（如果P，那么Q），第一个或前面的P被给予或肯定，并且得出结论，结果或Q是真实的。这个陈述是：“如果P暗示Q，P是真的，那么Q也是真的。”
如果P，那么Q. P. 因此，问（确认先行词）
无效的谬论或推理：
如果P，那么Q. Q.因此，P.（肯定的后果）
考虑以下情况。胡安在回家的路上经过一家电器商店，展示了几款平板电视机。考虑到2018年的俄罗斯世界杯，他暂时停下来思考一个丰富多彩的模型壮观的图像。卖方注意到他的利益，告诉他花费1000美元，但如果他在那个时候买电视，只需要支付$。所以，胡安将节省250美元。
问题1.如果John买了电视机，那有什么合理的论点？
首先：如果我为电视机支付750美元，那我就省了。
我每个电视支付750美元。
那么，我正在保存。
第二：如果我为电视支付750美元，那么我保存，
我正在储蓄
然后，我只付了750美元的电视
问题2.胡安省多少钱？
（细节：胡安没有或有意购买电视机，穿过商店的通道是偶然的）
