A user with 61 edits. Account created on 7 January 2015.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) ( 20 | 50 | 100 | 250 | 500)

28 May 2024

18 May 2024

  • 14:02 14:02, 18 May 2024 diff hist −32 Propositional formulaOn second thought, since the next sentence describes truth values, we should just rely on that sentence to describe this.
  • 13:55 13:55, 18 May 2024 diff hist +10 Propositional formulaFormulas 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:42 17:42, 15 May 2024 diff hist +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.

29 May 2023

11 September 2022

27 August 2022

26 August 2022

23 August 2022

8 August 2022

7 August 2022

19 January 2022

30 October 2021

13 September 2021

13 August 2021

6 August 2021

4 August 2021

29 July 2021

27 July 2021

4 July 2021

20 September 2015

(newest | oldest) View (newer 50 | ) ( 20 | 50 | 100 | 250 | 500)
A user with 61 edits. Account created on 7 January 2015.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) ( 20 | 50 | 100 | 250 | 500)

28 May 2024

18 May 2024

  • 14:02 14:02, 18 May 2024 diff hist −32 Propositional formulaOn second thought, since the next sentence describes truth values, we should just rely on that sentence to describe this.
  • 13:55 13:55, 18 May 2024 diff hist +10 Propositional formulaFormulas 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:42 17:42, 15 May 2024 diff hist +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.

29 May 2023

11 September 2022

27 August 2022

26 August 2022

23 August 2022

8 August 2022

7 August 2022

19 January 2022

30 October 2021

13 September 2021

13 August 2021

6 August 2021

4 August 2021

29 July 2021

27 July 2021

4 July 2021

20 September 2015

(newest | oldest) View (newer 50 | ) ( 20 | 50 | 100 | 250 | 500)

Videos

Youtube | Vimeo | Bing

Websites

Google | Yahoo | Bing

Encyclopedia

Google | Yahoo | Bing

Facebook