La lógica proposicional presenta el problema de requerir un gran número de proposiciones para expresar un problema.