Знак формальной логики - мысленный образ, обозначенный определенным символом, который условно представляет и отсылает к обозначенному им предмету, явлению, действию, свойству, связи или отношению предметов и т.п.; наряду с общеизвестной символикой математической логики автором с 1976 года введены знаки1: строгой импликации А ⊰В, означающей, что А сопряжено с В, и условие предпочтения:  х≻(k)y, относительно признака k из элементов  x и y предпочитается x.