Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Матлогика. Предикаты
СообщениеДобавлено: 01 дек 2022, 02:23 
Не в сети
Начинающий
Зарегистрирован:
25 окт 2021, 11:44
Сообщений: 4
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Добрый вечер. Матлогика не совсем понятна(
В интерпретации ⟨R2,E⟩, где E(x, y) выполнено, если |xy| = 1, выразите предикат |xy| = 1\2
Абсолютно не понимаю, с чего в такой задаче начать...

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Матлогика. Предикаты
СообщениеДобавлено: 01 дек 2022, 18:21 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Начать нужно с изучения арифметических операций (сложения и т.п.) и их обозначений. Это проходят в начальной школе. Далее нужно описать, что вам понятно, а что нет. Одно дело — понимать условие, но не видеть неочевидный трюк, приводящий к решению, а другое — не понимать условие.

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

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Матлогика. Предикаты
СообщениеДобавлено: 06 дек 2022, 21:42 
Не в сети
Начинающий
Зарегистрирован:
25 окт 2021, 11:44
Сообщений: 4
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Если кому-то тоже нужно такое задание, то всё оказалось довольно просто. Надо было лишь геометрически себе это представить. Получается треугольник со сторонами 1,2,2, где ху - это его средняя линяя, равная 1\2, и дальше всё просто выражается

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Матлогика. Предикаты
СообщениеДобавлено: 06 дек 2022, 23:06 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Кажется, под [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. Символ \ в математике имеет другой смысл.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 4 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Работа с высказыванием.Матлогика

в форуме Дискретная математика, Теория множеств и Логика

Maxim30

8

1055

28 окт 2015, 21:41

Теория моделей, матлогика. Полные теории

в форуме Дискретная математика, Теория множеств и Логика

Iv_Vol

1

554

25 дек 2016, 16:36

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

in+yan

2

270

18 май 2020, 19:40

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kam kam

1

146

12 июн 2020, 12:19

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

tanyhaftv

11

537

02 май 2018, 15:23

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

huffy

11

708

27 ноя 2017, 16:37

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

Craizi8

2

153

05 дек 2020, 21:48

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

Keccear

5

385

14 фев 2021, 15:51

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kot999cash

1

191

05 апр 2020, 19:30

Предикаты и высказывания

в форуме Дискретная математика, Теория множеств и Логика

umka1989umka

12

479

10 ноя 2017, 15:17


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 32


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved