FORMAL MANTIQNING PREDMETI VA STRUKTURASI, SHAKLLANILISHI VA QO’LLANILISHI

Authors

  • Kamolova Dilafruz Sharobiddin qizi; ADPI Kimyo yo’nalishi 101-guruh talabalari Author
  • Jabborova Sayyoraxon Muhammadqobilovna Ilmiy rahbarlari Author
  • Usmonova Shoxsanam Shavkatovna Ilmiy rahbarlari Author

Keywords:

Formal mantiq, tushuncha, hukm, xulosa, mantiqiy qonunlar, identiklik, zidlik, uchinchi holning istisno qilinishi, yetarli asos, deduksiya, induksiya, analogiya, informatika, huquq, falsafa.

Abstract

Maqolada formal mantiqning predmeti, asosiy tushunchalari va qonunlari hamda amaliy qollanilishi yoritilgan. Formal mantiq aniq va izchil fikrlash qoidalarini organib, huquq, informatika va falsafa kabi sohalarda keng qollaniladi.

Downloads

Download data is not yet available.

References

Aristotel. (2000). Organon (Mantiqiy asarlar to‘plami). Toshkent: O‘zbekiston Milliy Ensiklopediyasi.

Forobiy, A.N. (1993). Aql va mantiq haqida risolalar. Toshkent: Fan nashriyoti.

Boole, G. (1854). An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities. London: Walton & Maberly.

Frege, G. (1879). Begriffsschrift: A Formula Language, Modeled upon That of Arithmetic, for Pure Thought. Halle: Louis Nebert.

Leybnits, G.V. (1996). Mantiq va bilim nazariyasi. Toshkent: Fan.

Kleene, S. C. (1952). Introduction to Metamathematics. Amsterdam: North-Holland Publishing.

Popper, K. (1959). The Logic of Scientific Discovery. London: Hutchinson.

Downloads

Published

2025-04-01