more from this thinker     |     more from this text

Single Idea 13902

[filed under theme 4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / a. Symbols of PC ]

Full Idea

A predicate letter followed by one name expresses a property ('Gm'), and a predicate-letter followed by two names expresses a relation ('Pmn'). We could write 'Pmno' for a complex relation like betweenness.

Gist of Idea

'Gm' says m has property G, and 'Pmn' says m has relation P to n

Source

E.J. Lemmon (Beginning Logic [1965], 3.1)

Book Ref

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.98

The 4 ideas with the same theme [meanings of the symbols used in predicate logic]:

13909 Write '(∀x)(...)' to mean 'take any x: then...', and '(∃x)(...)' to mean 'there is an x such that....' [Lemmon]
13902 'Gm' says m has property G, and 'Pmn' says m has relation P to n [Lemmon]
13911 The 'symbols' are bracket, connective, term, variable, predicate letter, reverse-E [Lemmon]
18952 '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam]