_________罗素,皮亚诺___希尔伯特___吴卡谐维奇______其他变形
否定_____A___________Ā_________Np__________-A,┐A
合取_____A·B_________A&B________Kpq_________AB,A∧B
析取_____A∨B_________A∨B_______Apq
蕴涵_____A⊃B_________A→B_______Cpq
等值_____A≡B_________B_______Epq_________A↔B
全称量词_(x)F(x)____(x)F(x)____∏xf(x)____∀xF(x),∧xF(x)
存在量词_(∃x)F(x)__(Ex)F(x)___∑xf(x)____∃xF(x),∨xF(x)
从上到下我自己的读音:
非,和,或,则,等,每,有.
第一列,柯匹的《逻辑学导论》里使用.
第四列,国内多数教材里使用.
第二三列,好像较少使用.
由上可见,
这些逻辑学的符号意义非常明确,但是写法各异,
读音自然也会不同.
表意文字,南腔北调,在所难免.