Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/pt (view source)
Revision as of 16:58, 3 November 2021
, 3 years agoCreated page with "que é indicado pelo símbolo"
#''Negação'', que é indicado pelo símbolo <math>\urcorner</math> (not):
#''Negação'', que é indicado pelo símbolo <math>\urcorner</math> (not):
#''Implicação'', que é indicado pelo símbolo <math>\Rightarrow</math> (if ... then):
#''Implicação'', que é indicado pelo símbolo <math>\Rightarrow</math> (if ... then):
#''Consequência'', which is indicated by the symbol <math>\vdash</math> (is a partition of..):
#''Consequência'', que é indicado pelo símbolo <math>\vdash</math> (is a partition of..):
#''Universal quantifier'', which is indicated by the symbol <math>\forall</math> (for all):
#''Universal quantifier'', which is indicated by the symbol <math>\forall</math> (for all):
#''Demonstration'', which is indicated by the symbol <math>\mid</math> (such that): and
#''Demonstration'', which is indicated by the symbol <math>\mid</math> (such that): and