Hempel's Paradox of Confirmation or Raven Paradox is a result of conjunction of logicalcalculus and Nicod's criterion;
亨普尔验证悖论，又叫乌鸦悖论，是同时运用逻辑演算和尼柯德标准产生的。
2
Ternary optical coder , decoder and ternary logicalcalculus belong to key components of ternary optical computer, and they are the base of implementing other components of the optical computer.