Я только что разместил серию больших постов о правилах логического рассуждения (в трёх частях). Это
часть 1 -- исчисление высказываний,
часть 2 -- исчисление предикатов, и
часть 3 -- теорема Гёделя о полноте исчисления предикатов. Комменты в основных постах отключены. Обсуждение можно проводить здесь; все посты и обсуждение являются общедоступными.