2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 О некоторых свойствах секвенциальных исчислений генценовског
Сообщение07.04.2014, 11:55 
Здравствуйте !
Речь идет о секвенциальных исчислениях генценовского типа.
Можно ли заменить доказательство секвенции
$
{A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{1}, {B}_{2}, {B}_{3} 
$
доказательством одной из секвенций
$
{A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{1} 
$
$
{A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{2}
$
$
{A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{3} 
$

С уважением
А. Дорин
г. Полтава

 
 
 [ 1 сообщение ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group