Solution of the problem of set theory on the basis of algebra of predicates and predicate operations

Authors

  • Наталья Тимофеевна Процай National Technical University «Kharkiv Polytechnic Institute», 21, Frunze str., 61002, Kharkiv, Ukraine, Ukraine https://orcid.org/0000-0002-2057-3231

DOI:

https://doi.org/10.15587/2312-8372.2015.41057

Keywords:

algebra of predicates and predicate operations, set algebra, set operations

Abstract

The mathematical tools of algebra of predicates and predicate operations to solve the problems in the set theory are applied in the article. The basic concepts of algebra of predicates and predicate operations, their types and formulas are considered. The quantifier algebra of predicate operations, which is complete and plays an important role in the description of operations on predicates, is considered. The basic identities and laws of quantifier algebra of predicate operations are considered. With the help of quantifier algebra of predicate operations describes the concept of linear logical operator and Galois mapping, which are usable with the capture of data quantifiers in an empty domain. The basic concepts of set theory are described. The proper interpretation of the language of algebra predicates and predicate operations received operations of union, intersection, complement, difference, symmetric difference and inclusion of sets. Some problems of set algebra are solved by means of sets of algebra of predicates and predicate operations. The advantages of using these tools to solve the problems of algebra of sets are marked.

Author Biography

Наталья Тимофеевна Процай, National Technical University «Kharkiv Polytechnic Institute», 21, Frunze str., 61002, Kharkiv, Ukraine

Candidate of Technical Sciences, Associate Professor

Department of Computer Mathematics and Mathematical Modeling

References

  1. Bondarenko, M. F., Dudar', Z. V., Shabanov-Kushnarenko, Yu. P., Chikina, V. A., Protsai, N. T., Cherkashin, V. V. (2005). Algebra predikatov i predikatnyh operatsii. Radioelektronika ta informatyka, 1, 80–86.
  2. Protsai, N. T. (2008). Kvantornaia algebra predikatnyh operatsii. Bionika intelektu, 1 (68), 69-73.
  3. Bondarenko, M. F., Shabanov-Kushnarenko, Yu. P. (2004). Ob algebre predikatov. Bionika intellekta, 1 (61), 15-26.
  4. Protsai, N. T., Vechirskaiach, I. D. (2014). Opredelenie obraza lineinogo logicheskogo operatora i otobrazheniia Galua po pustoi oblasti v terminah kvantornoi algebry. Bionika intellekta, 2 (83), 30-34.
  5. Bondarenko, M. F., Shabanov-Kushnarenko, Yu. P. (2006). Teoriia intellekta. H.: SMIT, 563.
  6. Weiss, A. R. (2008). An introduction to set theory. University of Toronto, 119.
  7. Enderton, H. B. (1979). Elements of Set Theory. Elsevier BV, 279. doi:10.1016/B978-0-08-057042-6.50006-5
  8. Bourbaki, N. (2004). Elements of Mathematics. Theory of Sets. Springer, 414. doi:10.1007/978-3-642-59312-3
  9. Herrlich, H. (2006). Axiom of Choice. Lecture Notes in Mathematics. Springer Science + Business Media, 194.doi:10.1007/3-540-34268-0_4
  10. Ciesielski, K. (1997). Set Theory for the Working Mathematician. Cambridge University Press, 252. doi:10.1017/cbo9781139173131

Downloads

Published

2015-04-02

How to Cite

Процай, Н. Т. (2015). Solution of the problem of set theory on the basis of algebra of predicates and predicate operations. Technology Audit and Production Reserves, 2(5(22), 4–7. https://doi.org/10.15587/2312-8372.2015.41057

Issue

Vol. 2 No. 5(22) (2015): Mathematical modeling. Information and control systems

Section

Mathematical Modeling: Original Research

License

Copyright (c) 2016 Наталья Тимофеевна Процай

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.