Translations:The logic of classical language/68/en

Revision as of 02:37, 27 October 2021 by FuzzyBot (talk | contribs) (Importing a new version from external source)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

For the sake of simplicity of exposition and reading, we will deal in this chapter with the symbol of belonging, the symbol of consequence and the "such that" as if they were quantifiers and connectives of propositions in classical logic