Читать книгу Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind: by Charles Lutwidge Dodgson, alias Lewis Carroll - Lewis Carroll - Страница 34

We have seen that a Proposition of Relation, beginning with “Some,” asserts that some existing Things, being Members of its Subject, are also Members of its Predicate. Hence, it asserts that some existing Things are Members of both; i.e. it asserts that some existing Things are Members of the Class of Things which have all the Attributes of the Subject and the Predicate.

Hence, to translate it into a Proposition of Existence, we take “existing Things” as the new Subject, and Things, which have all the Attributes of the Subject and the Predicate, as the new Predicate.

Similarly for a Proposition of Relation beginning with “No”.

A Proposition of Relation, beginning with “All”, is (as shown in § 3) equivalent to two Propositions, one beginning with “Some” and the other with “No”, each of which we now know how to translate.

[Let us work a few Examples, to illustrate these Rules.