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

Contenu supprimé Contenu ajouté
LydieBot (discussion | contributions)
m clean up, remplacement: sommaire → Sommaire (2) avec AWB
m Robot : Remplacement de texte automatisé (- n'est pas + n’est pas , - Aujourd'hui + Aujourd’hui , - d'euros + d’euros , - d'agir + d’agir , - l'apparence + l’apparence )
Ligne 17 :
* « <math>i^2=-1</math> » est une assertion vraie ;
* « <math>2+2=5</math> » est une assertion fausse ;
* « <math>x\geq 1</math> » n'estn’est pas une assertion.
 
Le but est de montrer que certaines assertions, des plus simples aux plus ardues, sont vraies ou fausses. Pour élaborer de nouvelles assertions à partir d'un petit jeu de base, qu'on appelle '''axiomes''', on utilise [quasiment exclusivement non ?] les connecteurs logiques et les quantificateurs.