Use of Elements of Predicate Algebra in Solving Proof Problems

Mamadaliyev Kamildjan  Bazarbayevich; Mamadaliyev Baxtiyor  Kamildjanovich

Use of Elements of Predicate Algebra in Solving Proof Problems

Authors

Mamadaliyev Kamildjan Bazarbayevich Associate Professor of Andijan State University
Mamadaliyev Baxtiyor Kamildjanovich Senior Lecturer, Andijan State University

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.

Downloads

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://www.cajotas.casjournal.org/index.php/CAJOTAS/article/view/219