hypothetical judge under necessary conditions

• 必要条件假言判断