程序性知识主要以命题和命题网络的形式表征。