不知道是谁的博客

命题公式及分类0x00 前言本篇文章参考教材为：屈婉婷《离散数学（第五版）》——第一章 命题逻辑一切以此书为准，本文为学习总结所用如有偏差，是本人才疏学浅，望指正????0x10 命题公式抽象的说，命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但也不是由这些符号组成的任意符号串都是命题公式，因而必须给出命题公式的严格定义：原子命题是合式公式若A{A}A 是合式公式，则 ¬A...

命题符号化及联结词0x00 前置知识命题：能判断真假的陈述句，是具有唯一真值的陈述句 ????命题符号化：使用小写的英文字母 p,q,r,...,qi,pi,ri,...{p},{q},{r},{...},{q_i},{p_i},{r_i},{...}p,q,r,...,qi​,pi​,ri​,... 来表示命题例1-1：p:2是素数q:雪是黑的{p}: 2是素数 \\{q}: 雪是黑的...