« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions
Contenu supprimé Contenu ajouté
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
| 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]]
|