Programming Research Group Technical Monograph PRG-78

Carroll Morgan and J W Sanders

September 1989, 17 pages, ISBN 0-902928-58-9

This document records some important laws of classical predicate logic. It is designed as a reservoir to be tapped by users of logic, in system development. Though a systematic presentation is attempted, many of the laws appear just because they happen to be useful.