Hallo Sven,
Doch, rein logisch gesehen _muss_ man diesen Umkehrschluß ziehen:
und
Das bedeutet, dass über alle anderen Individuen der Gruppe diese Aussage
eben gerade nicht zutrifft, sondern das Gegenteil.
Oh, es gibt in der Logik verschiedene Schlussoperatoren. Den, den Du da
gerade verwendest, nennt sind Circumscription, meine ich. Mit anderen
Operatoren (Consensus?) ginge das meines Wissens nicht. Aber da muß ich
nochmal nachlesen, merke ich gerade.
Tim