Negative implication is an underdeveloped concept of logic that the existence of +1, for example, implies the existence of -1. The existence of evil implies the existence of good, as an other example. The existence of the seen (the material) implies the existence of the unseen. And so on.
Negative implication is required by the fundamental uncertainty discovered in quantum mechanics and described in the Book of Genesis,[1] because uncertainty about "A" requires the existence of "Not A."
Mathematicians did not widely accept the validity of negative numbers until the 1800s.[2]
While there are logical proofs of the existence of God, such as ontological proofs, a simpler approach is through negative implication: the undeniable existence of evil implies the existence of God. Indeed, this may explain why there is not more evil in the world: greater evil would result in greater faith, just as churches have larger attendance in the wake of acts of evil.
Legal doctrine
In the law the Latin term "expressio unius est exclusio alterius" -- "the expression of one item is to the exclusion of others" -- is used to interpret statutes and rules, such its application to Federal Rule of Civil Procedure 9(b) results in not requiring pleading with particularity of anything not on the list. See Leatherman v. Tarrant County Narcotics Intelligence and Coordination Unit, 507 U.S. 163, 168, 113 S. Ct. 1160, 122 L. Ed. 2d 517 (1993).