Use of Elements of Predicate Algebra in Solving Proof Problems
Keywords:
Mathematical logic, predicate algebra, proof of theorem, equally strong formulas, whole numbers, even numbers, odd numbers
Abstract
This article explains the importance of using the laws of mathematical logic, its symbolism, and equally powerful formulas in the study of mathematics. The theorems presented in the article can be used to teach students the properties of a set of integers and the application of predicate algebra to examples and problem solving.
Downloads
Download data is not yet available.
References
1. Yunusov A.S. Elements of the theory of mathematical logic and algorithms. T .: “Yangi asr avlodi”, 2006.
2. Kochkarov A. Ismailov Sh. Logical issues. T .: “Yangi asr avlodi”, 2008.
3. Igoshin V.I. Practical problem book on mathematical logic. M .: "Education", 1986.
4. Mendelssohn E. Introduction to mathematical logic. M .: "Science", 1984.
2. Kochkarov A. Ismailov Sh. Logical issues. T .: “Yangi asr avlodi”, 2008.
3. Igoshin V.I. Practical problem book on mathematical logic. M .: "Education", 1986.
4. Mendelssohn E. Introduction to mathematical logic. M .: "Science", 1984.
Published
2021-08-18
How to Cite
Bazarbayevich, M. K., & Kamildjanovich, M. B. (2021). Use of Elements of Predicate Algebra in Solving Proof Problems. Central Asian Journal of Theoretical and Applied Science, 2(8), 31-34. Retrieved from https://cajotas.centralasianstudies.org/index.php/CAJOTAS/article/view/219
Section
Articles
Copyright (c) 2021 Mamadaliyev Kamildjan Bazarbayevich, Mamadaliyev Baxtiyor Kamildjanovich
This work is licensed under a Creative Commons Attribution 4.0 International License.
