Исчисление высказываний

MathProblemsBank banner

MathProblemsBank banner

Math Problems and solutions

Список задач Бесплатные задачи

Внимание! Если выбран подраздел, то поиск будет произведен в нем!

Условие: Для приведённых формул логики высказываний построить соответствующие им логические функции в виде таблиц истинности, определить общезначимость, выполнимость (невыполнимость) и число моделей формулы: \[ f(p, q)=p \&(q \vee \neg p) \&((\neg q \rightarrow p) \rightarrow q) \]

6.1.1.1 Исчисление высказываний

60 ₽

Условие: Записать следующие утверждения в виде формул логики высказываний, построить таблицу истинности и определить общезначимость, выполнимость (невыполнимость) и число моделей полученных формул: «Если рабочие или администрация упорствуют, то забастовка будет урегулирована тогда и только тогда, когда правительство добьется судебного запрещения, но войска не будут посланы на завод».

6.1.1.2 Исчисление высказываний

80 ₽

Условие: Используя метод резолюций доказать невыполнимость (или выполнимость) следующих множеств дизъюнктов. Применять произвольный порядок перебора дизъюнктов, a также, по указанию преподавателя, одну из следующих стратегий: предпочтение одночленам, линейную, насыщение уровня. \[ \{(q \vee \neg \tau),(\neg q \vee \neg \tau),(q \vee \tau),(\neg p \vee \neg \tau), \neg q\} \]

6.1.1.3 Исчисление высказываний

60 ₽

Условие: Записать формально следующее рассуждение на языке логики высказываний и доказать его справедливость, используя метод резолюций. Посылки: заработная плата возрастёт только, если будет инфляция. Если будет инфляция, то увеличится стоимость жизни. Заключение: Стоимость жизни увеличится.

6.1.1.4 Исчисление высказываний

100 ₽

условие: Следующая запись является выражением (формулой) алгебры высказываний: 1) \( ((A \wedge B) \Rightarrow C \); 2) \( A \Rightarrow \wedge B \Leftrightarrow C \); 3) \( A-B \wedge \bar{A} \); 4) \( A \vee(B \Rightarrow \bar{A}) \)

6.1.1.5 Исчисление высказываний

100 ₽

Условие: Доказать в исчислении высказываний (буквы обозначают произвольные формулы): \[ (A \rightarrow B) \rightarrow((C \vee(A \rightarrow C)) \vee B) \]

6.1.1.6 Исчисление высказываний

120 ₽

Условие: Доказать в исчислении высказываний: \[ (F \supset G) \supset((F \supset \neg G) \supset \neg F) \text {. } \]

6.1.1.9 Исчисление высказываний

100 ₽

Условие: Проверить правильность рассуждения. Если я встречу своего приятеля, то мы с ним пропустим первое занятие. Либо я поеду рано утром в институт, либо я пропущу первое занятие. Если я поеду рано утром в институт, то я встречу своего приятеля. Следовательно, я пропущу первое занятие только тогда, когда встречусь со своим приятелем.

6.1.1.10 Исчисление высказываний

100 ₽