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

Input data

Load an example from the MTM paper: (choose one) Example 1 Example 2 Example 3 Example 4 Example 5 Example 6 Example 7 Example 8 Example 9 Example 10 Example 11 Example 12 Example 13 Example 14 Example 15 Example 16
Or enter the data for the categorical syllogism being tested below:

C1:
C2:
C3:
s1:	All No Some C₁ C₂ C₃ are are not C₁ C₂ C₃
s2:	All No Some C₁ C₂ C₃ are are not C₁ C₂ C₃
∴s3:	All No Some C₁ C₂ C₃ are are not C₁ C₂ C₃
	Test syllogism

Clear inputs.

Back to publications