կապին հետեւելուն համար սեղմէ հոս
Դեպքերի տրոհման վերլուծությունը թվաբանական համակարգում
Investigations in this paper concern the analysis of case splitting [(: A ! B) ! (A ! B) ! B] in an arithmetical system. It is shown that the case splitting can be done according to a thicker class of formulas (quantifer-free formulas) instead of decidable formulas. The latter includes the class of quantifer-free formulas. Some approaches to the case splitting, promoted by other authors, have been investigated, and some corrections concerning the selection of quantifer-free formulas instead of decidable formulas have been done. According to these corrections, a new derivation of case splitting is suggested.
oai:arar.sci.am:258451
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Dec 8, 2023
Jul 24, 2020
14
https://arar.sci.am/publication/281517
Հրատարակութեան անունը | Թուական |
---|---|
Analysis of case splitting in a arithmetical system | Dec 8, 2023 |
Seda N. Manukian
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Gatsinzi, J.-B. Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Hayrapetyan, Feliks Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան