Quantum redactiones paginae "Signatura (logica)" differant

{{L1}}

{{Pagina non annexa}}

 

Sit, exempli gratia, formula arithmetica ut <math>\forall x\,x+0=x</math> (quae dicit <math>x+0=x</math> cuique numero <math>x</math>). In hac formula <math>\forall</math>, <math>x</math> et <math>=</math> sunt signa logica, quia omnes formulae logicae his utuntur, sed non sunt <math>+</math> et <math>0</math>, quae sunt signa in hac tantum lingua. Igitur signatura huius linguae haec signa continet.