« Calcul des prédicats » : différence entre les versions

Version du 27 janvier 2024 à 19:07

Mécanisme de résolution de problème dérivé du calcul des propositions, qui exploite l'utilisation de variables.

calcul des prédicats

calcul des prédicats du premier ordre

logique du premier ordre

predicate calculus

first-order predicate calculus

first-order logic

Version du 24 mars 2021 à 20:02 (voir la source) Pitpitt (discussion \| contributions) Aucun résumé des modifications ← Modification précédente		Version du 27 janvier 2024 à 19:07 (voir la source) Pitpitt (discussion \| contributions) m (Remplacement de texte : « ↵↵<small> » par «  ==Sources==  ») Modification suivante →
Ligne 19 :		Ligne 19 :


	~~<small>~~		==Sources==

	[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8393924 Source : Le grand dictionnaire terminologique ]		[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8393924 Source : Le grand dictionnaire terminologique ]