蕴含式相关论文
本文用数理逻辑中蕴含式、强蕴含等概念阐述了高中数学实验教材[1]中的充分、必要、充要条件的定义,并总结出它们的性质,最后分析......
本文介绍了一种程序开发方法的关键概念和关键技术，以及时间和空间等高级概念。通过给出一个实例，简单说明这种理论在程序开发过程中......
离散数学中的关系R是一个重要的基本概念。根据定义在一个集合A上的关系R的六个性质的英文定义，利用蕴含式的逻辑特点，从有序对和关......
