👋 Решение задач
📚 Логика
решение задачи на тему:
Дата добавления: 18.09.2024
Проверить, являются ли формулы логики предикатов равносильными:
1) F1=∀x¯(Q(x)→(∃xP(x)&∃xQ(x)), F2=∃xQ(x);
2) F1=∃xP(x)∨(∃xP(x)&∃x¯(Q(x)), F2=∃xP(x).
Ответ
1) Заметим, что xQ(x)xQ(x)=F2, т.е. F1=F2(xP(x)F2). Если F2 истинен, то F2 ложен, и F1 будет истинен как импликация, у которой посылка ложная. Если F2 ложен, то F2 истинен,...
Сводка по ответу
Купи подписку Кампус+ и изучай ответы
Материалы со всех ВУЗов страны
1 000 000+ полезных материалов
Это примеры на которых можно разобраться
Учись на отлично с библиотекой
Набор самых полезных инструментов, работающих на искусственном интеллекте для студентов всего мира.
Экосистема
Кампус
Экосистема сервисов для учебы в удовольствие
Hit
Кампус AI
Твой второй пилот в учебе, быстрые ответы на основе AI
Hit
Кампус Эксперт
ТОП-эксперты помогут решить и объяснят тебе любой вопрос по учебе онлайн
NEW
Кампус Чатс
Сообщество, где ты найдешь знакомства и получишь помощь
Hit
Кампус Хаб
Мультифункциональный умный бот, который всегда под рукой
NEW
Библиотека
База знаний из 1 000 000+ материалов для учебы
