Повернутися до подробиць статті Властивостi операцiї логiчного наслiдку та її зв’язок з незалежнiстю пропозицiйної логiки Завантажити Завантажити PDF