What fallacy is it to say all teenagers are bad, therefore all non-teenagers are not bad?

Question

Suppose there is a non-empty subset A of U. Let A' denote the complement of A in U.

What is the name of this logical fallacy?

X is true for A
therefore
not X is true for­­­­­­­­­­­­­­­­­­ A'

For example, suppose U = {all people} and A = {all teenagers} then the logical fallacy is

all teenagers are bad
therefore
all non-teenagers are not bad

Answer 1

After some thought I realized this is a denying the antecedent fallacy. Put another way we have

If the person is a teenager then they are bad
therefore
If the person is a non teenager then they are not bad

Answer 2

To add to @Jon's answer, denying the antecedent often comes up due to confusion with the valid argument form Modus Tollens

((p → q) ∧ ¬q) → ¬p)
or ((if p then q) and not q) then not p)

Which is equivalent to

(if p then q. Therefore, if not q then not p), i.e.

If a person is a teenager, then they are bad
Therefore
If a person is not bad, they are not a teenager

Answer 3

@willross1 currently writing a thesis on logical fallacies, new to this forum. I am confused about your account of modus tollens. I believe it is a simple clerical error in which you have accidentally forgotten a parentheses? There are too many close parentheses per open parentheses. Is this simply a keyboard error or am I too prone to misunderstand MT? {[(p➡️q) & ~q] ➡️ ~q}

Answer 4

Other contributors gave really interesting answers, yet no one mentioned the link to the classical confusion of necessity and sufficiency - the X is necessary for being an element of A, i.e. A ⊆ T, where T = {t ∈ U | X is true for t}. Yet no one guarantees that A = T (property is not a criterion), thus, ¬X is not necessary for being an element of A' (unless A = T is stated), but it sufficient for being an element of A'. It could be demonstrated via the following Euler diagram (sorry for a sloppy picture):

Answer 5

This is a case of modus tollens.

Say,

Q implies bad

P implies teenager

According to your problem,

P implies Q|!P|Therefore, !Q|

This shows that if teenager is bad, non-teenager means not bad.