Структура представления связей между высказываниями
Структура представления связей между высказываниями для упр. 5
![](images/image_9.gif)
6. Рассмотрите набор обоснования для системы отслеживания истинности предположений, основанной на анализе допущений:
р^ q
![](images/image_10.gif)
¬р^q
![](images/image_11.gif)
р^¬q
![](images/image_12.gif)
¬p^¬q
![](images/image_13.gif)
7. Положим, что существуют четыре возможных допущения, которые можно использовать по отдельности или в сочетании друг с другом: р, —р, q и —q. Какие варианты сред для этого множества обоснований при таких допущениях будут непротиворечивыми?
Содержание раздела