38. Оценка респондентом истинности Функция Определение Решение F ( i ) = 1 , е . т . е . i-1 ├ i или принять неверно, что i -1 ├ i , неверно, что i -1 ├ i , но ╟ i принять F ( i ) = 0 , е . т . е . i-1 ├ i или отклонить неверно, что i -1 ├ i , неверно, что i -1 ├ i , но ╟ i отклонить F ( i ) = ? , е.т . е . неверно, что i -1 ├ i , неверно, что i -1 ├ i , неверно, что ╟ i , неверно, что ╟ i . ?
39. Дальнейший ход Оценка Результат Решение F ( i ) = 1 тогда i = i-1 { i } принять F ( i ) = 0 тогда i = i-1 { i } отклонить F ( i ) = ? тогда i = i -1 объявить сомнительным
40. Оценка респондентом релевантности Функция Определение R ( i ) = r , е . т . е . i-1 ├ i или i -1 ├ i R ( i ) = nr , е . т . е неверно, что i -1 ├ i , неверно, что i -1 ├ i , неверно, что i i -1 ├ ┴
42. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ / ϕ 1 K с ╟ / ϕ 1 Отрицаю. Г 1 = { ϕ 0 , ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ / ϕ 2 K с ╟ / ϕ 2 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и ϕ 1 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и ϕ 3 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
43. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ / ϕ 1 K с ╟ / ϕ 1 Отрицаю. Г 1 = { ϕ 0 , ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ / ϕ 2 K с ╟ / ϕ 2 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и ϕ 1 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и ϕ 3 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
44. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ / ϕ 1 K с ╟ / ϕ 1 Отрицаю. Г 1 = { ϕ 0 , ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ / ϕ 2 K с ╟ / ϕ 2 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и ϕ 1 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и ϕ 3 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
45. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ / ϕ 1 K с ╟ / ϕ 1 Отрицаю. Г 1 = { ϕ 0 , ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ / ϕ 2 K с ╟ / ϕ 2 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и ϕ 1 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и ϕ 3 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
46. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ / ϕ 1 K с ╟ / ϕ 1 Отрицаю. Г 1 = { ϕ 0 , ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ / ϕ 2 K с ╟ / ϕ 2 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и ϕ 1 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и ϕ 3 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
47. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ / ϕ 1 K с ╟ / ϕ 1 Отрицаю. Г 1 = { ϕ 0 , ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ / ϕ 2 K с ╟ / ϕ 2 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и ϕ 1 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и ϕ 3 Принимаю. Г 2 = { ϕ 0 , ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }