Ex falso quodlibet

Der Grundsatz ex falso quodlibet, aus Falschem folgt alles, was beliebt, wird in der Aussagenlogik durch die Formel

~A -> (A -> B)

ausgedrückt.

Wenn A falsch und folglich ~A wahr ist, so impliziert A jede beliebige Aussage.

Dieser Satz der in der klassischen Aussagenlogik wahr ist, wird in der Relevanzlogik und in den meisten parakonsistenten Logiken zurückgewiesen.