Math 理解与证明表相关的真理证明

我一直在做离散结构，学习真理证明和排序（等等）→（B）∨（B）→C、 （-p）→q）⊕q等，可以知道这些是如何工作的，以及如何得出答案，尽管最近的事情与之类似

A→B 
B→C     A∨¬B
B       ¬A
____    ____
A→C     ????
??? 

我在谷歌上找不到任何关于这种格式或如何解决它的信息，也没有得到任何关于它和如何解决它的信息，因为它是新的，我不知道如何处理它。我找到的最接近类似来源是谷歌计算理论书、自动机和代数教科书，它们似乎是我试着把每一个真值表分开，但找不到一个模式来链接它

---

关于如何处理此类证明的来源或示例非常感谢。我以前从未遇到过这种布局，我很可能是我所知道的东西，只是以一种新的格式。提前感谢任何相关帮助。

有两种方法可以用逻辑证明事情：

通过计算所有输入的值，然后验证它是重言式

通过使用一个证明系统来操纵公式来证明它是重言式

你习惯于方法1。它易于理解和具体。方法2更抽象和更困难。要在证明系统中执行证明，你必须首先修复证明系统。这意味着声明一些公理和逻辑推理规则

例如，可以找到一个简单的系统：

A→（B）→（A）

(一)→（B）→C） )→（（A）→（B）→(一)→C） )

（A）→（B）→（B）→（A）

演绎是按波南的方式进行的：A，A→ B | B

在此系统中，您的证明可能如下所示：

1. A→B, B→C, B | (A→(B→C))→((A→B)→(A→C))       (2)
2. A→B, B→C, B | (B→C)→(A→(B→C))               (1)
3. A→B, B→C, B | A→(B→C)                       MP on 2. and hypothesis B→C
4. A→B, B→C, B | (A→B)→(A→C)                   MP on 1. and 3.
5. A→B, B→C, B | A→C                           MP on 4. and hypothesis A→B

在每一步中，你要么引入一个公理的新实例，要么应用你的演绎规则生成一条新线。从那时起，你可以使用这样导出的线来导出新线，直到导出预期的结果

你的第二个不是很有意义，因为你不能证明没有被要求的东西。如果你得到了类似的东西，我建议你只需填空，用一些容易证明的东西，比如<代码>真的<代码>，然后在证明中声明“状态>代码>真/代码>。