Даны две логические формулы: (А ⟶ (В⟶А)) и (2) A & - Ответ на вопрос по ИИС №1039763
-42%
Вопрос
Даны две логические формулы:(А ⟶ (В⟶А)) и (2) A & B&¬А
Логическая формула (1), истинна во всех интерпретациях, логическая формула (2) – ложна во всех интерпретациях. Как правильно называются эти формулы?
- непротиворечивая и противоречивая формулы
- общезначимая и не общезначимая формулы
- тавтология и противоречие
- доказуемая и опровержимая формулы
Ответ
Этот вопрос в коллекциях
-5%
Коллекция: Интеллектуальные информационные системы - КМ-2. Вывод в логических системах. Тестирование
399 379 руб.
5,0
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
