В этой главе Веня вводит диаграммы, которые в дальнейшем были названы его именем ( см., ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Кузичев А.С. Диаграммы венна


В этой главе Веня вводит диаграммы, которые в дальнейшем были названы его именем ( см., например, [23, 48]); диаграммы Венн использует ( 1) для представления сложных предложений символического и разговорного языков ( в главе разбирается только случай универсальных предложений, пример частных предложений приведен в главе 14), ( 2) для вывода следствий из данной информации и ( 3) для построения логических машин.

(cкачать страницу)

Смотреть книгу на libgen

В этой главе Веня вводит диаграммы, которые в дальнейшем были названы его именем ( см., например, [23, 48]); диаграммы Венн использует ( 1) для представления сложных предложений символического и разговорного языков ( в главе разбирается только случай универсальных предложений, пример частных предложений приведен в главе 14), ( 2) для вывода следствий из данной информации и ( 3) для построения логических машин.