Sällskapsdjur
Argumentet är giltigt , men inte nödvändigtvis ljud . Här är varför:
* giltigt: Argumentet följer en logisk struktur. Den använder syllogismformen:
* Alla A är B (alla karp är fiskar)
* Alla C är en (alla koi är karp)
* Därför är alla C B (därför är alla koi fiskar)
* ljud: Ett sund argument är giltigt och dess lokaler är sanna. I det här fallet är lokalerna sanna:
* all karp är fisk: Detta är ett riktigt uttalande. Karp tillhör fiskfamiljen.
* Alla koi är karp: Detta är också sant. Koi är en specifik typ av karp.
Därför är argumentet både giltigt och sundt.