hypothetical judg under necessary conditions

• 必要条件假言判断