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:16, 2 November 2021
, 3 years agoCreated page with "Appartenenza"
#''Quantificatore universale'', che è indicata dal simbolo <math>\forall</math> (for all):
#''Quantificatore universale'', che è indicata dal simbolo <math>\forall</math> (for all):
#''Dimostrazione'', 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):
#''Appartenenza'', che è indicata dal simbolo <math>\in</math> (is an element of) o dal simbolo <math>\not\in</math> (is not an element of):
===Dimostrazione per assurdo===
===Dimostrazione per assurdo===