MHB Can Predicate Properties Be Neither True nor False?

  • Thread starter Thread starter lemonthree
  • Start date Start date
  • Tags Tags
    Properties
Click For 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.
 

Thread 'Two interesting number theory tricks'

First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...
View full post »

Similar threads

Undergrad Are existence proofs outlawed in multi-valued logics?
  • · Replies 19 ·
Replies
19
Views
3K
Undergrad What Are the Axioms of Fuzzy Logic and How Do They Extend Boolean Algebra?
  • · Replies 7 ·
Replies
7
Views
2K
A statement that is true AND false?
  • · Replies 21 ·
Replies
21
Views
10K
MHB Ackermann's function is μ-recursive
  • · Replies 11 ·
Replies
11
Views
4K
MHB Is the Statement True or False?
  • · Replies 2 ·
Replies
2
Views
2K
Predicate calculus: Proof problem (please check for me)
  • · Replies 10 ·
Replies
10
Views
6K
Undergrad Ways to put n balls in m boxes such that exactly k boxes are empty?
  • · Replies 29 ·
Replies
29
Views
4K
Can a statement imply itself without being true or false?
  • · Replies 2 ·
Replies
2
Views
4K
Is mathematics invented or discovered?
  • · Replies 2 ·
Replies
2
Views
464
How does the implies connective work in logic?
  • · Replies 2 ·
Replies
2
Views
3K