名称

肯定前件式

否定前件式

肯定后件式

否定后件式

前提

p→q

p→q

p→q

p→q

p

~p

q

~q

结论

q

~q

p

~p

逻辑有效性

有效

无效

无效

有效

实验支持性

100%

21%

33%

50%