Introductory course stressing "informal" methods of validating arguments and the formal proof procedures of symbolic logic. FT