|
Тема |
Re: Вирус [re: bst] |
|
Автор |
bst (~!~) |
|
Публикувано | 29.01.02 22:37 |
|
|
prodaljenieto na otgovora:
Защо се получава така? Липсва информация за верността на твърденията и за връзката на техните верностни стойности. Вируса е само в едната дискета, в бялата (според условието вируса е само в едната дискета). Надписа върху черната дискета е или верен, или неверен, тъй като вируса е или там(в черната) или не е там. В случая надписа е верен, защото вируса е в балата дискета (това вече го знаем от no rope). И след като знаем това, надписа върху бялата дискета верен ли е или не? И в двата случая се стига до парадокс! Да допуснем, че е верен, Тогава точно един от надписите е верен, но тъй като надписа върху черната дискета е верен, остава този върху бялата да е неверен. Но ние допуснахме, че той е верен, следователно ако той е верен, то той е неверен. Противоречие! От друга страна, да приемем, че надписа върху бялата дискета е неверен. Тогава надписа върху черната дискета е верен, а върху бялата е неверен, което значи, че точно един от надписите е верен, но точно това твърди надписа върху бялата дискета, следователно той е верен, но ние допуснахме, че той и неверен. Отново противоречие!
В 99% от случайте проблема е ПРЕДМОНИТОРЕН bst
|
| |
|
|
|