La força de la falsació rau en l’ús de la forma lògica modus tollens; és a dir, l’argumentació en la que donat un condicional “p ® q” (si plou, aleshores agafo el paraigua), i donada la negació del conseqüent o segon “¬ q” (no agafo el paraigua), és legítim concloure la negació o falsedat de l’antecedent o primer “¬ p” (plou).
Si la teoria copernicana d'òrbites planetàries circulars és vertadera, aleshores el planeta Mart recorrerà òrbites circulars (p ® q). Observem que el planeta Mart no recorre òrbites circulars (¬ q). Conclusió: la teoria copernicana d'òrbites planetàries circulars no és vertadera (¬ p).
Aplica aquesta forma lògica en els següents casos,
indicant què és el que es pot falsar o negar.