MF277: A Systematic Approach to Logical Deduction (English)

Given a logical argument involving several premises formulated with the usual logical connectives of PL and a desired conclusion, we give a two step method for deciding whether or not the argument is valid. First there is a reduction or simplification of all the ingredients as Boole polynumbers. Then there is the simplification of the statement which encodes the product of the premises implying the conclusion. This approach is particularly suited for computer application, especially when polynomial algebra routines have been augmented with Boole reduction.

https://www.youtube.com/watch?v=7IhpOeJ3CUk