THE VARIABLES ELIMINATION ALGORITHM FOR DEDUCTION OF LOGICAL COROLLARY ON THE RESOLUTION METHOD OF SENTENTIAL CALCULUS
Journal: Science and world (Vol.1, No. 24)Publication Date: 2015-08-18
Authors : Paley I.A.;
Page : 22-24
Keywords : sentential calculus; logical corollary; resolution method.;
Abstract
The author suggests the algorithm of resolvent equation, on each iteration the number of variables lessens to one.
Other Latest Articles
- Marketing of Library & Information Products and Services An Overview
- Colour Variation of an Individual of Hart’s Rivulus (Rivulus hartii) found in a Habitat Rich in Polycyclic Aromatic Hydrocarbons in the Pitch Lake of Trinidad
- NUMERICAL STUDY OF CORRESPONDENCE BETWEEN BAR CONTINUATION AND ENVIRONMENTAL TEMPERATURE Toc0 IN THE CASE OF TEMPERATURE CHANGING ACCORDING TO LINEAR LAW
- ALGORITHMIC METHOD OF THE CONVERSION FUNCTIONING TABLES (FT) FOR CONTROL INDUSTRIAL SYSTEMS
- Habitat selection of the Shelduck Tadorna tadorna (Aves: Anseriformes) in Evros Delta, Greece
Last modified: 2016-07-22 19:56:41