User contributions for Axiomtutor
Results for Axiomtutor talk block log uploads logs global block log global account filter log
A user with 11 edits. Account created on 19 February 2025.
22 February 2025
- 05:1605:16, 22 February 2025 diff hist +5 Logical conjunction →Natural language: more accurate language current
20 February 2025
- 21:0721:07, 20 February 2025 diff hist +108 User:Axiomtutor cleaned source current Tag: Visual edit: Switched
- 21:0521:05, 20 February 2025 diff hist +329 User:Axiomtutor →Course Guides: added links Tag: Visual edit
- 01:0901:09, 20 February 2025 diff hist +2 m Truth function →Formal definition: small fix Tag: Visual edit
- 01:0701:07, 20 February 2025 diff hist +262 Truth function →Formal definition: Added citation to Hodel's mathematical logic text. Tag: Visual edit
- 01:0001:00, 20 February 2025 diff hist +1,992 Truth function added the formal definition by recursion.
- 00:2000:20, 20 February 2025 diff hist −2,054 Truth table I recommend not explaining the concept of the truth function here, since there is a separate page dedicated to the truth function.
- 00:0900:09, 20 February 2025 diff hist +283 User talk:Axiomtutor →February 2025: Reply Tag: Reply
19 February 2025
- 23:5723:57, 19 February 2025 diff hist +74 User:Axiomtutor No edit summary Tag: Visual edit
- 23:3123:31, 19 February 2025 diff hist +9 N User talk:Axiomtutor ←Created page with '= Hello ='
- 23:2923:29, 19 February 2025 diff hist +228 N User:Axiomtutor Create user page. Tag: Visual edit
