Na lógica clássica, as proposições que compõem um raciocínio são classificadas como: (1) universais ou particulares e (2) afirmativas ou negativas. Assim sendo, as proposições “todo ser humano é mortal”, “algumas pessoas não usam óculos” e “alguns motoristas são descuidados” são classificadas, respectivamente, como: