Pravles Redneckoff

Operator of assertion (← )

Definition

The operator of assertion [$s\leftarrow P$] "is read" as follows:

1. "Object s has attribute P,"
2. "s is such, that P,"
3. "s is characterised by that which is P," etc.

We will consider such expressions to be primitively clear, to be explained in examples.

Alternative way to write it down

Instead of our symbol $s\leftarrow P$, the logician normally uses $P(s)$

Sources

1. Zinoviev, 1973, 113 of 323

Related Pages

1. Logical Operators