Консультация № 193734
19.10.2018, 21:10
0.00 руб.
0 12 1
Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос: запишите с помощью квантов высказывания и проверьте их истинность.

существуют четные числа,делящиеся на 4.
диагонали любого ромба не равны.
каждый студент нашего курса присутствует на лекции.
существуют четные числа,которые не делятся на 4.

Обсуждение

давно
Мастер-Эксперт
17387
18345
20.10.2018, 08:13
общий
Адресаты:
Что Вам непонятно в задании?
Об авторе:
Facta loquuntur.
давно
Посетитель
402363
3
20.10.2018, 19:11
общий
Адресаты:
как это записать кванторами и проверить их истинность.
давно
Мастер-Эксперт
17387
18345
20.10.2018, 19:18
общий
Адресаты:
Давайте разберёмся с первым утверждением. Есть у Вас какие-нибудь мысли о его записи с использованием кванторов?
Об авторе:
Facta loquuntur.
давно
Мастер-Эксперт
17387
18345
20.10.2018, 19:34
общий
20.10.2018, 19:38
Адресаты:
Например, я могу предложить для первого высказывания такую запись:
([$8707$]x)((2|x)[$8743$](4|x)).

Эта запись понятна Вам?
Об авторе:
Facta loquuntur.
давно
Посетитель
402363
3
20.10.2018, 19:47
общий
да понятна
давно
Мастер-Эксперт
17387
18345
20.10.2018, 19:53
общий
Адресаты:
Какой тогда, по-Вашему, может быть запись четвёртого высказывания?
Об авторе:
Facta loquuntur.
давно
Мастер-Эксперт
17387
18345
20.10.2018, 20:31
общий
Адресаты:
Вам понятен мой вопрос?
Цитата: Гордиенко Андрей Владимирович
Какой тогда, по-Вашему, может быть запись четвёртого высказывания?

Эта запись немного отличается от записи первого высказывания.
Об авторе:
Facta loquuntur.
давно
Мастер-Эксперт
17387
18345
21.10.2018, 14:01
общий
Адресаты:
Вы разобрались с записью четвёртого утверждения?
Об авторе:
Facta loquuntur.
давно
Посетитель
402363
3
21.10.2018, 15:49
общий
я думаю что надо поставить знак дизъюнкции.А как проверить их истинность.
давно
Мастер-Эксперт
17387
18345
21.10.2018, 17:28
общий
21.10.2018, 20:00
Адресаты:
Цитата: bukaeva1987
я думаю что надо поставить знак дизъюнкции.

Нет. Нужно зачеркнуть символ | во втором элементе конъюнкции. Тогда будет обозначено, что число 4 не делит число x.


Цитата: bukaeva1987
А как проверить их истинность.

Исходя из смысла высказываний. Верно, что существуют чётные числа, делящиеся на 4. Приведите, пожалуйста, примеры таких чисел. Верно также, что существуют чётные числа, не делящиеся на 4. Приведите примеры таких чисел.
Об авторе:
Facta loquuntur.
давно
Мастер-Эксперт
17387
18345
21.10.2018, 19:57
общий
21.10.2018, 22:38
Адресаты:
Цитата: bukaeva1987
диагонали любого ромба не равны.

Если X -- множество всех ромбов, x -- элемент этого множества, P(x) -- предикат: "Элемент x имеет неравные диагонали", то высказывание можно записать так:
([$8704$]x[$8712$]X)(P(x)).

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

Какие у Вас мысли по поводу следующего высказывания?
Цитата: bukaeva1987
каждый студент нашего курса присутствует на лекции
Об авторе:
Facta loquuntur.
давно
Мастер-Эксперт
17387
18345
24.10.2018, 08:26
общий
это ответ
Здравствуйте, bukaeva1987!

Я надеюсь, что отказавшись от дальнейшего обсуждения своего задания в мини-форуме консультации, Вы поняли мои объяснения и наводящие вопросы. Три пункта задания мы обсудили, а с четвёртым Вы сможете разобраться самостоятельно.
Об авторе:
Facta loquuntur.
Форма ответа