This chapter focusses on the analysis of Relational Logic. We begin with definitions for the logical properties of individual sentences - validity, contingency, and unsatisfiability. We then turn relationships between sentences - logical equivalence, logical entailment, and logical consistency. The definitions of these notions are the same as those in Propositional Logic, but there are differences in details as a result of differences in the syntax and semantic of the two logics. We conclude the chapter with a discussion of the theoretical equivalence of Relational Logic and Propositional Logic.
|