Натуральное число n делится без остатка на натуральное число m

@resenta · Регистрация: 19.04.2022

Студворк — интернет-сервис помощи студентам

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа A формула

ДЕЛ(A, 7) ∧ (ДЕЛ(240, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(780, x)))

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?

Я написал программу, но он ничего не печатает. Хотя работу завершает. Как сделать правильно?

Python
1
2
3
4
5
6
7
8
9
for a in range(1, 300):
    p = 0
    for x in range(1, 1000):
        if ((a % 7 == 0) and ((240 % x == 0) <= ((a % x != 0) <= ((780 % x != 0))))) == 0:
            p = 1
            break
    if p == 0:
        print(a)
        break

@Catstail · 20.04.2022, 07:41

Твою формулу следовало бы представлять так:

Python
1
2
3
4
5
6
7
8
9
10
11
12
def imp(a,b):
    return (not a) or b
    
def div(n,m):
    return n%m==0
    
# ДЕЛ(A, 7) ∧ (ДЕЛ(240, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(780, x)))    
 
def func(a,x):
    q1=div(a,7) and div(240,x)
    q2=imp((not div(a,x)),(not div(780,x))
    return imp(q1,q2)

Но стоит ли?.. Если ты ее записал верно, то посылка главной импликации (конъюнкция) будет ложной уже при A=1. А импликация истинна, если посылка ложна. Поэтому ответ: A=1

В чем можно убедиться, выполнив следующий код:

Python
1
2
3
4
5
6
for i in range(1,2000):
    if not func(1,i):
        print(i)
        break
else:
    print("Тождественно истинна!")

Он проверяет все числа до 1999. Но это - не доказательство. Такие утверждения вычислительными экспериментами не доказываются...

@eaa · 20.04.2022, 08:40

скобки не правильно расставлены. приоритет конъюнкции выше импликации.

Добавлено через 2 минуты
Объясните пожалуйста задание ЕГЭ по информатике номер 15

@Catstail · 20.04.2022, 09:00

eaa, тогда дело другое. Но все равно вычисления не помогут

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .

@eaa Status 418 4584 / 2350 / 601 Регистрация: 26.11.2017 Сообщений: 5,262 Записей в блоге: 3
	20.04.2022, 08:40
	скобки не правильно расставлены. приоритет конъюнкции выше импликации. Добавлено через 2 минуты Объясните пожалуйста задание ЕГЭ по информатике номер 15 1

@Catstail Супер-модератор 38173 / 21108 / 4307 Регистрация: 12.02.2012 Сообщений: 34,707 Записей в блоге: 14
	20.04.2022, 09:00
	eaa, тогда дело другое. Но все равно вычисления не помогут 0

Опции темы