Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,492
edits
Changes
The logic of classical language/it (view source)
Revision as of 00:14, 2 November 2021
, 3 years agoCreated page with "Implicazione"
#''Disgiunzione'', che è indicata dal simbolo <math>\lor</math> (or):
#''Disgiunzione'', che è indicata dal simbolo <math>\lor</math> (or):
#''Negazione'', che è indicata dal simbolo <math>\urcorner</math> (not):
#''Negazione'', che è indicata dal simbolo <math>\urcorner</math> (not):
#''Implication'', che è indicata dal simbolo <math>\Rightarrow</math> (if ... then):
#''Implicazione'', che è indicata dal simbolo <math>\Rightarrow</math> (if ... then):
#''Consequence'', che è indicata dal simbolo <math>\vdash</math> (is a partition of..):
#''Consequence'', che è indicata dal simbolo <math>\vdash</math> (is a partition of..):
#''Universal quantifier'', che è indicata dal simbolo <math>\forall</math> (for all):
#''Universal quantifier'', che è indicata dal simbolo <math>\forall</math> (for all):