PS:
Zitat:
Zitat von Mighty
"eine Katze ist ein Tier" und "ein Tier ist eine Katze".
|
Und wenn du schon soetwas wie einen
Widerspruch konstruieren/darlegen willst, solltest du das schon besser anstellen. Was du mit "Ein X ist ein Y" sagen willst, ist naemlich aussagenlogisch ueberhaupt nicht erfasst, und die Beziehung zwischen den beiden Aussagen (nennen wir sie mal A und B) stellst du auch nicht dar.
Wenn du den Existenzquantor meinst (
"Es gibt ein X, so dass es unter Y faellt"), so stimmt jede deiner Aussagen fuer sich trivialerweise, und die Aussage "A und B" ist wahr.
Wenn du den Allquantor meinst (
"Fuer alle X gilt, dass sie unter Y fallen"), so gilt die erste Aussage, nicht jedoch die zweite. Insbesondere ist die Verknuepfung "A->B" falsch.
Soweit mal ein kleiner Logikdiskurs fuer Einsteiger.
