hypothetical judge under adequate conditions

• 充分条件假言判断