Kæledyr Liv
Argumentet er gyldigt , men ikke nødvendigvis lyd . Her er hvorfor:
* gyldig: Argumentet følger en logisk struktur. Den bruger syllogismeformularen:
* Alle a er b (alle karper er fisk)
* Alle C er en (alle koi er karper)
* Derfor er alle C B (derfor er alle koi fisk)
* lyd: Et sundt argument er gyldigt, og dets lokaler er sandt. I dette tilfælde er lokalerne sandt:
* Alle karper er fisk: Dette er en sand erklæring. Karper tilhører fiskefamilien.
* alle koi er karper: Dette er også sandt. Koi er en bestemt type karper.
Derfor er argumentet både gyldigt og sundt.