Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/fr (view source)
Revision as of 15:38, 2 November 2021
, 3 years agoCreated page with "qui est indiqué par le symbole"
#''Conjonction'', qui est indiqué par le symbole <math>\land</math> (and):
#''Conjonction'', qui est indiqué par le symbole <math>\land</math> (and):
#''Disjonction'', qui est indiqué par le symbole <math>\lor</math> (or):
#''Disjonction'', qui est indiqué par le symbole <math>\lor</math> (or):
#''Négation'', which is indicated by the symbol <math>\urcorner</math> (not):
#''Négation'', qui est indiqué par le symbole <math>\urcorner</math> (not):
#''Implication'', which is indicated by the symbol <math>\Rightarrow</math> (if ... then):
#''Implication'', which is indicated by the symbol <math>\Rightarrow</math> (if ... then):
#''Consequence'', which is indicated by the symbol <math>\vdash</math> (is a partition of..):
#''Consequence'', which is indicated by the symbol <math>\vdash</math> (is a partition of..):