Без заголовка
Как ты понимаешь, можно и из Льюиса и из Крипке вычитывать разное. В школьных обзорных курсах вряд ли дают смесь логических формул и текстовых аргументов, из-за которых весь этот сыр-бор. Нет, там остаётся что-то совсем беззубое, "по мотивам".