Search posts, tags, users, and pages
tianchuangya
确定性是机器的底层逻辑，而你是我在这个绝对理性世界里，唯一的那个浪漫bug
定义：S是一个联结词集合，若任一个命题公式都可以由s中的联结词表示出来命题公式与之等价，则称S是一个联结词完备集。 也就是说一个连接词集合，能表达出所有真值函数，称为完备集 以下是完备集： S1={¬,∧,∨} —— 否定、合取、析取 S2={¬,∧,∨,→} —— 否定、合取、析取、蕴涵 S3={¬,∧,∨,→,↔} —— 否定、合取、析取、蕴涵、等价 S4={¬,∧} —— 否定、
No responses yet.
