亚里士多德三段论的算术语义验证器
Arithmetizations of Syllogistic à la Leibniz · Sotirov 1999
内涵模型 Leibnizian
外延模型 Scholastic
有效推演（前提真则结论必真）
无效推演（存在使前提真而结论假的赋值）
S=小项 · M=中项 · P=大项
第一格
M—P · S—M
第二格
P—M · S—M
第三格
M—P · M—S
第四格
P—M · M—S