二难推理是一种逻辑推理方法，其基本形式可以表示为：

1. 提出一个假设，即存在两种可能性 A 和非 A。

2. 通过推理，得出两个相互矛盾的结论。

3. 由于这两个结论相互矛盾，因此必须有一个是错误的。

4. 根据排除法，得出其中一个结论是正确的，即 A 或者非 A。

在逻辑符号中，二难推理可以表示为：

A ∨ B

A → C

B → C

所以 C

这里 `A ∨ B` 表示 A 或 B 至少有一个为真，`A → C` 表示如果 A 为真则 C 为真，`B → C` 表示如果 B 为真则 C 也为真。因此，无论 A 或 B 中哪个为真，结论 C 都成立。

二难推理的四种形式包括：

1. 简单构成式：`A ∨ B, A → C, B → C， 所以 C`。

2. 简单破坏式：`¬B ∨ ¬C, A → B, A → C， 所以 ¬A`。

3. 复杂构成式：`A ∨ B, A → C, B → D， 所以 C ∨ D`。

4. 复杂破坏式：`¬C ∨ ¬D, A → C, B → D， 所以 ¬A ∨ ¬B`。

二难推理在日常生活和哲学讨论中广泛应用，它可以帮助人们分析和解决问题，尤其是在面对两难选择时