Abstract: Attribute of generalized list in data structure is used to the design for logical and storage structure of propositional logic expression on the computer and used to realise its basic manipulation and complex formal deduction on this structure.