в работе должны быть сведения о основных элементах математической логики:
-логические связки и кванторы и или,следование ,равносильность; понятие о логическом выводе;непротиворечивость предложений;равносильность предложений ; аксиомы об отрицании
с примерами