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: