Сообщение в карантине исправлено

[Toucan]

Gun1999 в сообщении #381678 писал(а):

вроде исправлено topic39021.html
решений нет так как не знаю как решать

1. Формулы набираются так:$(\forall x)(\forall y)(y \cdot x = x \cdot y)$

$(\forall x)(\forall y)(y \cdot x = x \cdot y)$

Исправьте, пожалуйста, формулы в своём сообщении самостоятельно.

2. Если совсем не знаете, как решать, по крайней мере, перечислите аксиомы Пеано.

[Gun1999]

исправленно post381549.html#p381549

[Toucan]

Gun1999 в сообщении #381696 писал(а):

исправленно post381549.html#p381549

Toucan в сообщении #381686 писал(а):

2. Если совсем не знаете, как решать, по крайней мере, перечислите аксиомы Пеано.

[Gun1999]

те кто знают как решать им не надо ни чего писать.достаточно Арифметика Пеано.

[ewert]

Gun1999 в сообщении #381704 писал(а):

те кто знают как решать им не надо ни чего писать.достаточно Арифметика Пеано.

Вы не поняли. Если Вы перечислите конкретные аксиомы, то Вам смогут хотя бы подсказать, из чего конкретно то или иное утверждение следует. А иначе никакой разговор невозможен.

[Gun1999]

тут нету конкретных аксиом.доказать с помощью его аксиом.через какие легче будет те использовать.
сказали докажите через его аксиомы и все.

[Munin]

Пеано написал конкретный список аксиом.

[Toucan]

Gun1999 в сообщении #381704 писал(а):

те кто знают как решать им не надо ни чего писать.достаточно Арифметика Пеано.

Gun1999, согласно правилам нашего форума, Вы должны продемонстрировать собственные попытки решения своей задачи или (если уж совсем ничего не можете придумать) хотя бы привести основные определения. Именно с этим пунктом правил связано моё требование к Вам выписать аксиомы Пеано.

И ещё: выполнение требований модератора раздела являются обязательным, поэтому, если Вы продолжите препирательства, я просто закрою Вашу тему.

[Gun1999]

а сейчас?

[Munin]

Мне кажется, вы аксиомы записали не полностью, поскольку в них нет определений сложения и умножения, а они нужны для решения вашей задачи. Впрочем, как сочтёт модератор.

Ах да, и попыток решения от вас по-прежнему не видно никаких, хотя аксиомы вы и выписали.

[Toucan]

Gun1999 в сообщении #381738 писал(а):

а сейчас?

А сейчас выпишите математические формулировки этих же аксиом (естественно, в $\TeX$), и я верну тему в учебный раздел.

[Gun1999]

все исправленно!!

[Toucan]

Gun1999 в сообщении #381767 писал(а):

все исправленно!!

Вернул.

[Laco]

Тему topic39084.html
Исправила.

[Michael2008]

Laco в сообщении #382032 писал(а):

Исправила.

C формулами еще поработайте.