O enunciado categórico. Proposición o enunciado de la lógica clásica que determina la relación que existe entre un sujeto (S) y un predicado (P), mediante el verbo ser, o un equivalente, llamado cópula. Todo enunciado o proposición categórica afirma o niega algo (el predicado) sobre los miembros de la clase sujeto. En su forma estándar, adquieren cuatro tipos, denominados, según una tradición mnemotécnica medieval, A, E, I y O. Se llaman categóricas, porque por medio de ellas simplemente se afirma o niega algo del sujeto.