Апорема
трудно разрешимая логическая проблема.
первая буква лат. слова alfirmo — утверждаю, которой в формальной логике символически обозначают общеутвердительное суждение, т.е. суждение, выражающее наше знание о том, что каждому члену какого-либо класса (множества) присуще одно или несколько определенных свойств.Буквенное обозначение суждений применяется для краткости при характеристике тех или иных умозаключений, состоящих из нескольких суждений.
трудно разрешимая логическая проблема.
то же самое, что и правдоподобные умозаключения.
признак, отличающий подкласс внутри класса.