Тема 14. Миссия и цели организации

Контрольные вопросы

Отношение совместности

Формулы А и В называются совместными, если их эквиваленция выполнима, т.е.

хотя бы при одном значении логических переменных она имеет значение «И». Например. Формулы и являются совместными, а формулы А и ùА являются несовместными.

1. Сформулируйте, как определяются три типа отношений между логическими высказываниями:

- отношение равносильности,

- отношение логического следования,

- отношение совместности.

2. Какие методы установления общезначимости формул используются в логике высказываний?

3. Как с помощью аналитических таблиц установить, является ли формула логическим противоречием?

4. Дайте определение логического следования ╞В.

5. Присуще ли импликации свойство коммутативности?

6. Найдите ответы на вопросы, используя определение дизъюнкции:

,

7. Найдите ответ на вопрос, используя определение конъюнкции:

8. В чем отличие отношения логического следования от отношения совместности?

9. В чем отличие отношения равносильности от отношения совместности?

10. В чем отличие отношения логического следования от отношения равносильности?

11. Дайте определение логического уравнения и его решения.