我们可以将该论证改写如下：
73. 。
2.如果A，那么B。
因此， 。
条件前提出现在后，但这不是问题——前提的次序并不重要。重要的是：我们有一个条件句和其前件作为前提，条件句的后件作为结论。所以，该论证形式是肯定前件式，而且该论证有效。
当需要为包含条件陈述的论证构造一个反例时，会引起另一个复杂性。例如：
A B B
74.如果骑马时使用计算机引起伤害，那么该处罚。因此，如果骑马时使用计算机该处罚，那么它引起伤害。
A
该论证的形式如下：
75. 1.如果A，那么B。
因此，2.如果B，那么A。
现在，我们从一个确知谬误的结论开始，根据通常的方法来构造一个反例。例如，“如果汤姆·汉克斯超过2岁，那么他超过100岁”。注意，该条件句有真前件和假后件。带一个真前件和假后件的条件句常假。反例如下：
76. 1. 如果汤姆·汉克斯超过100岁，那么他超过2岁。[真]
因此，2. 如果汤姆·汉克斯超过2岁，那么他超过100岁。[假]
记住，前提并没有断言，汉克斯超过100岁；它只断言，如果他超过100岁，那么他超过2岁，这显然是真的。形式（75）的下列反例，将对包含条件陈述的论证构造一个反例，提供一些建议：
77. 1.如果阿伯·林肯超过10英尺高，那么他超过4英尺高。[真]
因此，2.如果阿伯·林肯超过4英尺高，那么他超过10英尺高。[假]
78. 1.如果柠檬是红的，那么柠檬有颜色。[真]
因此，2.如果柠檬有颜色，那么柠檬是红的。[假]
（注意，上述论证中的假条件句都有真前件和假后件）。通常在构造反例时，重要的是，前提是确知的真理，而结论则是确知的谬误。
形式概述
有效式
肯定前件式：如果A，那么B。A。所以，B。
否定后件式：如果A，那么B。非B。所以，非A。
假言三段论：如果A，那么B。如果B，那么C。所以，如果A，那么C。
选言三段论：或者A或者B。非A。所以，B。
构造性二难：或者A或者B。如果A，那么C。如果B，那么D。所以，或者C或者D。
无效式
否定前件：如果A，那么B。非A。所以，非B。
肯定后件：如果A，那么B。B。所以，A。
下列练习将给你一个机会，运用“著名”形式的知识来评价论证的有效性。
练习
一、论证评价 识别下列论证的形式，运用大写字母表示陈述并消除所有变体。如果论证形式是“著名的”形式，则给出形式的名字，并指出是否有效。如果论证形式不是“著名的”形式，则构造反例，以显示该形式无效。
*1.如果某液体使蓝色石蕊色试纸变红，则该液体含有酸。该液体使蓝色石蕊色试纸变红了。所以，该液体含有酸。
2.如果某液体使蓝色石蕊色试纸变红，则该液体含有酸。该液体不含酸。所以，该液体不能使蓝色石蕊色试纸变红。
3.仅当刘易斯知道如何写作，他才是著名作家。但刘易斯不是著名作家。因此，他不知道如何写作。
*4.如果苏珊是著名作家，那么她知道如何写作。而苏珊知道如何写作。所以，她是著名作家。
5.灵魂能够轮回转世。如果灵魂能够轮回转世，则吃动物就是错误的。因此，吃动物是错误的。
6.或者琼斯是清白的旁观者或者他开枪射杀了市长。琼斯不是一个清白的旁观者。因此，他开枪射杀了市长。
