логикалық формулалар түрінде білімдер берілсін ал осы формулалардың тізбегін әрпімен белгілейік осы білімдердің негізінен жаңа деген