Ableitungskalkül/Aussagenmengen/Vereinigung und Durchschnitt/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Ausdrucksmengen in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge und seien .

  1. Es gelte und . Zeige .
  2. Es gelte und . Folgt daraus ?
Eine Lösung erstellen