[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 73 KB, 640x898, x.jpg [View same] [iqdb] [saucenao] [google]
2660488 No.2660488 [Reply] [Original]

Hey /sci, quick question.

What is the difference between a predicate symbol and a function symbol in predicate logic?

google and wikipedia have failed me

>> No.2660523

Check the glossary in the back of your textbook, kid. It'll tell you how to do your homework.

>> No.2660838

A function symbol acts on terms to yield complex terms. For example, the function f(x) acts on term t to yield term f(t).

A predicate symbol acts on terms to yield sentences. For example, the predicate F(x) acts on the term t to yield the statement F(t).

In math, "squared" (^2) is a function, and yields variables or constants when applied to variables or constants.

In math, "equals" (=) is a predicate, and yields statements when positioned between two terms.