逻辑符号

一、逻辑符号～﹁→←↔╞├∄⇒↓↑↘↙↖↗∣∥√│|～二、集合符号∧∨∩∪∈∋⊂⊈三、数学符号≡≈＜＞≤≥≧≦≮≯≠∫∮∝∞±%‰∽≌﹝1﹞〔2〕∮∝∞±∬†‡－×÷四、字母φΦ∫γΓΨψΩωΣστΤαβφδεζωπμλöøθ五、辅助符号△◇『』○▽▷◁◑◐♠♡♣﹡※≫≪»«¯○♦ήγβαμλκμηεωψθχυτσςρποιξℒ∊∃∑∞∝∽≤≥≠Ω*★、∀xATrue(A)A↔BA→BB→Aden(t)A(t0/x)True(CB)↔（True(CB)→B）True(A)↔AA↔A‖A‖Ββθε½ρfτασξμηζδΔØωΦΓΩλγvΨ††§≤⊥Т≥∈⊆≦∪∩⊃∀和∃↔→├╞﹁、∨、∧＜＞≠＝∈L0LL★L+★╞?╞LCC├LCCA├NBAtLEMCLEMArm(α)L0T0kwSAden(t)λ0RSV1(x)︱X︱½ω-一致性ω2N-Cs‖Γs‖︱B︱M︱B︱Pr★Δ＋ρ★（A→B）→（ΨA→ΨB）Bew(A★⊃B★)(A→kB)→(A→k＋1B)Ⅰ.Ⅱ.Ⅲ.ⅰⅱⅲⅳⅴⅵⅶⅷⅸA13*K3K3-p(vj1……vjn)θ(v1,……,vtn)∀x1……∀xk（A∨﹁A）∀xkA∨﹁∀xkAA→B├LCC(C→θA)→(C→θA)A→B├LCCθA(x)→θB(x)M★MΔ·β，Ωα★σ★Mα，σtnt1,……,tn｛0,½,1｝∣A∣γ,Ω[β，α)∣A→B∣α,σ∣True(t)∣α,σ＝︱A︱α,σ[α]︱A︱α,σσ[α]∣A∣Δ，Ω∣p(t1,……,tn)∣α,σUα,δnegUα,ρnegUα,σnegUα,ρUα,σUα,δdeterminately算子“revengeproblems”“super-stages”mini-stagespointpast，ultimatearbitrarilylaterealizationrevengeGENERALSUBSTITUTIVITYuniversalclosureevensuccessorImportationExportationstageExplosionlevelequalityIterationunivalentGeneralizedObservationsHIERARCHYpositiveextensionsequencearbitrarilylateguitarpro如果v(A)=v(B)=p，则v(A∧B)=v(A∨B)=v(A→B)=v(A↔B)=p；如果v(A)=p，v(B)=f，则v(A∨B)=v(A→B)=v(A↔B)=p。