Может не в тему но все же, слышал как поц с девкой шли по улице и она гооврила ему что не понимает смысл пословицы "не говори гоп, пока не перепрышнешь", а ведь чтение в 1-2 классах начинается с изучения пословиц, сразу после букваря. А ведь ее легко понять если формализовать,
(A->B) => (~B->~A)
Или, например, не все то золото что блестит, ~((A->B) => (B->A)) (тут -> это следование, а => это выводимость, чтоб уголки не рисовать...)
Если в начальных классах заменить изучение пословиц и поговорок на логику предикатов, думаю, что станет сильно лучше.

(Reply to this) (Thread)

Отличная идея

(Reply to this) (Parent)