Вход через социальные сети

  • 21.01.2012, 15:42
    0 up down
    Сообщение
    Как писать формулы ТеХом узнайте здесь:
    http://e-science.ru/forum/index.php?showtopic=2698

    Ну вообще, если, например, в 1-м условии P(x_1,x_2,x_3,x_4)=\lambda (x_1+x_2 \leqslant x_3), то это можно понять только так, что P не зависит от x_4, т.е. P(x_1,x_2,x_3,x_4)=P(x_1,x_2,x_3).

    Кроме того, по идее, должны быть даны все возможные значения энок (x_1,...,x_n). Раз дано конечное множество их, то, видимо, следует выбрать из этого множества те энки, для которых предикат истинный.
  • 21.01.2012, 16:12
    0 up down
    Сообщение
    Я что-то неуяснил. Зачем мне ТЕХком? Я полностью перекинул задание именно так, как оно дано у меня изложено от преподавателя.
    В условии к заданию указан предикат P(x1, x2, x3). Там ничего не сказано про x4 вообще. И опять же, при чём тут n? Если заданное множество вполне конкретно: x1, x2, x3.
    И так же остаётся открытым вопрос...как же находится область истинности предиката? -) Подсобите пожалуйста. Я даже примерно себе не представляю как это решается.
  • 21.01.2012, 17:10
    0 up down
    Сообщение
    Mil в 21.1.2012, 18:12 написал(а): link
    Я что-то неуяснил. Зачем мне ТЕХком?
    По правилам форума. Прочтите их выше. Иначе ответ не обещаю.

    Mil в 21.1.2012, 18:12 написал(а): link
    В условии к заданию указан предикат P(x1, x2, x3). Там ничего не сказано про x4 вообще.
    Так я Вам и говорю: либо это бессмысленно, либо считаем, что P от x_4 не зависит.

    Mil в 21.1.2012, 18:12 написал(а): link
    И так же остаётся открытым вопрос...как же находится область истинности предиката? -)
    Через анализ предиката, алгоритма общего нет. Считайте, что все x_j - действительные числа, изобразите соотношения, задаваемые ими, геометрически и опишите область истинности предиката (т.е. все те энки (x_1,...,x_n), для которых P(x_1,...,x_n) верен) обычными словами.
    Затем, видимо (если задача не быссмысленна), Вам надо определить - какие векторы лежат в области истинности предикатов, а какие - нет.
  • 21.01.2012, 18:17
    0 up down
    Сообщение
    Я вас очень прошу. Дайте пожалуйста ссылку на пример решения хотя бы одной подобной задачи. Я гумманитарий чистой воды. Для меня даже математическая логика, после стольких лет совершенно дикая дисциплина.
  • 21.01.2012, 20:01
    0 up down
    Сообщение
    Ааа.
    Блин, а я даже не знаю Sad
    Есть хорошая книжка и задачник Игошина Математическая логика.
    Но вообще на самом деле все просто: просто подставьте в каждый предикат данные иксы (если некоторого икса в предикате нет - ну и не подставляйте его). Если получается истинное высказывание - это ответ (возможно несколько ответов), если ложное - это не ответ.
    Вот и все.