History

for article: Material implication (rule of inference)