Логические штучки (аксиомы исчисления высказываний)

[arseniiv]

Как вы запоминали аксиомы исчисления высказываний (в аксиоматике, в которой их 10, вроде Гильберта она?), как-нибудь мнемонически? А производные правила вывода?

[maxmatem]

Просто у меня такой преподаватель, был по матлогике , что стыдно было прийти на практическое занятие не зная аксиомы, вот и выучил!

[arseniiv]

Батюшки! Я их утром выучил, все помню.

[Виктор Викторов]

С аксиомами исчисления высказываний моя память всегда дает сбои. Зато их приятно критиковать. Кому мол нужна такая-то аксиома? И всегда приятно выяснить, что жизни без неё нет! Другое дело аксиомы ZFC. Их я запомнил сразу.

[arseniiv]

Есть очень «хорошая» аксиоматика, там всего одна схема аксиом, в которой используется одна связка (штрих Шеффера). Зато выглядит она страшновато, да и её смысл понять трудно. Аксиоматика из трёх схем с импликацией (вроде там тоже только одна она) и то понятнее. Десять схем, конечно, многовато, зато почти все понятны.

[Виктор Викторов]

arseniiv в сообщении #373140 писал(а):

Есть очень «хорошая» аксиоматика, там всего одна схема аксиом, в которой используется одна связка (штрих Шеффера). Зато выглядит она страшновато, да и её смысл понять трудно. Аксиоматика из трёх схем с импликацией (вроде там тоже только одна она) и то понятнее. Десять схем, конечно, многовато, зато почти все понятны.

Хочется спорить, но Вы правы.

[arseniiv]

А по поводу чего спорить? Может, ваше уточнение имеет место!

[Виктор Викторов]

(Оффтоп)

Виктор Викторов в сообщении #373144 писал(а):

Хочется спорить, но Вы правы.

arseniiv в сообщении #373163 писал(а):

А по поводу чего спорить? Может, ваше уточнение имеет место!

Это была шутка. Видимо, не очень удачная, судя по Вашей реакции. Я просто хотел сказать, что Вы правы.

[arseniiv]