Resultats de la cerca
Es mostren 2 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
hipòtesi
Lògica
Proposició o supòsit, acceptat independentment de la seva veritat o falsedat, del qual hom pot deduir un conjunt de proposicions o conseqüències.