运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支，构造一个穷尽该问题一切可能的选言判断，并断定除该选言支外，其他选言支都是假的，从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了，可以构造选言判断如下：“电灯突然熄灭，或者是因为停电，或者是因为保险丝烧断，或者是因为线路发生故障，或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假，从而断定论题是真的。

专用于诊断计算机硬件故障或软件错误的程序。有的既可用于对硬件故障的检测，又可用于对程序错误的定位。

一种新型材料，由传感器或敏感元件等与传统材料结合而成。这种材料可以自我发现故障，自我修复，并根据实际情况做出优化反应，发挥控制功能。