To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductiv...To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductive approaches,and indicates that grammar teaching by either approach alone has disadvantages,should adopt a combination technique.展开更多
In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, na...In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, namely, （positive） implicative strong deductive systems, respectively. Moreover we give equivalent characterizations of them.展开更多
This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching ...This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching approach, as a general grammar pedagogy, would improve the efficiency of students＇ acquisition of certain grammar points. This study results from comparison and contrast between one same class on the acquisition of subjunctive mood to 70 students in total, employing three different teaching methods： inductive approach with multimedia assistance （method 1）, deductive approach with multimedia assistance （method 2）, and both inductive approach and deductive approach with multimedia assistance （method 3）, based on self-reported reflection on the experiment, observation of students＇ learning process, students＇ pre-test and after-class evaluation test results, and surveys. Two identical experiments were conducted to two groups of students of different levels of language proficiency to increase the generalizability of the results. Findings revealed that the evaluation test score of the grammatical points taught with method 3 is much higher than those taught with the other two methods, and most students felt positive about method 3. Students nevertheless encounter obvious difficulties in inductive approach, indicating certain lack of self-learning skills in Chinese students展开更多
ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars...ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-展开更多
A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famo...A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.展开更多
OLDTNF resolution is an important mechanism used in a Prolog interpreter. This mechanism is extended and improved for evaluating recursive queries in deductive databases. The key idea of the refinement is to distingui...OLDTNF resolution is an important mechanism used in a Prolog interpreter. This mechanism is extended and improved for evaluating recursive queries in deductive databases. The key idea of the refinement is to distinguish between two classes of lookup nodes in an OLDTNF derivation and to handle them differently. First, reduce the search space by cutting of any subtree rooted at a lookup node of the first class. Further, speed up the evaluation by processing the second class in a second phase and generate many solutions directly from the solutions already produced (and the corresponding keys of solution lists) instead of evaluating them by expanding the corresponding subtrees in terms of the new solutions stored in solution lists.展开更多
A systematic, efficient compilation method for query evaluation of DeductiveDatabases (DeDB) is proposed in this paper. In order to eliminate redundancyand to minimize the potentially relevant facts, which are two key...A systematic, efficient compilation method for query evaluation of DeductiveDatabases (DeDB) is proposed in this paper. In order to eliminate redundancyand to minimize the potentially relevant facts, which are two key issues to theefficiency of a DeDB, the compilation process is decomposed into two phases.The first is the pre-compilation phase, which is responsible for the minimiza-tion of the potentially relevant facts. The second, which we refer to as thegeneral compilation phase, is responsible for the elimination of redundancy.The rule/goal graph devised by J. D. Ullman is appropriately extended andused as a uniform formalism. Two general algorithms corresponding to the twophases respectively are described intuitively and formally展开更多
A deductive database approach for complex objects reasoning is proposed,which is characterized by handling predicates nesting in terms of mapping hierarchically structured rules and facts to a flattened Horn-clause im...A deductive database approach for complex objects reasoning is proposed,which is characterized by handling predicates nesting in terms of mapping hierarchically structured rules and facts to a flattened Horn-clause implementation scheme.展开更多
This paper describes the design and implementation of DPA: a deductive language for embroidery pattern assembling. DPAL is similar to SQL and generates the embroidery pattern by matching the operators of space relatio...This paper describes the design and implementation of DPA: a deductive language for embroidery pattern assembling. DPAL is similar to SQL and generates the embroidery pattern by matching the operators of space relation with the rule in rule database. It improves the production efficiency of embroidery drafts and increases the variety of colors and patterns.展开更多
In-depth study of the components of polymyxins is the key to controlling the quality of this class of antibiotics.Similarities and variations of components present significant analytical challenges.A two-dimensional(2...In-depth study of the components of polymyxins is the key to controlling the quality of this class of antibiotics.Similarities and variations of components present significant analytical challenges.A two-dimensional(2D)liquid chromatography-mass spectrometry(LC-MS)method was established for screening and comprehensive profiling of compositions of the antibiotic colistimethate sodium(CMS).A high concentration of phosphate buffer mobile phase was used in the first-dimensional LC system to get the components well separated.For efficient and high-accuracy screening of CMS,a targeted method based on a self-constructed high resolution(HR)mass spectrum database of CMS components was established.The database was built based on the commercial MassHunter Personal Compound Database and Library(PCDL)software and its accuracy of the compound matching result was verified with six known components before being applied to genuine sample screening.On this basis,the unknown peaks in the CMS chromatograms were deduced and assigned.The molecular formula,group composition,and origins of a total of 99 compounds,of which the combined area percentage accounted for more than 95%of CMS components,were deduced by this 2D-LC-MS method combined with the MassHunter PCDL.This profiling method was highly efficient and could distinguish hundreds of components within 3 h,providing reliable results for quality control of this kind of complex drugs.展开更多
There are two types of reasoning in mathematics:inductive and deductive reasoning．You have been using inductive reasoning by observing patterns and making conjectures about your observations．This is the creative,inv...There are two types of reasoning in mathematics:inductive and deductive reasoning．You have been using inductive reasoning by observing patterns and making conjectures about your observations．This is the creative,investigative form of reasoning that mathematicians use most often．In the coming chapters,you will take a look at other fom of reasoning,deductive reasoning,to see if your discoveries are logically consistent．展开更多
We use inductive reasoning in everyday life. Many of the conjectures that come from this kind of thinking seem highly likely, although we can never be absolutely certain that they are true. Another method of reasoning...We use inductive reasoning in everyday life. Many of the conjectures that come from this kind of thinking seem highly likely, although we can never be absolutely certain that they are true. Another method of reasoning, called deductive reasoning, or deduction, can be used to prove that some conjectures are true. Deductive reasoning is the process of proving a specific conclusion from one or more general statements. A conclusion that is proved true by deductive reasoning is called a theorem.展开更多
Now we have a good understanding of inductive reasoning and deductive reasoning. In order to put them into practice, we should do some exercises. Practice Exercises Which reasoning process is shown in the following ex...Now we have a good understanding of inductive reasoning and deductive reasoning. In order to put them into practice, we should do some exercises. Practice Exercises Which reasoning process is shown in the following example? Explain your answer. 1. We examine the fingerprints of 1000 people. No two individuals in this group of people have identical fingerprints. We conclude that for all people, no two people have identical fingerprints.展开更多
The Fermat–Pramanik series are like below: .The mathematical principle has been established by factorization principle. The Fermat-Pramanik tree can be grown. It produces branched Fermat-Pramanik series using same pr...The Fermat–Pramanik series are like below: .The mathematical principle has been established by factorization principle. The Fermat-Pramanik tree can be grown. It produces branched Fermat-Pramanik series using same principle making Fermat-Pramanik chain. Branched chain can be propagated at any point of the main chain with indefinite length using factorization principle as follows: Same principle is applicable for integer solutions of A<sup>M</sup>+B<sup>2</sup>=C<sup>2</sup>which produces series of the type . It has been shown that this equation is solvable with N{A, B, C, M}. where , , M=M<sub>1</sub>+M<sub>2</sub> and M<sub>1</sub>>M<sub>2</sub>. Subsequently, it has been shown that using M= M<sub>1</sub>+M<sub>2</sub>+M<sub>3</sub>+... The combinations of Ms should be taken so that the values of both the parts (C<sub>n</sub>+B<sub>n</sub>) and (C<sub>n</sub>-B<sub>n</sub>) should be even or odd for obtaining Z{B,C}. Hence, it has been shown that the Fermat triple can generate a) Fermat-Pramanik multiplate, b) Fermat-Pramanik Branched multiplate and c) Fermat-Pramanik deductive series. All these formalisms are useful for development of new principle of cryptography. .展开更多
Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a nove...Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a novel approach for the design,analysis,management,control,and integration of CPSS,which can realize the causal analysis of complex systems by means of“algorithmization”of“counterfactuals”.However,because CPSS involve human and social factors(e.g.,autonomy,initiative,and sociality),it is difficult for traditional design of experiment(DOE)methods to achieve the generative explanation of system emergence.To address this challenge,this paper proposes an integrated approach to the design of computational experiments,incorporating three key modules:1)Descriptive module:Determining the influencing factors and response variables of the system by means of the modeling of an artificial society;2)Interpretative module:Selecting factorial experimental design solution to identify the relationship between influencing factors and macro phenomena;3)Predictive module:Building a meta-model that is equivalent to artificial society to explore its operating laws.Finally,a case study of crowd-sourcing platforms is presented to illustrate the application process and effectiveness of the proposed approach,which can reveal the social impact of algorithmic behavior on“rider race”.展开更多
我在硕士研究生一年级的《电子商务概论》课程中采用“双语教学”已有4年时间了。该课程为每周3课时，共16周，计48学时，目前使用的教材是高等教育出版社出版的、教育部高等教育司推荐的“国外优秀信息科学与技术系列教材”中的影印版...我在硕士研究生一年级的《电子商务概论》课程中采用“双语教学”已有4年时间了。该课程为每周3课时，共16周，计48学时，目前使用的教材是高等教育出版社出版的、教育部高等教育司推荐的“国外优秀信息科学与技术系列教材”中的影印版教材“Electronic Commerce A Managerial Pcrspective(电子商务管理视角)”。讲课用比较详细的PowerPoint英语演示文稿。展开更多
Through classifying modal verbs from the semantic aspect and the pragmatic aspect, this paper discusses difficulties that students may encounter in modal verb learning. It indicates that modal verbs have complicacy, a...Through classifying modal verbs from the semantic aspect and the pragmatic aspect, this paper discusses difficulties that students may encounter in modal verb learning. It indicates that modal verbs have complicacy, and a deductive approach and inductive approach should intermingle as an appropriate method to improve students' accuracy in use of modal verbs.展开更多
The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defin...The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.展开更多
文摘To solve the ambiguous understanding of Grammar Teaching position,based on explicit grammatical knowledge,this paper discusses the grammar position in EFL,compares both its pros and cons between deductive and inductive approaches,and indicates that grammar teaching by either approach alone has disadvantages,should adopt a combination technique.
基金Supported by the National Natural Science Foundation of China(Grant No.11571281)Independent Innovation Project of Graduate Students in Northwestern University(Grant No.YZZ15069)Scientific Research Project of Xi'an Peihua University(Grant No.PHKT16075)
文摘In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, namely, （positive） implicative strong deductive systems, respectively. Moreover we give equivalent characterizations of them.
文摘This study applied both inductive approach and deductive approach with multimedia assistance into an English grammar class on the acquisition of subjunctive mood. It aimed to investigate whether this kind of teaching approach, as a general grammar pedagogy, would improve the efficiency of students＇ acquisition of certain grammar points. This study results from comparison and contrast between one same class on the acquisition of subjunctive mood to 70 students in total, employing three different teaching methods： inductive approach with multimedia assistance （method 1）, deductive approach with multimedia assistance （method 2）, and both inductive approach and deductive approach with multimedia assistance （method 3）, based on self-reported reflection on the experiment, observation of students＇ learning process, students＇ pre-test and after-class evaluation test results, and surveys. Two identical experiments were conducted to two groups of students of different levels of language proficiency to increase the generalizability of the results. Findings revealed that the evaluation test score of the grammatical points taught with method 3 is much higher than those taught with the other two methods, and most students felt positive about method 3. Students nevertheless encounter obvious difficulties in inductive approach, indicating certain lack of self-learning skills in Chinese students
文摘ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-
文摘A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.
文摘OLDTNF resolution is an important mechanism used in a Prolog interpreter. This mechanism is extended and improved for evaluating recursive queries in deductive databases. The key idea of the refinement is to distinguish between two classes of lookup nodes in an OLDTNF derivation and to handle them differently. First, reduce the search space by cutting of any subtree rooted at a lookup node of the first class. Further, speed up the evaluation by processing the second class in a second phase and generate many solutions directly from the solutions already produced (and the corresponding keys of solution lists) instead of evaluating them by expanding the corresponding subtrees in terms of the new solutions stored in solution lists.
文摘A systematic, efficient compilation method for query evaluation of DeductiveDatabases (DeDB) is proposed in this paper. In order to eliminate redundancyand to minimize the potentially relevant facts, which are two key issues to theefficiency of a DeDB, the compilation process is decomposed into two phases.The first is the pre-compilation phase, which is responsible for the minimiza-tion of the potentially relevant facts. The second, which we refer to as thegeneral compilation phase, is responsible for the elimination of redundancy.The rule/goal graph devised by J. D. Ullman is appropriately extended andused as a uniform formalism. Two general algorithms corresponding to the twophases respectively are described intuitively and formally
文摘A deductive database approach for complex objects reasoning is proposed,which is characterized by handling predicates nesting in terms of mapping hierarchically structured rules and facts to a flattened Horn-clause implementation scheme.
基金This work is supported by the National '863' High-Tech Programme of China under the grant !No.863-306-ZT04-01-3.
文摘This paper describes the design and implementation of DPA: a deductive language for embroidery pattern assembling. DPAL is similar to SQL and generates the embroidery pattern by matching the operators of space relation with the rule in rule database. It improves the production efficiency of embroidery drafts and increases the variety of colors and patterns.
基金support from the Science Research Program Project for Drug Regulation,Jiangsu Medical Products Administration,China(Grant No.:202207)the National Drug Standards Revision Project,China(Grant No.:2023Y41)+1 种基金the National Natural Science Foundation of China(Grant No.:22276080)the Foreign Expert Project,China(Grant No.:G2022014096L).
文摘In-depth study of the components of polymyxins is the key to controlling the quality of this class of antibiotics.Similarities and variations of components present significant analytical challenges.A two-dimensional(2D)liquid chromatography-mass spectrometry(LC-MS)method was established for screening and comprehensive profiling of compositions of the antibiotic colistimethate sodium(CMS).A high concentration of phosphate buffer mobile phase was used in the first-dimensional LC system to get the components well separated.For efficient and high-accuracy screening of CMS,a targeted method based on a self-constructed high resolution(HR)mass spectrum database of CMS components was established.The database was built based on the commercial MassHunter Personal Compound Database and Library(PCDL)software and its accuracy of the compound matching result was verified with six known components before being applied to genuine sample screening.On this basis,the unknown peaks in the CMS chromatograms were deduced and assigned.The molecular formula,group composition,and origins of a total of 99 compounds,of which the combined area percentage accounted for more than 95%of CMS components,were deduced by this 2D-LC-MS method combined with the MassHunter PCDL.This profiling method was highly efficient and could distinguish hundreds of components within 3 h,providing reliable results for quality control of this kind of complex drugs.
文摘There are two types of reasoning in mathematics:inductive and deductive reasoning．You have been using inductive reasoning by observing patterns and making conjectures about your observations．This is the creative,investigative form of reasoning that mathematicians use most often．In the coming chapters,you will take a look at other fom of reasoning,deductive reasoning,to see if your discoveries are logically consistent．
文摘We use inductive reasoning in everyday life. Many of the conjectures that come from this kind of thinking seem highly likely, although we can never be absolutely certain that they are true. Another method of reasoning, called deductive reasoning, or deduction, can be used to prove that some conjectures are true. Deductive reasoning is the process of proving a specific conclusion from one or more general statements. A conclusion that is proved true by deductive reasoning is called a theorem.
文摘Now we have a good understanding of inductive reasoning and deductive reasoning. In order to put them into practice, we should do some exercises. Practice Exercises Which reasoning process is shown in the following example? Explain your answer. 1. We examine the fingerprints of 1000 people. No two individuals in this group of people have identical fingerprints. We conclude that for all people, no two people have identical fingerprints.
文摘The Fermat–Pramanik series are like below: .The mathematical principle has been established by factorization principle. The Fermat-Pramanik tree can be grown. It produces branched Fermat-Pramanik series using same principle making Fermat-Pramanik chain. Branched chain can be propagated at any point of the main chain with indefinite length using factorization principle as follows: Same principle is applicable for integer solutions of A<sup>M</sup>+B<sup>2</sup>=C<sup>2</sup>which produces series of the type . It has been shown that this equation is solvable with N{A, B, C, M}. where , , M=M<sub>1</sub>+M<sub>2</sub> and M<sub>1</sub>>M<sub>2</sub>. Subsequently, it has been shown that using M= M<sub>1</sub>+M<sub>2</sub>+M<sub>3</sub>+... The combinations of Ms should be taken so that the values of both the parts (C<sub>n</sub>+B<sub>n</sub>) and (C<sub>n</sub>-B<sub>n</sub>) should be even or odd for obtaining Z{B,C}. Hence, it has been shown that the Fermat triple can generate a) Fermat-Pramanik multiplate, b) Fermat-Pramanik Branched multiplate and c) Fermat-Pramanik deductive series. All these formalisms are useful for development of new principle of cryptography. .
基金the National Key Research and Development Program of China(2021YFF0900800)the National Natural Science Foundation of China(61972276,62206116,62032016)+2 种基金the New Liberal Arts Reform and Practice Project of National Ministry of Education(2021170002)the Open Research Fund of the State Key Laboratory for Management and Control of Complex Systems(20210101)Tianjin University Talent Innovation Reward Program for Literature and Science Graduate Student(C1-2022-010)。
文摘Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a novel approach for the design,analysis,management,control,and integration of CPSS,which can realize the causal analysis of complex systems by means of“algorithmization”of“counterfactuals”.However,because CPSS involve human and social factors(e.g.,autonomy,initiative,and sociality),it is difficult for traditional design of experiment(DOE)methods to achieve the generative explanation of system emergence.To address this challenge,this paper proposes an integrated approach to the design of computational experiments,incorporating three key modules:1)Descriptive module:Determining the influencing factors and response variables of the system by means of the modeling of an artificial society;2)Interpretative module:Selecting factorial experimental design solution to identify the relationship between influencing factors and macro phenomena;3)Predictive module:Building a meta-model that is equivalent to artificial society to explore its operating laws.Finally,a case study of crowd-sourcing platforms is presented to illustrate the application process and effectiveness of the proposed approach,which can reveal the social impact of algorithmic behavior on“rider race”.
文摘我在硕士研究生一年级的《电子商务概论》课程中采用“双语教学”已有4年时间了。该课程为每周3课时，共16周，计48学时，目前使用的教材是高等教育出版社出版的、教育部高等教育司推荐的“国外优秀信息科学与技术系列教材”中的影印版教材“Electronic Commerce A Managerial Pcrspective(电子商务管理视角)”。讲课用比较详细的PowerPoint英语演示文稿。
文摘Through classifying modal verbs from the semantic aspect and the pragmatic aspect, this paper discusses difficulties that students may encounter in modal verb learning. It indicates that modal verbs have complicacy, and a deductive approach and inductive approach should intermingle as an appropriate method to improve students' accuracy in use of modal verbs.
文摘The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.
