People may not be able to understand Prolog programs, but everyone has the instinct that "A=>B <=> !B=>!A". People do not have an instinct against denying the

People may not be able to understand Prolog programs, but everyone has the instinct that "A=>B <=> !B=>!A". People do not have an instinct against denying the antecedent. It's a common fallacy. And even when people know about the logical error and can recognize it represented with "P"s and "Q"s, it is also well known that people don't always have the pattern matching skills to notice a similarity in _shape_ of argument when the _topic_ of argument is different. Edit: I accidentally called denying the antecedent by the name affirming the consequent.