Working with decidable predicates

  • Context:
  • Thread starter Thread starter HashTab
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
1 reply · 1K views
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

Physics news on Phys.org
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

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

Difference between predicates and true/false statements

  • Plonker1
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1

When is a problem said to be decidable or undecidable?

  • shivajikobardan
  • · Replies 1 ·
  • Programming 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

Is the language 0^i10^j decidable?

  • ChakanaX
  • · Replies 1 ·
  • Engineering and Comp Sci Homework Help
Replies
1