Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/fr (view source)
Revision as of 15:40, 2 November 2021
, 3 years agoCreated page with "qui est indiqué par le symbole"
#''Conséquence'', qui est indiqué par le symbole <math>\vdash</math> (is a partition of..):
#''Conséquence'', qui est indiqué par le symbole <math>\vdash</math> (is a partition of..):
#''Quantificateur universel'', which is indicated by the symbol <math>\forall</math> (for all):
#''Quantificateur universel'', which is indicated by the symbol <math>\forall</math> (for all):
#''Démonstration'', which is indicated by the symbol <math>\mid</math> (such that): and
#''Démonstration'', qui est indiqué par le symbole <math>\mid</math> (such that): and
#''Membership'', which is indicated by the symbol <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):
#''Membership'', which is indicated by the symbol <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):