Умные вопросы
Войти
Регистрация
Может ли связанная переменная входить в аргументы предиката?
Я считаю, что нет. Нельзя написать P (x, y) =
5 года
назад
от
Сергей Глухов
1 ответ
▲
▼
0
голосов
Не уверен, но по-поему в данном случае было бы правильным написать так
Для любого x, y P (x, y) = (x=y) . Потому, что в строгой записи любая переменная должна определяться квантором до е использования. Часто, правда, квантор всеобщности опускают, подразумевая, что не квантифицированные переменные идут с признаком "для любого".
Ваш первый пример мне не нравится. Но, возможно, он допустим, если слева и справа от знака равенства изолированные области действия переменных. Т. е. х слева и х справа - разные вещи.
Второй ваш вариант точно не правильный. Раз мы хотим ввести именно двуместный предикат P - так надо его и вводить.
5 года
назад
от
КоЛюЧкА
Связанные вопросы
1
ответ
подскажыте как настроить выход. каскад фм передатч. 10 ват с антеной диполь1/4 с помощью индикатора поля и мультиметра.
9 года
назад
от
Коля Сидорович
1
ответ
Подскажите по какому принципу расположены элементы в таблице Менделева?
7 года
назад
от
Анна
1
ответ
При включении моргает светодиодная люстра после 30 секунд горит нормально, иногда вобще не моргает, люстре пол года
8 месяцев
назад
от
артур артуров