Изменения
minor fix wikitex
{{Определение
|definition=<wikitex>Если дано некоторое высказывание $\alpha$, в котором используются пропозициональные
переменные $v_1 \dots v_n$, то ''оценку'' данного высказывания $|\alpha|$ мы определим
следующим рекурсивным образом.
* импликация выражений $\alpha$ и $\beta$: $f_\to (|\alpha|,|\beta|)$
* отрицание выражения $\alpha$: $f_\neg (|\alpha|)$
* во всех остальных случаях оценка выражения равна оценке потомка в дереве.</wikitex>
}}
