Описание языка логики предикатов
...характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого...
Он применяется в логической системе, называемой исчислением предикатов , которая при анализе рассуждений учитывает не только истинностные...