« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions

Contenu supprimé Contenu ajouté
Sharayanan (discussion | contributions)
m Ajout rapide de la catégorie Catégorie:Introduction aux mathématiques (avec HotCats)
Modif. navigateur chapitre - wikification - catégorisation
Ligne 1 :
{{Chapitre
| titre = Rudiments de logique=
| idfaculté = mathématiques
| leçon = [[Catégorie:Introduction aux mathématiques]]
| numero = 1
| précédent = [[Introduction aux mathématiques|Sommaire]]
| suivant = [[../Notion d'ensemble/]]
| niveau =
}}
 
==Assertions==
 
{{Définition
| titre = Définition : assertion
| contenu =
On appelle '''assertion''' (ou '''proposition''') toute phrase à laquelle on peut attribuer une valeur de vérité : ou bien ''vrai'' ou bien ''faux''. Il s'agit d'une logique binaire obéissant à la [[w:Principe du tiers exclu|règle du tiers exclu]].
}}
Ligne 119 ⟶ 129 :
 
==Prédicats, quantificateurs==
{{Définition
| titre = Définition : prédicat
| contenu =
Soit ''E'' un ensemble. On appelle '''prédicat sur''' '''''E''''' la donnée, pour chaque élément ''x'' de ''E'', d'une assertion ''P''(''x'').}}
 
Ligne 139 ⟶ 151 :
* <math> \text{non}(\forall x\in E, P(x))\Leftrightarrow (\exists x\in E / \text{non}\, P(x))</math>
 
[[Catégorie:Introduction aux mathématiques]]
[[Catégorie:Introduction aux mathématiques]]