Direct and Converse Theorems

The Elements of Symbolic Logic

1st Edition - January 1, 1963
Author: I. S. Gradshtein
Editors: I. N. Sneddon, M. Stark, S. Ulam
Language: English
eBook ISBN:
9 7 8 - 1 - 4 8 3 1 - 5 5 0 7 - 4

Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well… Read more

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote

Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well as the concept of necessary and sufficient conditions. This book consists of two chapters. The first chapter is devoted to the question of negation. Connected with the question of the negation of a proposition are interrelations of the direct and converse and also of the direct and inverse theorems; the interrelations of necessary and sufficient conditions; and the definition of the locus of a point. The second chapter explains several questions of mathematical logic–a science that is being developed in connection with the theory of mathematical proof. This edition is provided with a large number of problems and questions to help easily understand the material. The book is intended for students studying mathematics, specifically at intermediate colleges of various types. The text is also a useful reference for university students and teachers.