Formal Logic/Preliminaries

Preliminaries


 * 1) Preliminaries