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/es (view source)
Revision as of 04:16, 27 October 2021
, 3 years agoCreated page with "Demostración"
#''Consecuencia'', que se indica con el símbolo <math>\vdash</math> (is a partition of..):
#''Consecuencia'', que se indica con el símbolo <math>\vdash</math> (is a partition of..):
#''Cuantificador universal'', que se indica con el símbolo <math>\forall</math> (for all):
#''Cuantificador universal'', que se indica con el símbolo <math>\forall</math> (for all):
#''Demonstration'', which is indicated by the symbol <math>\mid</math> (such that): and
#''Demostración'', which is indicated by the symbol <math>\mid</math> (such that): and
#''Membership'', which is indicated by the symbol <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):
#''Membership'', which is indicated by the symbol <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):