Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/pt (view source)
Revision as of 17:00, 3 November 2021
, 3 years agoCreated page with "ou pelo símbolo"
#''Quantificador universal'', que é indicado pelo símbolo <math>\forall</math> (for all):
#''Quantificador universal'', que é indicado pelo símbolo <math>\forall</math> (for all):
#''Demonstração'', que é indicado pelo símbolo <math>\mid</math> (such that): and
#''Demonstração'', que é indicado pelo símbolo <math>\mid</math> (such that): and
#''Filiação'', que é indicado pelo símbolo <math>\in</math> (is an element of) or by the symbol <math>\not\in</math> (is not an element of):
#''Filiação'', que é indicado pelo símbolo <math>\in</math> (is an element of) ou pelo símbolo <math>\not\in</math> (is not an element of):
===Demonstration by absurdity===
===Demonstration by absurdity===