Logical Operators
Logical operators can be divided in two groups:
- term-generating operators and
- statement-generating operators [Zinoviev, 2014, p. 4].
Statement-Generating Operators
| Symbol | Name | Notes |
|---|---|---|
| "have property ...", "are characterized by the fact that ...". | See also Operator of assertion. | |
| "some" | ||
| "all" | ||
| "if ..., then ..." | ||
| Negation | Can only be used together with the first four operators. | |
| The uncertainty operator | Can only be used together with the first four operators. |
The negation and the uncertainy operator can only be used together with the first four operators [Zinoviev, 2014, p. 5].
Term-Generating Operators
| Symbol | Name | Notes |
|---|---|---|
| "which" | See also "The fact that" operator. | |
| "term ...", "statement ..." |
Source: [Zinoviev, 2014, p. 5].
Operators Which Can Be Both Term- and Statement-Generating
| Symbol | Name | Notes |
|---|---|---|
| Logical "and" ("every one of ...") | ||
| Strong "or" ("one and only one of ...") | ||
| Weak "or" ("at least one of ...") | ||
| Not |
Source: [Zinoviev, 2014, p. 5]