自然演绎推理中的符号各是什么意思？

Question

如题所述

Answer 1

“∧”读“合取”，表示支命题必须全真，整个命题才真，至少有一个支命题假，整个命题就假；“∨”读“析取”，表示至少有一个支命题真，整个命题就真，只有支命题都假，整个命题才假。“→”读作“蕴涵”，表示前件假或后件真时，整个命题真，只有前件真而后件假时，整个命题才假。“←→”读作“等值”，表示前后件的真假值相同，整个命题才真，前后件真假值不同，则整个命题为假。“¬”读作“并非”，表示对一个命题的否定，即断定原命题为假。
基本的符号就这5个，除此之外，还有“严格析取（也叫不相容析取或强析取）”“逆蕴涵（也读作反蕴涵）”等，但这些符号都可以用基本的符号表示。