就是命题一或命题二的意思。连接两个简单命题用的,“∧”是且的意思,相当于集合中的交集,命题P∧Q的真假与P,Q的真假有关,当P,Q全是真命题时,命题P∧Q为真命题,其他都是假命题;,“∨”是或的意思,相当于集合中的并集。
逻辑符号是
逻辑学中用以表示
逻辑形式和逻辑运算的各种人工语言符号。传统
形式逻辑就已经采用某些逻辑符号来表示思维的逻辑形式。如用“所有S是P”表示全称肯定命题的逻辑形式,用“M-P,S-M,所以S—P”表示
三段论的逻辑形式,等等。在现代形式逻辑即数理逻辑中,逻辑符号被更加广泛地使用。不仅变项,而且逻辑常项也用符号来表示。如用“V”“A”“一”“_1”“一”等分别表示命题的析取、合取、蕴涵、否定、等值等等。