In Arsac & al. (1989), which proposes mathematical situations for learning deductive reasoning for 12-13 years old children, we can find a situation dedicated to the rule “an example that satisfies a statement is not sufficient to conclude that this statement is true”.