)))))))))))

Про Смаллиана мне тяжко понять. )) Первый случай потому, что не знаю, почему утверждение, которое он собирается доказать сильнее, чем с которого он начинает. Второй выглядит просто жульничеством, потому что основан не на логике, а на игре слов. В русском языке, с его двойным отрицанием, оно могло бы и не сработать. Впрочем, если "транзитивность" (а что это такое, я тоже не знаю) имеет отношение к грамматике и вообще системам связей, то, может, это хороший пример.