Искусственный интеллект

Еще больше различий между семантикой формулы х z> у в логике высказываний и похожему на нее высказыванию на русском языке «х влечет у*. Первое различие состоит в том, что в русском языке мы полагаем, что предложение «х влечет у* истинно, если истинны х и у, т.е. предложение русского языка по смыслу совпадает с формулой х л у, в то время как формула х z> у может быть истинной не только тогда, когда истинны обе переменные х и у, но и когда обе ложны или когда х ложна, а у истинна. Кроме того, семантика формулы х z>y вообще не предполагает какой либо связи между переменными х и у. Чтобы не обсуждать в дальнейшем подобные несоответствия, впредь будем полагать, что, употребляя формулу х эу, мы вкладываем в нее смысл, вытекающий из следующего предложения: «Мы заявляем, что истинность высказывания «х влечет у* означает, что истинность х влечет истинность у, а больше мы ничего не заявляем».