MHB Can Predicate Properties Be Neither True nor False?

  • Thread starter Thread starter lemonthree
  • Start date Start date
  • Tags Tags
    Properties
AI Thread Summary
The discussion centers on the nature of predicates and their truth values, questioning whether a predicate can be neither true nor false. It is established that a predicate's truth set consists of values that make it true, and that predicates have finite variables, leading to the conclusion that certain options in the posed questions are false. The truth set of a predicate can indeed be empty, supporting the notion that a predicate can lack true values. However, participants express concerns about the precision of the questions, particularly regarding the definitions of "always" and the role of variables. Overall, the conversation highlights the complexities and ambiguities in understanding predicate properties.
lemonthree
Messages
47
Reaction score
0
predicate.JPG

I'm not very sure whether a predicate can be neither true or false, and I haven't seen any example so far.

The second choice is false because it is the truth set that is the set of all values which make the predicate true.
A predicate has finite variables, so the third choice is false too.

I believe the truth set of a predicate can be empty, so the last choice is true.
 
Physics news on Phys.org
I agree with your choices, but I find the questions not precise enough. According to Wikipedia, a predicate on a set $X$ is a function from $X$ to $\{\text{true}, \text{false}\}$. With this definition it is not clear what "always" means in question 1 and what it means for a predicate to contain variables in question 3.
 

Similar threads

Replies
7
Views
1K
Replies
21
Views
10K
Replies
11
Views
4K
Replies
2
Views
2K
Replies
2
Views
113
Replies
2
Views
3K
Back
Top