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——||