Publication Details:

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

Journal or Publication Title:

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

Date of publication:

2021

Volume:

121

Number:

1

ISSN:

0321-1339

Official URL:

Additional Information:

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

Other title:

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

Contributor(s):

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

Coverage:

13-19

Abstract:

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-значной классической логики высказываний. Показано, что результат подстановки доказывается проще, чем соответствующая минимальная тавтология, поэтому рассматриваемые в статье системы не являются монотонными ни по линиям, ни по размеру.

Place of publishing:

Երևան

Publisher:

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

Format:

pdf

Identifier:

oai:arar.sci.am:269507

Call number:

АЖ 144

Digitization:

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

Location of original object:

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