Terms for subject Logic containing требования

Russian	English
определяющее требование	definitive specification (соответствующее истинностной таблице)
требование другого доказательства	abduction