Για να αποδειχθεί η ακυρότητα (invalidity) ενός επιχειρήματος, πρέπει να διατυπωθεί ένα νέο επιχείρημα με την ίδια μορφή όπως το αρχικό, του οποίου οι προκείμενες είναι πράγματι αληθείς και το συμπέρασμα πράγματι ψευδές. Αυτό το νέο επιχείρημα ονομάζεται αντιπαράδειγμα.
(https://human.libretexts.org/Bookshelves/Philosophy/Fundamental_Methods_of_Logic_(Knachel)/1%3A_The_Basics_of_Logical_Analysis/1.4%3A_Deductive_and_Inductive_Arguments)
