Logique - Historique des versions

Pitpitt le 19 avril 2026 à 21:49

2026-04-19T21:49:38Z

← Version précédente		Version du 19 avril 2026 à 17:49
Ligne 30 :		Ligne 30 :
	==Anglais==		==Anglais==
	'''logic'''		'''logic'''

			Logic is the science of reasoning behind rational thought (induction, deduction, hypothesis), computer science and artificial intelligence.
			In philosophy, logic is the formal study of the norms of truth. Logic is essentially based on the tradition of syllogisms and formal reasoning by rules.

			The mathematical and computational treatment of logic has led to the formalization of logic and the emergence of formal logics.

	==Español==		==Español==

Pitpitt : Remplacement de texte : « ==Español== » par « ==Español== Catégorie:es »

2025-09-24T00:57:41Z

Remplacement de texte : « ==Español== » par « ==Español== Catégorie:es »

← Version précédente		Version du 23 septembre 2025 à 20:57
Ligne 32 :		Ligne 32 :

	==Español==		==Español==
			[[Catégorie:es]]

	''''' lógica '''''		''''' lógica '''''

Jean-Sébastien Zavalone le 22 juillet 2025 à 14:33

2025-07-22T14:33:32Z

← Version précédente		Version du 22 juillet 2025 à 10:33
Ligne 30 :		Ligne 30 :
	==Anglais==		==Anglais==
	'''logic'''		'''logic'''

			==Español==

			''''' lógica '''''

			''La lógica es la ciencia del razonamiento que sustenta el pensamiento racional (inducción, deducción, hipótesis), la informática y la inteligencia artificial.''

			''En filosofía, la lógica es el estudio formal de las normas de la verdad. La lógica se basa esencialmente en la tradición de los silogismos y el razonamiento formal mediante reglas.''

			''El tratamiento matemático e informático de la lógica ha conducido a su formalización y a la aparición de las lógicas formales.''

	==Sources==		==Sources==
Ligne 41 :		Ligne 51 :


	~~<br>~~ {{Modèle:101}}~~<br>~~		{{Modèle:101}}

	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	[[Catégorie:101]]		[[Catégorie:101]]

Arianne le 26 mai 2025 à 19:08

2025-05-26T19:08:07Z

