clause-vorm

Betekenis clause-vorm

De betekenis van clause-vorm is: "logische formule die volgens een aantal(9)standaardisatiestappen gemaakt is, zodanig dat een set van clauses ontstaat, waarvan iedere clause een disjunctie is van literals
vorm vereist voor het realiseren van resolutiebewijzen in de predikatenlogica
".

Defenitie clause-vorm

De definitie van clause-vorm is: "logische formule die volgens een aantal(9)standaardisatiestappen gemaakt is, zodanig dat een set van clauses ontstaat, waarvan iedere clause een disjunctie is van literals
vorm vereist voor het realiseren van resolutiebewijzen in de predikatenlogica
".