Логика.

во всех последующих доказательство осуществить, используя метод резолюций.

1)если губернатор не имеет соответствующего авторитета или если он не желает принимать на себя ответственность, то порядок не будет восстановлен и волнения не прекратятся до тех пор, пока участникам волнений это не надоест, и власти не начнут примирительные действия. следовательно, если губернатор не желает взять на себя ответственность и участникам волнений это не надоест, то волнения не прекратятся.

2)если подозреваемый совершил эту кражу, то она была тщательно подготовлена или он имел соучастника. если бы кража была тщательно подготовлена, то если бы он имел соучастника, был бы украден дорогой компьютер. компьютер остался на месте. следовательно, подозреваемый невиновен.

Пусть большее простое число из T(x) равно n.Сравним числа:n^2 и 2T(x),то есть квадрат наибольшего простого числа и удвоенную сумму простых чисел до n:

Очевидно,что все простые числа,кроме 2 нечетные,а значит T(x) меньше суммы двойки и натуральных нечетных чисел от 1 до n(так как не все нечетные числа являются простыми).

Рассмотрим данную сумму,члены которой,кроме двойки образуют арифметическую прогрессию.

Сравним 2S и n^2

Правая часть больше левой(нуля) при:

А так как S>T(X) и n^2>2S,то n^2>2T(x)

Значит и x^2>2T(x) при n,указанном выше.

Рассмотрим оставшиеся 2 варианта:

n=2 n=3

ответ:

Пусть большее простое число из T(x) равно n.Сравним числа:n^2 и 2T(x),то есть квадрат наибольшего простого числа и удвоенную сумму простых чисел до n:

Очевидно,что все простые числа,кроме 2 нечетные,а значит T(x) меньше суммы двойки и натуральных нечетных чисел от 1 до n(так как не все нечетные числа являются простыми).

Рассмотрим данную сумму,члены которой,кроме двойки образуют арифметическую прогрессию.

Сравним 2S и n^2

Правая часть больше левой(нуля) при:

А так как S>T(X) и n^2>2S,то n^2>2T(x)

Значит и x^2>2T(x) при n,указанном выше.

Рассмотрим оставшиеся 2 варианта:

n=2 n=3

ответ: