Es un ejemplo que pone en evidencia la falsedad de una proposición condicional particular (o una generalización cualquiera). Ejemplo: para poner en evidencia la falsedad de la proposición "si un número entero es múltiplo de 2 (es par) entonces es múltiplo de 4" basta con mencionar el 2 (el cual es par pero no múltiplo de 4).