逆定理

自苦

zì kǔ

1.自己受苦;自寻苦恼。

雾岑

wù cén

1.云雾缭绕的山头。

谠议

dǎng yì

1.刚直的议论﹔直言不讳的议论。

濊貊

huì mò

1.亦作"濊貉"。 2.我国古代东北地区少数民族名。

无辙

wú zhé

1.没有车辙。引申为没有痕迹。形容义理抽象。

直接证明

zhí jié zhèng míng

间接证明”的对称。直接用论据断定论题为真的证明方法。