|
Записать предикатной формулой "для всяких a и b: от перестановки мест слагаемых a и b сумма c не меняется"- свойство коммутативности арифметической операции сложения. задан 23 Апр '13 15:01 
Про |
|
$$(\forall a)(\forall b)(a+b=b+a)$$ Здесь форма ответа может зависеть от того, какая именна сигнатура (то есть набор разрешённых значков) выбирается в данном исчислении предикатов. Например, можно ввести двуместный функциональный символ $%f(a,b)$%, означающий $%a+b$%, и тогда формула примет вид $$(\forall a)(\forall b)(f(a,b)=f(b,a))$$ Наконец, если исчисление предикатов рассматривается без равенства, то можно ввести двуместный предикат равенства $%E$%, где $%E(x,y)$% означает $%x=y$%. Формула для этого случая станет такой: $$(\forall a)(\forall b)E(f(a,b),f(b,a))$$ отвечен 23 Апр '13 15:43 
falcao |