A predicate is said to be \"heteropredicable\" if the result of applying the pre

Question

A predicate is said to be "heteropredicable" if the result of applying the predicate to itself is a false statement. For example, the predicate P(x) = "x is written in Swahili" is heteropredicable, because the statement " "x is written in Swahili" is written in Swahili" is false. Another example of a heteropredicable predicate would be Q(x) = "x is longer than 'War and Peace'.

"A predicate is said to be "autopredicable" if the result of applying it to itself is a true statement. For example, the predicate P(x) = "x appears on MAT 311 Homework #10" is autopredicable, because the statement " "x appears on MAT 311 Homework #10" appears on MAT 311 Homework #10" is a true statement. Another example of an autopredicable statements would be Q(x)="x is written with fewer than 500 letters."

a) Is the predicate "x is heteroprediable" heteropredicable?

b) Is the predicate "x is autoprediable" autopredicable?

Explanation / Answer

a) yes

b) no

Related Questions

Navigate

• Browse (All)
• Browse A
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.