La substituciabilitat es un principi de la programacion informatica. Afirma que se S es un sotatipe de T, alora se pòu substituir d'objèctes de tipe S en d'objèctes de tipe T sens alterar lei proprietats desirablas d'aqueu programa (exactitud, pretzfach ben executat...).

Lo principi es sovent utilizat en programacion orientada objècte.