13:5513:55, 18 May 2024diffhist+10
Propositional formula
Formulas do not have truth values in themselves. Rather, for any assignment of truth values to the variables, it determines a truth value for the formula. But it is wrong to say that a formula itself has a truth value.
15 May 2024
17:4217:42, 15 May 2024diffhist+5
Predicate (mathematical logic)
The word "constants" in formal logic, refers to 0-ary function symbols, whereas this explanation probably had in mind some "single element of the domain". So it was misleading, and it's more accurate to say that first-order logic predicates are characterized by having a fixed arity, each coordinate being substituted by elements of the domain, in the usual semantic scheme.
17:0317:03, 11 September 2022diffhist+1,947
0.999...
Added a section to explain what is meant by the expression 0.999... since I think most people fail to think about this, when trying to understand the equality.Tag: Reverted
01:3201:32, 4 July 2021diffhist−127
Null set
→Definition: The fact about the existence of null sets has already been discussed in earlier sections, and also doesn't make sense in the section titled "Definition"
01:2701:27, 4 July 2021diffhist+218
Null set
The word "anticipates" is very unclear as it appears here. Also, since many people will likely view this page with the confusion that the empty set is the same thing as "the null set", they will tend to be confused by this article and not realize that there is a distinction between the two concepts. So I tried to make clear how these are distinct in a way that's readable to a non-expert.
21:4621:46, 20 September 2015diffhist+64
Shadoof
I changed the sentence claiming the invention in Egypt since the evidence seems to be the somewhat out-dated and off-topic claim of Joseph Needham. The more modern claim by a more relevant scholar, John Roberts, doesn't pinpoint the origin of the shadoof
13:5513:55, 18 May 2024diffhist+10
Propositional formula
Formulas do not have truth values in themselves. Rather, for any assignment of truth values to the variables, it determines a truth value for the formula. But it is wrong to say that a formula itself has a truth value.
15 May 2024
17:4217:42, 15 May 2024diffhist+5
Predicate (mathematical logic)
The word "constants" in formal logic, refers to 0-ary function symbols, whereas this explanation probably had in mind some "single element of the domain". So it was misleading, and it's more accurate to say that first-order logic predicates are characterized by having a fixed arity, each coordinate being substituted by elements of the domain, in the usual semantic scheme.
17:0317:03, 11 September 2022diffhist+1,947
0.999...
Added a section to explain what is meant by the expression 0.999... since I think most people fail to think about this, when trying to understand the equality.Tag: Reverted
01:3201:32, 4 July 2021diffhist−127
Null set
→Definition: The fact about the existence of null sets has already been discussed in earlier sections, and also doesn't make sense in the section titled "Definition"
01:2701:27, 4 July 2021diffhist+218
Null set
The word "anticipates" is very unclear as it appears here. Also, since many people will likely view this page with the confusion that the empty set is the same thing as "the null set", they will tend to be confused by this article and not realize that there is a distinction between the two concepts. So I tried to make clear how these are distinct in a way that's readable to a non-expert.
21:4621:46, 20 September 2015diffhist+64
Shadoof
I changed the sentence claiming the invention in Egypt since the evidence seems to be the somewhat out-dated and off-topic claim of Joseph Needham. The more modern claim by a more relevant scholar, John Roberts, doesn't pinpoint the origin of the shadoof