逻辑学吧 关注:38,224贴子:144,881
  • 9回复贴,共1

关于逻辑学专用符号的输入方法

收藏回复

  • 219.144.209.*
关于逻辑学专用符号的输入方法 
关于逻辑学特殊符号的输入方法
在搜狗拼音输入法的短语输入配置文件Phrases.ini后面加入这些行并保存:
ry,1=∀
cz,1=∃
dd,1=⊢
zdd,1=⊨
br,1=□
hr,1=◇
hq,1=∧
xq,1=∨
yh,1=→
dz,1=↔
fd,1=~
sy,1=∴
yw,1=∵
即可通过输入前面的缩写字母获得后面的符号。在word软件中也可通过输入unicdoe编码来获得符号。比如输入2200,然后按Alt+x键组合即可将2200转换为∀。各符号对应unicode编码如下。
∀=2200
∃=2203
⊢=22A2
⊨=22A8
□=25A1
◇=25C7
∧=2227
∨=2228
→=2192
↔=2194
~=FF5E
∴=2234
∵=2235
 



1楼2009-07-24 22:13回复
    • 58.24.198.*
    1 几何符号
         ⊥    ‖    ∠    ⌒    ⊙    ≡    ≌     △
         2 代数符号
         ∝    ∧    ∨    ~    ∫    ≠     ≤    ≥    ≈    ∞    ∶
         3运算符号
         ×    ÷    √     ±
         4集合符号
         ∪    ∩    ∈
         5特殊符号
         ∑     π(圆周率)
         6推理符号
         |a|     ⊥     ∽     △     ∠     ∩     ∪     ≠     ≡     ±     ≥     ≤     ∈     ←
         ↑     →     ↓     ↖     ↗     ↘     ↙     ‖     ∧     ∨
         &;    §
         ①    ②    ③    ④    ⑤    ⑥    ⑦    ⑧    ⑨    ⑩
         Γ     Δ     Θ      ∧     Ξ     Ο     ∏      ∑     Φ      Χ     Ψ     Ω
         α     β     γ     δ     ε     ζ     η     θ     ι     κ     λ     μ      ν
         ξ     ο     π     ρ     σ     τ     υ     φ     χ     ψ     ω
         Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ
         ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
         ∈    ∏    ∑    ∕    √    ∝    ∞    ∟ ∠     ∣    ‖    ∧    ∨    ∩    ∪    ∫    ∮
    


    5楼2009-11-27 19:46
    回复
      2025-08-22 15:13:50
      广告
      不感兴趣
      开通SVIP免广告
      • 58.24.198.*

           ∴    ∵    ∶    ∷    ∽    ≈    ≌    ≈    ≠    ≡    ≤    ≥    ≤    ≥     ≮    ≯    ⊕    ⊙     ⊥
           ⊿    ⌒      ℃
           指数0123:o123
      上述符号所表示的意义和读法(中英文参照)
           +   plus 加号;正号
           -   minus 减号;负号
           ±     plus or minus 正负号
           ×    is multiplied by 乘号
           ÷     is divided by 除号
           =   is equal to 等于号
           ≠   is not equal to 不等于号
           ≡   is equivalent to 全等于号
           ≌ is approximately equal to 约等于
           ≈   is approximately equal to 约等于号
           <   is less than 小于号
           >   is more than 大于号
           ≤   is less than or equal to 小于或等于
           ≥   is more than or equal to 大于或等于
           %   per cent 百分之…
           ∞   infinity 无限大号
           √   (square) root 平方根
           X squared X的平方
           X cubed X的立方
           ∵ since; because 因为
           ∴ hence 所以
           ∠ angle 角
           ⌒ semicircle 半圆
           ⊙ circle 圆
           ○   circumference 圆周
           △ triangle 三角形
           ⊥ perpendicular to 垂直于
           ∪ intersection of 并,合集
           ∩   union of 交,通集
           ∫   the integral of …的积分
           ∑   (sigma) summation of 总和
           °     degree 度
           ′   minute 分
           〃   second 秒
           #   number …号
           @   at 单价
      


      6楼2009-11-27 19:46
      回复
        回复:6楼
        有错误;应该是:
        ∪: union of 并,合集
        ∩: intersection of   交,通集


        IP属地:北京禁言 |7楼2010-02-02 22:33
        回复



          IP属地:北京禁言 |8楼2011-05-29 18:48
          回复
            ⊢=22A2
            ⊨=22A8


            IP属地:北京禁言 |9楼2013-08-31 07:26
            回复


              禁言 |10楼2019-03-08 23:34
              收起回复
                ⊢=22A2
                ⊨=22A8
                ≦=2266
                ≧=2267
                ≨=2268
                ∩=2229
                ∪=222a
                ⊂=2282
                ⊃=2283
                ⊄=2284
                ⊅=2285
                ⊆=2286
                ⊇=2287
                ⊈=2288
                ⊉=2289
                ∋=220b
                ∌=220c


                禁言 |11楼2019-03-09 15:03
                回复
                  2025-08-22 15:07:50
                  广告
                  不感兴趣
                  开通SVIP免广告
                  ¬=00ac
                  °=00b0
                  ¼=00bc
                  ½=00bd
                  ¾=00be
                  ⅐=2150
                  ⅑=2151
                  ⅒=2152
                  ⅓=2153
                  ⅔=2154
                  ⅕=2155
                  ⅖=2156
                  ⅗=2157
                  ⅘=2158
                  ⅙=2159
                  ⅚=215a
                  ⅛=215b
                  ⅜=215c
                  ⅝=215d
                  ⅞=215e
                  ⅟=215f


                  禁言 |12楼2019-03-09 15:29
                  回复