Logique et langage mathématique

Search For Search

accolades

Amalie Emmy Noether

antécédent

argument

attribut

axiome

biconditionnelle

biunivoque

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

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

é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

Page suivante »