HomeContents:Part IV: Logic |
## Part IV: Logic## IntroductionIn this part, we say a little about conceptual graphs as a kind of
## OverviewConceptual graphs are actually a kind of logic. Every conceptual graph can be translated into a formula in the predicate calculus. In this chapter, we talk about three aspects of the logical nature of conceptual graphs. The first is **negation**; Every context can be negated by placing a small symbol, "" in front of the context.The second is the logical connective " **and**". Juxtaposed (but unconnected) conceptual graphs are connected by "and".The third aspect is how to say " **or**", given that the default interpretation of juxtaposed conceptual graphs is "and".
Finally, we apply some of these concepts to syllogisms. ## NextWe start with negation. Prev: 11.4 Scope rulesUp: Table of contentsNext: 12 Negation |