Resultats de la cerca
Es mostren 1 resultats
completesa
Lògica
Propietat d’un càlcul que permet de deduir totes les conseqüències d’un sistema formal.
La lògica proposicional és completa, però la matemàtica i, en general, tots els sistemes consistents i suficientment rics són incomplets