Changes

The logic of classical language/es (view source)

3 bytes removed , 3 years ago

Created page with "que se indica con el símbolo"

Line 460: Line 460:

#''Disyunción'', que se indica con el símbolo <math>\lor</math> (or):

#''Negación'', que se indica con el símbolo <math>\urcorner</math> (not):

−

#''Implicación'', ~~which is indicated by the symbol~~ <math>\Rightarrow</math> (if ... then):

+

#''Implicación'', que se indica con el símbolo <math>\Rightarrow</math> (if ... then):

#''Consequence'', which is indicated by the symbol <math>\vdash</math> (is a partition of..):

#''Universal quantifier'', which is indicated by the symbol <math>\forall</math> (for all):

Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor

17,894

edits