Истина

А вот вопрос у меня, старого склеротика, к гражданам логикам. Тупой и простой.

Вот, предположим у нас имеется формула P(x) со свободной переменной x.

Что означает фраза "верно P(x)"?
(Именно так, без кванторов)

UPD Сходимся на мысли, что все-таки "верно P(x)" означает "общезначимо P(x)"


UPD2 Тогда переходим к сути. Вторую половину переадресую к широкой преподавательской общественности:

На вопрос "Верно ли P(x)?" ответ "Неверно" считается правильным, а ответ "Не всегда верно" считается неточным, и за него снижается оценка.

Спрашивается: справедливо ли это?
Точнее: существует ли в школе договоренность, что на такие вопросы следует отвечать только "верно/неверно", и никак иначе?


Ибо если я не совсем торможу, то "неверно" (в значении "не общезначимо") и "не всегда верно" (в любом разумном значении) эквивалентны.

Первое есть $\not (\forall x P(x))$

Второе либо
$\not (\forall x P(x))$ <=> "не (всегда истинно)"
либо
$\exists x not(\forall y P(y))$ <=> $\not (\forall x (\forall y P(y))$<=>"не всегда (общезначимо)"

Очевидно, в последней формуле свободное вхождение икса несущественно.

Единственная возможная заминка - если одна и та же буква обозначает как свободную, так и связанную переменную. (То есть если писать не $\exists x not (\forall y P(y))$, а $\exists x not \forall x P(x))$

UPD3 Но даже эта формула вполне законна и по определению эквивалентна первой.

Подвопрос к логикам: Напомните, конструкции типа $\exists x not \forall x P(x)$ запрещены аксиоматически или как-то все-таки трактуются?

Малый мехмат

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

Первый случай включал в себя шесть подружек из славного города Севастополя.
Второй - объединял трех школьников из Кировска, Мурманская область.

Ура, товарищи!

Что интересно (обобщаю результаты наблюдений за долгий срок): девчонки в отношении "списать на экзамене" обычно щедрее мальчишек. Коллективная лажа, распространенная девочкой, может встречаться у 10 и более человек.
Зафиксированный мною рекорд - контрольная у моих школьничков, кои выводили признак делимости на 41. Если не ошибаюсь, было их 13 человек - если исключить авторшу решения (которая, кстати, написала не совсем полную лажу - смысл потерялся при тиражировании :)

ТИШИНА ДОЛЖНА БЫТЬ В БИБЛИОТЕКЕ

( Заразившись примером сестры, прошел тест )

Сразу вспомнилось чудесное ( Я работаю вышибалой. В БИБЛИОТЕКЕ. )

КВН на youtube. "Утомленные солнцем". Сценка "Библиотека"