Трехзначная логика Льюиса Кэрролла как основа компьютеризации содержательного рассуждениястатья