定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值,A1A2…Ak 为假,或当A1A2…Ak为真时,B也为真,则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论.
推理正确并不能保证结论一定成立;前提不正确,不论结论是否成立,都说推理正确。
定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当A1A2…AkB为重言式
定理说明:
. { A1, A2, …, Ak} ├ B 等同于蕴含式A1A2…AkB
{ A1, A2, …, Ak} ╞ B 等同于 A1A2…Ak