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:15, 2 November 2021
, 3 years agoCreated page with "Dimostrazione"
#''Consequence'', che è indicata dal simbolo <math>\vdash</math> (is a partition of..):
#''Consequence'', che è indicata dal simbolo <math>\vdash</math> (is a partition of..):
#''Quantificatore universale'', che è indicata dal simbolo <math>\forall</math> (for all):
#''Quantificatore universale'', che è indicata dal simbolo <math>\forall</math> (for all):
#''Demonstration'', che è indicata dal simbolo <math>\mid</math> (such that): and
#''Dimostrazione'', che è indicata dal simbolo <math>\mid</math> (such that): and
#''Membership'', che è indicata dal simbolo <math>\in</math> (is an element of) o dal simbolo <math>\not\in</math> (is not an element of):
#''Membership'', che è indicata dal simbolo <math>\in</math> (is an element of) o dal simbolo <math>\not\in</math> (is not an element of):