При подготовке к данному семинарскому занятию важно ознакомиться и уяснить
содержание базовых терминов: «формализация», «язык», «язык логики высказываний»,
«знак», «формула», «имя», «предложение», «кванторы», «операторы», «функторы»,
«предикаторы». Также необходимо разобраться в общих и особенных чертах
естественных и искусственных языков.