Хотя ясно, что запрещена
Представьте, что у вас посылки состоят из произвольной пропозициональной переменной (т.е. одна посылка р, скажем). И вы туда можете подставить любую формулу вместо р
Это кстати исчисление L с нижним индексом 3 у Мендельсона
Обсуждают сегодня