Computer program based on the Membership Table Method (MTM) for the determination of the validity of categorical syllogisms

Usage

A function called test is provided that will read three premises. Each premise is composed of a quantifier, a set number, an operator and a second set number; and describe the parts of the categorical syllogism. The code will apply the Membership Table Method and will create a tabula result with all the partial processing and the final Membership Table Method set; and generate a reasonable conclusion