Working with decidable predicates

  • Topic:
  • Thread starter HashTab
  • Start date
1 reply · 1K views · last reply
HashTab
Messages
3
Reaction score
0
I am currently reading this article

Here

I was wondering how to calculate the contents of it
Mainly the first equation equaling 1 or 0
 

Discussion

This article does not seem to have numbered equations, and the first formula on its own line is not an equation.
 

Similar threads

Undergrad Predicates and Models ... Goldrei
  • Math Amateur
  • · Replies 6 ·
  • Set Theory, Logic, Probability, Statistics
Replies
6
Predicates and Quanitifiers - Can't understand Question
  • Tvtakaveli
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
Difference between predicates and true/false statements
  • Plonker1
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Graduate First order logic : Predicates
  • radouani
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
Undergrad Negation of universal implication for predicates P(x) and Q(x)
  • ver_mathstats
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Undergrad Question Regarding Binary PR Predicates
  • SSequence
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
When is a problem said to be decidable or undecidable?
  • shivajikobardan
  • · Replies 1 ·
  • AI and Computer Science
Replies
1
Comp Sci What makes a decision problem decidable or undecidable?
  • shivajikobardan
  • · Replies 1 ·
  • Engineering and Comp Sci Homework Help
Replies
1
Working for defense company?
  • elias001
  • · Replies 16 ·
  • STEM Career Guidance
Replies
16
Undergrad Logical implication and predicates with necessity and sufficiency
  • XodoX
  • · Replies 10 ·
  • Set Theory, Logic, Probability, Statistics
Replies
10