User contributions for 178.138.195.100
Appearance
Results for 178.138.195.100 talk block log logs global block log filter log
14 June 2021
- 02:3402:34, 14 June 2021 diff hist +3 Talk:Propositional formula →Notation for propositions and propositional variables or constants in contrast to predicate letters: wh
- 00:5000:50, 14 June 2021 diff hist −1 Talk:Propositional formula →Notation for propositions and propositional variables or constants in contrast to predicate letters: -e
- 00:4100:41, 14 June 2021 diff hist +291 Talk:Propositional formula →Engineering connectives: status of a sentence re engineers
- 00:3300:33, 14 June 2021 diff hist 0 Propositional formula p,q notation for propositional variables (talk page)
- 00:2100:21, 14 June 2021 diff hist +2 Talk:Propositional formula →Notation for propositions and propositional variables or constants in contrast to predicate letters: ""
- 00:2000:20, 14 June 2021 diff hist +441 Talk:Propositional formula →Notation for propositions and propositional variables or constants
- 00:1200:12, 14 June 2021 diff hist +503 Talk:Propositional formula →Notation for propositions and propositional variables or constants: new section
13 June 2021
- 21:5421:54, 13 June 2021 diff hist +762 Talk:Open formula →Link to predicate symbol (predicate variable or predicate constant): new section
- 21:1821:18, 13 June 2021 diff hist +405 Talk:Propositional formula →Variable truth value of simple propositions/propositional constants: new section
- 21:0921:09, 13 June 2021 diff hist +5 Talk:Propositional formula →Truth function: usual/numeric algebraic formula
- 21:0621:06, 13 June 2021 diff hist +11 Talk:Propositional formula →Truth function: o
- 21:0521:05, 13 June 2021 diff hist +12 Talk:Propositional formula →Truth function: a, b
- 21:0321:03, 13 June 2021 diff hist +8 Talk:Propositional formula →Truth function: f(x, y)
- 20:5820:58, 13 June 2021 diff hist +5 Talk:Propositional formula →Absorption vs. Idempotency: ==