Материал предоставлен http://it.rfet.ru

Формулы алгебры высказываний

9 лет назад

Никак не могу понять формулы алгебры высказываний. Может я гуманитарий или слишком туп для всего этого?

9 лет назад

Здравствуйте, Владимир.

Пришлите, пожалуйста, Ваши вопросы, что именно Вам не понятно. Преподаватель ответит Вам и всё пояснит.

С уважением, Елена.

9 лет назад

Непонятно вообще все что идет после “Формулы алгебры высказываний” - http://it.rfet.ru/course/~wcJg/~chapter-2/~lesson-2-formulas Вообще. Все.

9 лет назад

Здравствуйте, Владимир.

Весь материал полностью бывает не понятен, только если прочитать его “по диагонали”. Математические дисциплины так не поддадутся к изучению “сразу, после первого прочтения”.

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

С уважением, Елена.

9 лет назад

Доброго времени суток, не понятны формулы тождественно истинная, ложная и выполнимая. Так же не могу понять задание. Прикрепил скриншот.

9 лет назад

Здравствуйте, Владимир. Преподватель по данной дисциплине в отпуске. Он рассмотрит ваш вопрос после 9 мая.

С уважением, Елена.

9 лет назад

Здравствуйте. Благодарю за ответ. Буду ждать и пытаться понять сам.

9 лет назад

Здравствуйте, Владимир Алекувич.

Вид формулы

Чтобы понять тождественно истинные, ложные и выполнимые формулы, Вам необходимо очень хорошо разобраться с операциями над высказываниями: конъюнкция, дизъюнкция и др. Т.к. именно на этих операциях основано определение видов формулы. Так же советую очень усердно разобраться с таблицами истинности, т.к. с их помощью очень легко определять вид формулы.

Так, построив таблицы истинности в заданиях, вы можете сказать какой она является:

  1. Если в результирующем столбце формулы все значения %%1%%, то формула тождественно истинная, см. пример в курсе %%X = (A \land B) \rightarrow (A \lor B)%%.
  2. Если в результирующем столбце формулы все значения %%0%%, то формула тождественно ложная.
  3. В противном случае она является выполнимой, см. пример в курсе %%X = A \lor B \rightarrow A \land B%%.

Все последующие вопросы по данной теме должны быть предоставлены с таблицами истинности для каждой из формул. Все таблицы истинности должны быть построены пошагово.

Запись составных высказываний

Чтобы записать высказывание в виде формулы, Вам необходимо понять с использованием каких операций оно составляется: конъюнкция, дизъюнкция и др. Т.е. фактически Вам необходимо найти чему будет равно формула %%X%% в выражении %%X%% истинно тогда и только тогда, когда истинно высказывание %%B%% и ложно высказывание %%A%%, т.е. фактически Вам необходимо представить выражение истинно высказывание %%B%% и ложно высказывание %%A%% в виде формулы. Для этого Вам необходимо составить таблицу истинности для данного высказывания, которая будет иметь примерно такой вид:

%%A%% %%B%% %%X%%
%%0%% %%0%% %%x_1%%
%%0%% %%1%% %%x_2%%
%%1%% %%0%% %%x_3%%
%%1%% %%1%% %%x_4%%

Где %%x_1, x_2, x_3, x_4%%, Вам необходимо определить. После чего Вам необходимо найти такую формулу из предоставленных, у которая таблица истинности совпадает с формулой %%X%%.

Все последующие вопросы по данной теме должны быть предоставлены с таблицами истинности для каждой из формул и формулы %%X%%. Все таблицы истинности должны быть построены пошагово.

С уважением,
Валерий Алигорский.

Ваш комментарий

Комментирование доступно только для авторизованных пользователей.

Файлы

Имя файлаРазмер
11.jpg83.4 KB