逻辑推理四大基础类型的内涵与外延关系研究

用事实验证了逻辑推理4大基础类型的互蕴公理,进而说明此4大公理之内涵与外延间的同构性与异构性的相互转换关系。由此说明:除外延性经典数理逻辑的推理演算之外,逻辑学还存在着更为广阔的发展空间,新世纪非经典数理逻辑的内涵性或外延性推理演算研究有着灿烂的前景。