Working with decidable predicates

  • MHB
  • Thread starter HashTab
  • Start date
  • #1

HashTab

3
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
 

Answers and Replies

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

Suggested for: Working with decidable predicates

I Predicates and Models ... Goldrei
Replies
6
Views
377
MHB Are the questions decidable?
Replies
1
Views
1K
MHB Predicates and Quanitifiers - Can't understand Question
Replies
3
Views
2K
A Is there a decidable set theory?
Replies
5
Views
1K
I Question Regarding Binary PR Predicates
Replies
2
Views
1K
A First order logic : Predicates
Replies
3
Views
1K
I Linear Model with independent categorical variable
Replies
5
Views
130
MHB ER model with cardinalities
Replies
1
Views
378
A Piecewise linear interpolation with uncertainties
Replies
5
Views
626
I Coefficient sign flip in linear regression with correlated predictors
Replies
13
Views
147

Hot Threads

Recent Insights

Back
Top