kann ich aus einer formel die aus A und B besteht formeln folgern, die nicht aus A und B bestehen?

ich denke ich ja ich kann aber meine gedanken noch nicht richtig ordnen, also was sagt ihr dazu?

Aus einer Kontradiktion kannst du alles folgern: (~A ^ A) => C

Ich erinnere mich da an einen lustigen Satz aus dem LOS-Skript: "Aus allen unerfüllbaren Formelmengen folgt jede Formel."