Din punct de vedere logic

Din punct de vedere logic, dacă "un A e B" şi "toţi B sunt C", rezultă fără dubiu că "A este C".

De exemplu, "Patrocle e căţel", "Toţi căţeii sunt animale" > "Patrocle e animal" .

Pe de altă parte, dacă C-ii sunt roşii, verzi şi albaştri, nu poţi deduce din premisele de mai sus că A este de tipul C-roşu sau C-verde (dacă nu mă credeţi citiţi Organonul lui Aristotel).

Numai dacă eşti friki îţi închipui că se poate face saltul de la "un A e B" direct la "un A e C-colorat-într-un-anumit-fel."