Er argumentet "Alle karper er fisk, alle koi er karper" gyldigt?

Argumentet er gyldigt, og i dette tilfælde er det også sandt. Her er hvorfor:

* Gyldigt: Argumentet følger en logisk syllogisme:
  * Alle A er B (Alle karper er fisk)
  * Alle C er A (Alle koi er karper)
  * Derfor er alle C B (Derfor er alle koi fisk)

* Sand: Et sandt argument er gyldigt OG dets præmisser er sande. I dette tilfælde:
  * Alle karper er fisk: Sandt.
  * Alle koi er karper: Sandt. Koi er en specifik type karpe.

Derfor er argumentet både gyldigt og sandt.

• Hvad er de forskellige typer fisk?
• Hvad er allitterationen for "five fish"?