延伸学习
上一节
下一节
一、泛雅超星逻辑符号的录入
(1)因为 ∵ 、所以 ∴ 、合取 ∧ 、析取 ∨ 、否定 ¬ 、蕴含 →
(2)等价
二、WORD文档中逻辑符号的录入
(1)普通文本 + 数学运算符
因为、所以、合取、析取
(2)Symbol
否定:
(3)拉丁文本+箭头
蕴含、等价
目录
一、泛雅超星逻辑符号的录入
(1)因为 ∵ 、所以 ∴ 、合取 ∧ 、析取 ∨ 、否定 ¬ 、蕴含 →
(2)等价
二、WORD文档中逻辑符号的录入
(1)普通文本 + 数学运算符
因为、所以、合取、析取
(2)Symbol
否定:
(3)拉丁文本+箭头
蕴含、等价