Ist der Schluss „Alle Karpfen sind Fische, alle Koi sind Karpfen“ gültig?

Das Argument ist gültig und in diesem Fall auch sound (logisch einwandfrei und mit wahren Prämissen).

Begründung

  • Gültig: Folgt einem logischen Syllogismus:
    • Alle A sind B (Alle Karpfen sind Fische)
    • Alle C sind A (Alle Koi sind Karpfen)
    • Also: Alle C sind B (Also: Alle Koi sind Fische)
  • Sound: Ein soundes Argument ist gültig UND seine Prämissen sind wahr:
    • Alle Karpfen sind Fische: Wahr.
    • Alle Koi sind Karpfen: Wahr. Koi sind eine spezifische Karpfenzuchtform.

Das Argument ist also sowohl gültig als auch sound.