File talk:Distribution - Logik.png

Ungereimtheit bei "I-Aussagen"

Hallo, die Regel besagt doch, dass es bei Ersetzen durch beliebige Untermengen wahr bleiben muss - wenn ich aber links und rechts senkrechte Streifen ziehe, die außerhalb der Schnittmenge bleiben, ist die "I-Aussage" nicht mehr gültig. Müsste das nicht korrigiert werden? --Qniemiec (talk) 12:31, 7 December 2021 (UTC)