Объясните, пожалуйста, как находить число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны какие-то предложения ( просто пример: ∀x[P(x) \/ S(x)] )

задан 27 Янв 16:05

Таких задач было на форуме очень много. Данный пример решается устно. Для Если ограничений нет, то для каждого x мы произвольно задаём значение истина или ложь как для P, так и для S на элементе x. Это даёт 4 способа. С учётом ограничения, случай ЛЛ пропадает, остаётся 3. Так для каждого элемента. По правилу произведения будет 3^n.

Что здесь было использовано? Здравый смысл, плюс самая элементарная комбинаторика (правило произведения).

(27 Янв 18:33) falcao

@falcao Интересует именно алгоритм, что если бы были любые другие предложения. На практике просто не рассматривали подобные задания. Если вам не составит большого труда, можете его расписать? Ну или вот еще один пример https://prnt.sc/xpsdxj

(27 Янв 18:56) elvekings

@elvekings: здесь нет общего способа решения, который можно было бы назвать "алгоритмом". Есть набор типовых приёмов, которые можно попытаться применить к каждому конкретному примеру. В условии дано нечто совсем простое, а по ссылке пример чуть более сложный. Его, наверное, можно было бы разобрать, хотя он мог где-то уже раньше разбираться. Там надо перейти к отрицанию условия -- это один из приёмов.

(27 Янв 19:24) falcao

@falcao Просто нигде не могу найти информацию, как решать то подобные задачи

(27 Янв 19:41) elvekings

@elvekings: а такой специальной информации и нет, скорее всего. Это кем-то искусственно придуманная серия упражнений -- в принципе, довольно неплохая. Её цель -- проверить владение основами логики (понимание смысла логических символов) и основами комбинаторики.

Вам не нужно пытаться искать методы решения таких задач в общем виде, так как это было бы заведомо сложнее частных примеров. При этом начинать надо с каких-то совсем лёгких -- типа того, что здесь в условии. Потом можно перейти и к более сложным.

(27 Янв 19:46) falcao

@falcao А вы сможете помочь завтра с решением подобной задачи в 9 часов по Москве? Если да, то может у вас есть какие-то контакты для быстрой связи ?

(27 Янв 20:49) elvekings

@elvekings: я могу рассказать здесь решение какой-либо из этих задач, но дежурить ради выполнения кем-то контрольной я, разумеется, не буду.

(27 Янв 20:56) falcao

хахаха, недаром говорят, наглость второе счастье)

(28 Янв 0:29) Konon
показано 5 из 8 показать еще 3
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,069
×64

задан
27 Янв 16:05

показан
103 раза

обновлен
28 Янв 0:29

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru