Ecco,
devo studiare per un esame di logica che è spiegato su slide ma in maniera un pò confusa.
ora, qualcuno sa qualcosa della CWA (close world assumption)?
domanda: se ho una teoria finita e completa, e la estendo con CWA questa è ancora finita e completa?
il mio dubbio sorge dal fatto che con CWA posso estendere cose che rendono incosistente il tutto. ora, però, se è completa so sempre derivare se una cosa è vera o falsa, quindi non avrei nessuna estensione in CWA (dato che la definizione è: {-p | è atomica e M /|- p} not p tale che p è atomaica e dal modello nn si inferisce p).
quindi?
PS: questa è la prima domanda.