Originally published in 1962. This book presents the concepts and methods of a basic part of logic. Elementary ideas are explained followed by a more comprehensive account of truth-functionality. It describes and explains the truthtable method, the deductive method and the method of normal forms for testing truth-functional aguments.