Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
The logic of classical language/it (view source)
Revision as of 03:44, 27 October 2021
, 3 years agoCreated page with "che è indicata dal simbolo"
#''Conjunction'', che è indicata dal simbolo <math>\land</math> (and):
#''Conjunction'', che è indicata dal simbolo <math>\land</math> (and):
#''Disjunction'', che è indicata dal simbolo <math>\lor</math> (or):
#''Disjunction'', che è indicata dal simbolo <math>\lor</math> (or):
#''Negation'', which is indicated by the symbol <math>\urcorner</math> (not):
#''Negation'', che è indicata dal simbolo <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..):