It is an __logical statement, because if one part is true, then the other must be false.

• il-
• dis-
• in-
• un-