Formalizing by symbolic library logic problems

Abstract

<span style="font-size:12.0pt;line-height: 115%;font-family:" times="" new="" roman";mso-fareast-font-family:"times="" roman";="" mso-ansi-language:en-us;mso-fareast-language:en-us;mso-bidi-language:ar-sa"="" lang="EN-US">Attempts to formalize the statements in a library operation by means of symbolic logic for stream lining further data processing operation. Uses the notation of both the Principia and Polish system of Propositional Calculus. Illustrates the use of Symbolic logic to common library search statements with the aid of truth values. Demonstrate the simplification of a flow chart by truth table. Manipulations like formula conversion and reduction were used to show their help in streamlining library instruction manuals. The application of logical possibilities for defining an optimum path in a complex network of library operations has been hinted. Statements of very simple, idealized and trivial problems are analyzed to determine their logical structure using basic logical concepts and propositional calculus notation in step-by-step exposition.</span>