Введение   Главы  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24   Приложения  1  2  

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



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

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

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

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

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

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

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

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



- Начало - - Назад - - Вперед -