форма мысли, в которой на основе имеющихся суждений логически выводится новое суждение.