Una teoría será considerada falsable cuando se pueda dividir de manera precisa sus enunciados de base —referidos a acontecimientos observables— en dos subclases no vacías: la de todos los enunciados de base con los cuales está en contradicción —que enuncian lo que ella excluye o prohíbe—, sus falsadores potenciales, y la de todos los enunciados con los cuales no está en contradicción —los que enuncian lo que ella permite—.