User contributions for Teintu
Results for Teintu talk block log uploads logs global block log global account filter log
A user with 2 edits. Account created on 24 July 2024.
25 July 2024
- 12:0712:07, 25 July 2024 diff hist +1 m Binary relation Changed "but the blue one is not (as it relates <math>1</math> to both <math>1</math> and <math>1</math>)" to "but the blue one is not (as it relates <math>1</math> to both <math>1</math> and <math>-1</math>)" as it was a mistake, in accordance with https://en.wikipedia.org/wiki/Relation_(mathematics)#Properties_of_relations
24 July 2024
- 19:5219:52, 24 July 2024 diff hist +1 m Sentence (mathematical logic) changed "atomic formula" into "atomic sentences" in the second paragraph
