Հրապարակման մանրամասներ:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրապարակման ամսաթիվ:

2021

Հատոր:

121

Համար:

1

ISSN:

0321-1339

Պաշտոնական URL:

Լրացուցիչ տեղեկություն:

Պետրոսյան Գ. Վ., Петросян Г. В.

Այլ վերնագիր:

Երկարժեք ասույթային տրամաբանության որոշակի արտածման համակարգերի հատկությունները ; О некоторых свойствах нескольких систем доказательства 2-значной логики высказываний

Աջակից(ներ):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Ծածկույթ:

13-19

Ամփոփում:

In this work we investigate the relations between the proofs complexities of minimal tautologies and of results of substitutions in them in some systems of 2-valued classical propositional logic. We show that the result of substitution can be proved easier, than corresponding minimal tautology, therefore the systems, which are considered in this paper, are no monotonous neither by lines nor by size.
Հետազոտված է մինիմալ նույնաբանությունների և նրանցում տեղադրությունների արտածման բարդությունների միջև հարաբերությունը որոշակի երկարժեք ասույթային դասական տրամաբանության համակարգերում։ Ցույց է տրվել, որ տեղադրման արդյունք հանդիսացող բանաձևերը կարող են արտածվել ավելի հեշտ, այդ իսկ պատճառով դիտարկված համակարգերը մոնոտոն չեն:
Исследована связь между сложностями доказательств минимальных тавтологий и результатами подстановок в них в некоторых системах 2-значной классической логики высказываний. Показано, что результат подстановки доказывается проще, чем соответствующая минимальная тавтология, поэтому рассматриваемые в статье системы не являются монотонными ни по линиям, ни по размеру.

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ «Գիտություն» հրատ.

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:269507

Դասիչ:

АЖ 144

Թվայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան