Увы, нет.
...var Y:array[1..N] of real... ошибка в написании, компилятор сообщит, что тип параметра не может быть описанием массива с границами. Пример:
var a:array [1..n] of real; Procedure ab(var b:array [1..n] of real);
К сожалению переменная и формальный параметр не одного типа.
Стоит использовать Type:
type ba= array [1..n] of real; var a: ba; Procedure ab(var b:ba);
1, 2, 3, 4
Объяснение:
Введем обозначения:
a = X > 0, b = X > 4
Тогда выражение будет иметь вид (a + b) → b и нужно найти условия, когда оно ложно. Вместо этого, мы будем искать, когда отрицание этого условия истинно, т.е. истинность ¬( (a + b) → b)
Для начала избавимся от импликации
¬( ¬(a + b) + b)
А теперь примерим к внешнему отрицанию закон де-Моргана
(a + b) · ¬b
Раскрываем скобки
a · ¬b + b · ¬b
a · ¬b + 0
a · ¬b
Делаем обратную замену
( X > 0) · ¬(X > 4)
( X > 0) · (X ≤ 4)
Переведем это на более понятный язык:
X > 0 И X ≤ 4, или
0 < X ≤ 4
Из целых чисел сюда подойдут 1, 2, 3, 4.
