真值表可以用来证明逻辑公式吗

可以证明逻辑公式。

与-或式；与非-与非式；与或非式；或非-或非式。

布尔代数法：按一定逻辑规律进行运算的代数。与普通代数不同，布尔代数中的变量是二元值的逻辑变量。

真值表法：采用一种表格来表示逻辑函数的运算关系，其中输入部分列出输入逻辑变量的所有可能组合，输出部分给出相应的输出逻辑变量值。

表征逻辑事件

输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。

假言命题指形式为"如果A则B"的复合命题。又称条件命题。其在前的支命题叫做前件，在后的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。

逻辑学考察的事物间的条件关系有三种：

1 如果有事物情况A，则必然有事物情况B；如果没有事物情况A而未必没有事物情况B，A就是B的充分而不必要的条件，简称充分条件。

2 如果没有事物情况A，则必然没有事物情况B；如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称必要条件。

3 如果有事物情况A，则必然有事物情况B；如果没有事物情况A，则必然没有事物情况B，A就是B的充分必要条件。

例如：1 A下雨；B地湿。

2 A不断呼吸；B人能活着。

3 A三角形等边；B三角形等角。

例1中的A是B的充分条件；例2中的A是B的必要条件；例3中的A是B的充分必要条件。 与此相应，假言命题也有三种，即：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的假言推理。

再举个列子说：（充分条件假言命题及其推理）

充分条件的假言命题是指前件是后件的充分条件的假言命题，例如：

“如果你骄傲自满，那么你就要落后。” 这是一个充分条件的假言命题。因为，在这里，前件“你骄傲自满”，就是后件“你就要落后”的充分条件。

真值表是反映命题逻辑性质的表格。必要条件假言命题是断定前件是后件的必要条件，即前件假，则后件必假，前件真，后件可真可假。因此，当前件真、后件真，前件真、后件假，前件假、后件假这三种情况下，整个必要条件假言命题都是真的。只有当前件假而后件真时，整个必要条件假言命题才是假的。