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.
 

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Similar threads

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

Hot Threads

Recent Insights

Back
Top