Logique et langage mathématique

Search For Search

1. Accueil
2. Knowledge Base
3. Recherche par thème
4. Logique et langage mathématique

• Raisonnement mathématique
• Ensembles
  • Ensembles de nombres

accolades

Amalie Emmy Noether (1882-1935)

antécédent

argument

attribut

Auguste De Morgan

axiome

biconditionnelle

biunivoque

blocs de mosaïque

blocs logiques

calcul

calcul propositionnel

canonique

caractère

caractère statistique

cardinal d’un ensemble

carré cartésien

complémentaire d’un ensemble

conditionnelle

conjecture

conjonction

connecteur

conséquent

contradiction

contraposée

 

corollaire

corps

couples réciproques

crochets

décimale

Définition d’un ensemble en compréhension

définition d’un ensemble en extension

degré d’un polynôme

diagramme de Carroll

diagramme de Venn

différence

différence d’ensembles

différence symétrique d’ensembles

disjonction

disjonction exclusive

égalité fausse

Voir aussi : Égalité Relation d’égalité

égalité vraie

Voir aussi : Égalité Relation d’égalité  

élément d’un ensemble

ensemble

ensemble référentiel

ensemble vide

équivalence

équivalence logique

espace géométrique

forme propositionnelle

Georg Cantor (1845-1918)

groupe

hypothèse

identité logique

implication logique

John Venn (1834-1923)

lemme

logique mathématique

loi

lois de De Morgan

 

mathématique

méthode quantitative

n-uplet

négation

notation

opérande

opération booléenne

ordre d’un polynôme

parenthèses

partition d’un ensemble

phrase mathématique

plan

postulat

programme

proposition

proposition réciproque

propositions équivalentes

quantificateur

raisonnement mathématique

relation d’ordre

structure algébrique

symbole

table de vérité

tautologie

théorème

théorie des ensembles

valeur de vérité

variable

variable propositionnelle

vinculum