Propositional Logic

Abstract

SOFL specifications usually involve both diagrams and formal textual definitions. The underlying languages for writing formal definitions are the classical propositional and predicate logics. These logics are also used for defining properties of specifications and for expressing conditions for specification verification. In this chapter, we introduce the propositional logic, and in the next chapter we explain predicate logic. Since SOFL adopts slightly different syntax of some logical operators for the sake of readability, the presentations in this and the next chapter will directly use SOFL syntax to be consistent with specifications discussed throughout the book.