真值表方法的步骤如下:
1.首先,列出各种真值组合:运用给定判断形式中的所有变项,列出这些判断的各种真值组合
2.其次,分解判断形式:根据判断形式的构成过程,从左至右由简而繁的列出所给定判断形式的各个组成部分(子公式);被判定的公式(原公式)列在最后。
3.之后,计算每个组成部分真值:根据已学过的联言判断、选言判断、假言判断、负判断的真值表,计算出每个组成部分的真值,依次给出表中所有公式的真值。
4.最后,得出需要判定的复合判断的真值并作出判定. 视频的最后,我要说的是,判定推理形式是否为有效式若某推理形式的真值是恒真的.