Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 4 ] |
|
Автор | Сообщение | |
---|---|---|
milkyway |
|
|
В интерпретации ⟨R2,E⟩, где E(x, y) выполнено, если |xy| = 1, выразите предикат |xy| = 1\2 Абсолютно не понимаю, с чего в такой задаче начать... |
||
Вернуться к началу | ||
3D Homer |
|
|
Начать нужно с изучения арифметических операций (сложения и т.п.) и их обозначений. Это проходят в начальной школе. Далее нужно описать, что вам понятно, а что нет. Одно дело — понимать условие, но не видеть неочевидный трюк, приводящий к решению, а другое — не понимать условие.
Что касается собственно задачи, я сомневаюсь, что можно выразить требуемый предикат, если сигнатура интерпретации состоит из единственного предиката E. |
||
Вернуться к началу | ||
milkyway |
|
|
Если кому-то тоже нужно такое задание, то всё оказалось довольно просто. Надо было лишь геометрически себе это представить. Получается треугольник со сторонами 1,2,2, где ху - это его средняя линяя, равная 1\2, и дальше всё просто выражается
|
||
Вернуться к началу | ||
3D Homer |
|
|
Кажется, под [math]|xy|[/math] вы имеете в виду расстояние между точками [math]x[/math] и [math]y[/math] на плоскости. При этом предикат [math]E[/math] является двуместным. Я подумал, что [math]E[/math] одноместный, и [math]E[/math] истинен на паре чисел [math](x,y)[/math] тогда и только тогда, когда модуль произведения [math]x[/math] и [math]y[/math] равен 1. Чтобы было понятнее, что речь идет о точках, а не о числах, можно обозначить их большими буквами или, еще лучше, обозначить их, например, через [math]P[/math] и [math]Q[/math].
milkyway писал(а): Получается треугольник со сторонами 1,2,2 По-видимому, вы хотите написать формулу, утверждающую существование треугольника [math]ABC[/math], такого что [math]AC=1[/math], а [math]AB=BC=2[/math]. При этом [math]PQ[/math] — средняя линия этого треугольника, параллельная [math]AC[/math]. Но как написать, что [math]AB=2[/math]?Вы продолжаете писать 1\2 вместо 1/2. Символ \ в математике имеет другой смысл. |
||
Вернуться к началу | ||
[ Сообщений: 4 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Работа с высказыванием.Матлогика | 8 |
1055 |
28 окт 2015, 21:41 |
|
Теория моделей, матлогика. Полные теории | 1 |
554 |
25 дек 2016, 16:36 |
|
Предикаты | 2 |
270 |
18 май 2020, 19:40 |
|
Предикаты | 1 |
146 |
12 июн 2020, 12:19 |
|
Предикаты | 11 |
537 |
02 май 2018, 15:23 |
|
Предикаты | 11 |
708 |
27 ноя 2017, 16:37 |
|
Предикаты | 2 |
153 |
05 дек 2020, 21:48 |
|
Предикаты | 5 |
385 |
14 фев 2021, 15:51 |
|
Предикаты | 1 |
191 |
05 апр 2020, 19:30 |
|
Предикаты и высказывания | 12 |
479 |
10 ноя 2017, 15:17 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 32 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |