Such propositions consist of a simple predicate, representing either a quality or a relation, and a number of proper names.
As we have seen, at the time of writing Principia Mathematica, Russell believed that an elementary proposition consisting of a single predicate representing an n-place relation along with n names of individuals is true if it corresponds to a complex.
where < > signifies the verb of the descriptor, indicates the object or goal of the predicate, represents the particular text or specific topic the reader is required to comprehend, and // designates the language, organization, and other modifiers of the reading material.
Case 1 Component (mathtt{{2{nd}}_Cat}) of predicate representing action or state Pas takes value "transitive".
Case 2 Component (mathtt{2}mathtt{nd})_Cat of predicate representing action or state Pas takes other values.
There is one predicate representing instance which is Po1 x) which have the relationship with Pas.
Thus, to represent a property as existence-entailing in a Kripke model, one simply ensures that, at every possible world w, the extension of the predicate representing that property consist only of things that exist in w.
Each this syntactic structure is the structure of one sentence in the source paragraph and belongs to one of two form: Case 1 Component (mathtt{{2{nd}}_Cat}) of predicate representing action or state Pas takes value "transitive".
The structure form is: begin{aligned} mathtt{Form} mathtt{1} := mathtt{{Po1 (x)}} + mathtt{{Pas (x,y)}} + mathtt{{Po2 (y)}} end{aligned} Case 2 Component (mathtt{2}mathtt{nd})_Cat of predicate representing action or state Pas takes other values.
A predicate can represent a concept or a relation.
A predicate is represented as a function that has arguments in parenthesis, with each argument being a constant, a variable, or a predicate.
