画出逻辑与,逻辑非,逻辑或的符号与真值表

Question

画出逻辑与,逻辑非,逻辑或的符号与真值表

Answer 1

郭敦顒回答：
逻辑与,逻辑非,逻辑或的符号：
逻辑与——∧,逻辑非——﹁,逻辑或——∨；
数理逻辑里的五个基本联结词：﹁,∧,∨,→,↔
另两个,→⇒——蕴含,↔——等价.
外两个：
A↓B——叫做合舍,读作“既非A又非B”,表示A与B同假.如果用五个基本联结词中的符号表示,即为：⌐A∧⌐B
A↑B——叫做析舍,读作“非A或者非B”,表示A与B中有一个为假.如果用五个基本联结词中的符号表示,即为：⌐A∨⌐B
真值表的种类很多,依不同的内容含意有不同的真值表,T表示真,F表示假
A↓B的真值表|A↑B的真值表||A∨B的真值表|矛盾的真值表—|原判断为P,
A、B| A↓B—||A、B| A↑B—||A、B|A∨B—||P|﹁P、P∧﹁P||负判断为并非P
T、T|—F—|,|T、T|—F—||T、T|—F——||T|—F、—F——|负判断的真值表
T、F|—F—|,|T、F|—T—||T、F|—T——||F|—T、—F——|P|并非P（﹁P）
F、T|—F—|,|F、T|—T—||F、T|—T——||———————|T|——F———
F、F|—T—|,|F、F|—T—||F、F|—F——||———————|F|——T———
A∧B的真值表|充分条件的真值表—||必要条件的真值表—|充要条件的真值表
A、B| A∧B—||A、B|如果A,那么B|A、B|只有A,才B||A、B|AI当且仅当B
T、T|—T——||T、T|———T———||T、T|———T———||T、T|——T——||
T、F|—F——||T、F|———F———||T、F|———T———||T、F|——F——||
F、T|—F——||F、T|———T———||F、T|———F———||F、T|——F——||
F、F|—F——||F、F|———T———||F、F|———T———||F、F|——T——||