РАЗРЕШАЮЩАЯ ПРОЦЕДУРА

, см.: Разрешения проблема

Словарь логики 

РАЗРЕШЕНИЯ ПРОБЛЕМА →← РАЗДЕЛИТЕЛЬНОУСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ

T: 0.093344293 M: 3 D: 3