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.
