Аристотелева силлогистика в символической логике Льюиса Кэрролакнига