Родил :)

[psilogic]

Ох, и нудная это работа - из болота тащить бегемота :) Но вроде вытащил.
Предлагаю вниманию достопочтенной публики вторую версию "следующей логики".

http://psi-logic.shadanakar.org/iff/iff.htm

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

http://psi-logic.shadanakar.org/iff/iff_19.htm -- кому надо кратенько, в чем самая-самая соль.
http://psi-logic.shadanakar.org/iff/iff_21.htm
http://psi-logic.shadanakar.org/iff/iff_22.htm -- кто любит примеры.
http://psi-logic.shadanakar.org/iff/iff.zip -- тем, кто любит скачивать многостраничные тексты целиком и на диске заначивать :)

Новый вариант состоит из двух частей. Первая часть - чистая математика. Это вряд ли кто-то станет читать, но это просто должно быть, чтобы, так сказать "держать марку". Да и потом "а вдруг" какой-нить чистый математик изволит снизойти до простого программиста-психолога :) Первая часть начинается отсюда:

http://psi-logic.shadanakar.org/iff/iff_00.htm

Вторая часть написана более... человеческим :) языком. Рассчитана на технарей - инженеров, компьютерщиков и прочая. Гуманитарий вряд ли что-то поймет, т.к. нужны элементарные познания в области логики (на уровне "что такое логическое И", "что такое квантор").

Вторая часть начинается отсюда:
http://psi-logic.shadanakar.org/iff/iff_12.htm

Comments

[montemsk.livejournal.com]

"Пойдем простым логическим путем..." :)