Documente publicate de Faust Bălan

Inteligență Artificială - Prolog

Consecinte logice: Definitie: Daca F1,..,Fn,G sunt f.b.f., si daca pentru orice interpretare I pentru care F1^F2^...^Fn este adevarata, atunci G este adevarata atunci se spune ca G este o consecinta logica a lui F1,...,Fn, iar F1,..., Fn sunt axiome pentru G. Teorema1: G este o consecinta logica a lui F1,..,Fn... citește mai departe