Syllogisme: verschil tussen versies

Deze redenering is (formeel) geldig, want de conclusie vloeit noodzakelijk voort uit de twee premissen. DeJe zou kunnen denken dat de conclusie niet waar is, echtermaar nietin de premisse (= hetgeen we per definitie voor waar aannemen) staat dat alle deelnemers aan Wikipedia Piet heten, aangeziendus MOET de beweringconclusie inlogisch gezien waar zijn, ook al zegt ons verstand dat de eerstebetekenis premissevan de conclusie niet waar isKAN zijn.

Een fout voorbeeld van een ongeldig syllogisme:

Deze redenering is (formeel) ongeldig, want de conclusie wordt impliciet getrokken uit "Alle auto's die voor 1994 zijn gebouwd hebben geen katalysator" (en "mijn auto heeft een katalysator"). Dit is echter geen geldige inversie van de majorpremisse, want er kunnen auto's van voor 1994 zijn die wel degelijk een katalysator hebben. De eerste ''premisse'' impliceert niet dat alléén auto's die na 1994 zijn gebouwd een katalysator hebben.