Структура представления связей между высказываниями



Структура представления связей между высказываниями для упр. 5



6. Рассмотрите набор обоснования для системы отслеживания истинности предположений, основанной на анализе допущений:

р^ q

¬р^q

р^¬q

¬p^¬q

7. Положим, что существуют четыре возможных допущения, которые можно использовать по отдельности или в сочетании друг с другом: р, —р, q и —q. Какие варианты сред для этого множества обоснований при таких допущениях будут непротиворечивыми?



Содержание Назад Вперед