Aussagenlogik/Implikationsdistribution/Wahrheitstabelle/Aufgabe

Aus Wikiversity

Es seien Aussagen. Zeige, dass

eine Tautologie ist.