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