predicate logic
PONS OpenDictAggiungi voce
Vuoi aggiungere una parola, una frase o una traduzione?
Inviaci un nuovo contributo per il PONS OpenDict. I suggerimenti inviati vengono esaminati dalla redazione di PONS e inseriti di conseguenza nei risultati.
Nessuna frase d'esempio disponibile
Prova con un'altra voce.
Esempi monolingue (non verificati dalla Redazione di PONS)
This requires that the logic have a suitable notion of elementary substructure, for example by using the normal definition of a structure from predicate logic.
en.wikipedia.org They successfully transferred key properties of description, modal, and temporal logic to predicate logic.
en.wikipedia.org Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining.
en.wikipedia.org Languages with the full power of first-order predicate logic may be required for many tasks.
en.wikipedia.org The assumption that the domain is non-empty is built into the inference rules of classical predicate logic.
en.wikipedia.org