Проверка следствий заключения из посылок и аргументированность суждений.