证明：在有向无环图中：不存在入度为0的点 ∧ 不存在出度为0的点 => 该图是强连通图

要证明的问题：

       前提条件：在有向无环图中(即自己本身是不是强连通的不知道，但其任何子图都不是强连通的)

       待证命题：不存在入度为0的点  ∧ 不存在出度为0的点 => 该图是强连通图。

（强连通图：任取两个不同的顶点a和b，a都可以到达b）

要证：当前是强连通图，

即证：任取顶点 i 、j (i和j是不同顶点)，i可到达j，

即证：假设i不可到达j，必产生矛盾。

 

那么就用假设法，假设i不可到达j：

看到达j的路径：看j的上1个点，上2个点，……，上n个点(由于前提条件有说：不存在入度为0的顶点，所以j至少有上1个顶点)；

再看i走出去的路径：看i的下1个点，下2个点，......，下m个点(由于前提条件有说：不存在出度为0的顶点，所以i至少有下1个顶点)；

 

因为不存在入度为0的顶点，所以j(-n)顶点必有其来路。由于根据假设i不可到j，所以其来路只能在链(1)中。但是如果这样，则链(1)中有环，环是强连通分量，与条件“所有点的任何真子集都不是强连通分量”相矛盾。所以j(-n)顶点的上一顶点只能来自链(2)。(同理，若通过说明 i(m) 顶点的下一顶点必须来自链(1)也可以找到矛盾)

 

所以，i可到达j；

<=>假设失败；

<=>该有向图是强连通图。

 

所以结论是，如下命题是真命题：

(前提条件：在有向无环图中)

命题1：不存在入度为0的点  ∧ 不存在出度为0的点 => 该有向图是强连通图

命题2：该有向图是强连通图 => 不存在入度为0的点  ∧ 不存在出度为0的点

那么在相同的前提条件下，它们的逆否命题也是真命题

命题3(命题1的逆否)：该有向图是非强连通图 => 存在入度为0的点 ∨ 存在出度为0的点

命题4(命题2的逆否)：存在入度为0的点 ∨ 存在出度为0的点 => 该有向图是非强连通图