2014 dxdy logo

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

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




 
 Замена переменной
Сообщение27.06.2019, 22:31 
Есть формула вида $\forall a\exists b\forall c \ \ P(a,b,c)$. Я хочу заменить переменную $c$ на $a$, но не уверен, что именно должно получиться в итоге:
$\exists b\forall a \ \ P(a,b,a)$
или
$\forall a\exists b \ \ P(a,b,a)$
?

Склоняюсь всё же к первому варианту.

 
 
 
 Re: Замена переменной
Сообщение28.06.2019, 03:17 
Получится то же самое $\forall a\exists b\forall c \ \ P(a,b,c)$, потому что $c$ связанная, и её грубо говоря вообще нету.

 
 
 
 Re: Замена переменной
Сообщение28.06.2019, 05:02 
Подставлять вместо связанной переменной нельзя. Возможно, имеется в виду "вывести следствие по кванторному правилу $\forall c P(a,b,c)\Rightarrow P(a,b,a)$"
Если да, то получится
$\forall a\exists b P(a,b,a)$
Если же имеется в виду "переименовать переменную $c$", то надо и переменную $a$ тоже переименовать, иначе смысл формулы изменится. Например, так
$\forall c\exists b\forall a P(c,b,a)$
Смысл формулы не изменился.

 
 
 [ Сообщений: 3 ] 


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