Propositional logic
2) "If not P, then not Q".  In our example, this would mean "If it has not been raining for an hour, then the ground is not wet".  However, the ground could still be wet for the reasons listed above.