← Version précédente		Version du 26 mai 2025 à 15:08
Ligne 31 :		Ligne 31 :
	'''logic'''		'''logic'''

	[https://fr.wikipedia.org/wiki/Logique_classique Wikipédia - Logique classique]		==Sources==
			[https://fr.wikipedia.org/wiki/Logique_classique Source : Wikipédia - Logique classique]

	[https://fr.wikipedia.org/wiki/Formule_propositionnelle Wikipédia - Formule propositionnelle]		[https://fr.wikipedia.org/wiki/Formule_propositionnelle Source : Wikipédia - Formule propositionnelle]

	[https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats Wikipédia - Calcul des prédicats]		[https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats Source : Wikipédia - Calcul des prédicats]

	[https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur Wikipédia - Logique d'ordre supérieur]		[https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur Source : Wikipédia - Logique d'ordre supérieur]


	~~==Sources==~~
	<br> {{Modèle:101}}<br>		<br> {{Modèle:101}}<br>

	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	[[Catégorie:101]]		[[Catégorie:101]]

Arianne le 13 janvier 2025 à 01:41

2025-01-13T01:41:54Z

← Version précédente		Version du 12 janvier 2025 à 21:41
Ligne 1 :		Ligne 1 :
	==Définition==		==Définition==

	La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de ~~l’intelligence~~ artificielle.		La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de l’[[intelligence artificielle]].

	En philosophie, la logique est l’étude formelle des normes de la vérité. La logique s’appuie essentiellement sur la tradition des syllogismes et sur les raisonnements formels par des règles.		En philosophie, la logique est l’étude formelle des normes de la vérité. La logique s’appuie essentiellement sur la tradition des [[Syllogisme\|syllogismes]] et sur les raisonnements formels par des règles.

	Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et l’apparition de logiques formelles.		Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et l’apparition de logiques formelles.
Ligne 26 :		Ligne 26 :

	==Français==		==Français==
	'''~~Logique~~'''		'''logique'''

	==Anglais==		==Anglais==
	'''~~Logic~~'''		'''logic'''

	[https://fr.wikipedia.org/wiki/Logique_classique Wikipédia - Logique classique]		[https://fr.wikipedia.org/wiki/Logique_classique Wikipédia - Logique classique]

Pitpitt : Remplacement de texte : « ↵ » par «  ==Sources== »

2024-01-28T15:04:21Z

Remplacement de texte : « ↵<small> » par «  ==Sources== »

← Version précédente		Version du 28 janvier 2024 à 11:04
Ligne 39 :		Ligne 39 :
	[https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur Wikipédia - Logique d'ordre supérieur]		[https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur Wikipédia - Logique d'ordre supérieur]

	~~<small>~~
			==Sources==
	<br> {{Modèle:101}}<br>		<br> {{Modèle:101}}<br>

	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	[[Catégorie:101]]		[[Catégorie:101]]

Pitpitt : Remplacement de texte : « 
↵

 » par « {{Modèle:101}} »

2024-01-05T18:00:45Z

Remplacement de texte : « <div style="border:2px solid #336699; background: #f6f6f6; padding: 1em; margin-bottom:1em; width: 90%;"><html><a href="https://datafranca.org/wiki/Cat%C3%A9gorie:101"><img src="https://datafranca.org/images/icone-101-mots.png" width="250"></a></html> ↵<br></div><br> » par « {{Modèle:101}} »

← Version précédente		Version du 5 janvier 2024 à 14:00
Ligne 40 :		Ligne 40 :

	<small>		<small>
	<br> ~~<div style="border~~:~~2px solid #336699; background: #f6f6f6; padding: 1em; margin-bottom:1em; width: 90%;"><html><a href="https://datafranca.org/wiki/Cat%C3%A9gorie:101"><img src="https://datafranca.org/images/icone-~~101~~-mots.png" width="250"></a></html>~~		<br> {{Modèle:101}}<br>
	~~<br></div><br>~~<br>

	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	[[Catégorie:101]]		[[Catégorie:101]]

Pitpitt le 22 août 2022 à 12:53

2022-08-22T12:53:42Z

← Version précédente		Version du 22 août 2022 à 08:53
Ligne 3 :		Ligne 3 :
	La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de l’intelligence artificielle.		La logique est la science du raisonnement à la base de la pensée rationnelle (induction, déduction, hypothèse), de l’informatique et de l’intelligence artificielle.

	En philosophie, la logique est l’étude formelle des normes de la vérité. La logique ~~s'appuie~~ essentiellement sur la tradition des syllogismes et sur les raisonnements formels par des règles.		En philosophie, la logique est l’étude formelle des normes de la vérité. La logique s’appuie essentiellement sur la tradition des syllogismes et sur les raisonnements formels par des règles.

	Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et ~~l'apparition~~ de logiques formelles.		Le traitement mathématique et informatique de la logique a entraîné la formalisation de la logique et l’apparition de logiques formelles.

	==Compléments==		==Compléments==
Ligne 13 :		Ligne 13 :
	Il existe plusieurs types de logiques formelles que l'on distingue par leur « ordre » qui qualifie leur niveau d'abstraction. Donc plus l'ordre d'une logique est élevé, plus la logique est abstraite.		Il existe plusieurs types de logiques formelles que l'on distingue par leur « ordre » qui qualifie leur niveau d'abstraction. Donc plus l'ordre d'une logique est élevé, plus la logique est abstraite.

	* La logique propositionnelle ou [https://datafranca.org/wiki/Logique_des_propositions logique des propositions]		*La logique propositionnelle ou [https://datafranca.org/wiki/Logique_des_propositions logique des propositions]

	La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).		La logique des propositions s'exprime par des propositions ou formules propositionnelles construites à partir de connecteurs logiques (ET, OU, NON, IMPLIQUE, ÉQUIVALENT À, etc.) et de variables propositionnelles (P, Q, etc). Une formule bien formée possède une valeur de vérité (vrai ou faux).
Ligne 19 :		Ligne 19 :
	Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.		Par exemple, NON (P ET Q) ÉQUIVALENT À (NON P OU NON B) est une proposition vraie.

	* La [https://datafranca.org/wiki/Logique_du_premier_ordre logique de premier ordre]ou [https://datafranca.org/wiki/Calcul_des_pr%C3%A9dicats calcul des prédicats]étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.).		*La [https://datafranca.org/wiki/Logique_du_premier_ordre logique de premier ordre]ou [https://datafranca.org/wiki/Calcul_des_pr%C3%A9dicats calcul des prédicats]étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.).

	Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).		Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).

	* Il existe des logiques d'ordre supérieur (higher-order logic) qui étendent la logique de premier ordre en permettant d'utiliser des fonctions et de les combiner avec d'autres fonctions et des prédicats. De même, les fonctions font l'objet d'une formalisation appelée lambda-calcul pour décrire, transformer et simplifier les fonctions.		*Il existe des logiques d'ordre supérieur (higher-order logic) qui étendent la logique de premier ordre en permettant d'utiliser des fonctions et de les combiner avec d'autres fonctions et des prédicats. De même, les fonctions font l'objet d'une formalisation appelée lambda-calcul pour décrire, transformer et simplifier les fonctions.

	==Français==		==Français==
Ligne 40 :		Ligne 40 :

	<small>		<small>
	~~</small>~~<br> <div style="border:2px solid #336699; background: #f6f6f6; padding: 1em; margin-bottom:1em; width: 90%;"><html><a href="https://datafranca.org/wiki/Cat%C3%A9gorie:101"><img src="https://datafranca.org/images/icone-101-mots.png" width="250"></a></html>		<br> <div style="border:2px solid #336699; background: #f6f6f6; padding: 1em; margin-bottom:1em; width: 90%;"><html><a href="https://datafranca.org/wiki/Cat%C3%A9gorie:101"><img src="https://datafranca.org/images/icone-101-mots.png" width="250"></a></html>
	<br></div><br><br>		<br></div><br><br>


	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	[[Catégorie:101]]		[[Catégorie:101]]

Claude COULOMBE le 12 août 2022 à 17:31

2022-08-12T17:31:16Z

← Version précédente		Version du 12 août 2022 à 13:31
Ligne 11 :		Ligne 11 :
	Avec la représentation et le raisonnement (ou [[inférence]]), la logique constitue le troisième élément du triptyque de la capacité de déduction d'un système d'intelligence artificielle.		Avec la représentation et le raisonnement (ou [[inférence]]), la logique constitue le troisième élément du triptyque de la capacité de déduction d'un système d'intelligence artificielle.

	Il existe plusieurs types de logiques formelles:		Il existe plusieurs types de logiques formelles que l'on distingue par leur « ordre » qui qualifie leur niveau d'abstraction. Donc plus l'ordre d'une logique est élevé, plus la logique est abstraite.

	* La logique propositionnelle ou [https://datafranca.org/wiki/Logique_des_propositions logique des propositions]		* La logique propositionnelle ou [https://datafranca.org/wiki/Logique_des_propositions logique des propositions]

Pitpitt le 11 août 2022 à 23:12

2022-08-11T23:12:47Z

← Version précédente		Version du 11 août 2022 à 19:12
Ligne 9 :		Ligne 9 :
	==Compléments==		==Compléments==

	Avec la représentation et le raisonnement (ou inférence), la logique constitue le troisième élément du triptyque de la capacité de déduction d'un système d'intelligence artificielle.		Avec la représentation et le raisonnement (ou [[inférence]]), la logique constitue le troisième élément du triptyque de la capacité de déduction d'un système d'intelligence artificielle.

	Il existe plusieurs types de logiques formelles:		Il existe plusieurs types de logiques formelles:
Ligne 46 :		Ligne 46 :
	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	[[Catégorie:101]]		[[Catégorie:101]]
	~~[[Catégorie:PUBLICATION]]~~