Регистрация
vlad016263624524677
30.09.2020 01:52
Математика
Есть ответ 👍

Решите кому не сложно 1. Довести наступні логічні висновки:
1) використовуючи аксіоми та теореми ЧВ, правило виведення MP
2) використовуючи метод резолюцій

¬S∨A,S∨B⊢B∨A

2. Показати, що формула не є теоремою числення висловлювань за до методу згідно варіанту:

Редукції (X→Y)→Y)→Y

3. Користуючись методом семантичного табло, вияснити, чи є наведена формула тавтологією (з використанням α- i β-таблиць)

(A→B)↔((A→C)→(B→C))

4. Перекласти на мову формул такі речення (самостійно позначити предикат(и) та предметну змінну)

1) Кожний орел вміє літати.
2) Деякі художники не є ледарями.

5. Для наступних формул знайти еквівалентну їм випереджену формулу:

¬(∀x∃yP(x,y)∨∀x∃yQ(x,y))

271
404
Посмотреть ответы 2

Ответы на вопрос:

gulim1902
gulim1902
4,7(76 оценок)

А можно по Русский?

Пошаговое объяснение:

annachanskp06yi3
annachanskp06yi3
4,4(48 оценок)

1)8000г. уменьшили на 1 г.   8000-1=7999 г.

2)8000г.уменьшили на 1 кг. 8000-1000=7000г.

3)8000г.увеличили на 1 ц.     8000+100000=108000 г.

4)8000г.увеличили на 1 т.     8000+ 1000000=1008000 г

Популярно: Математика