olemus
ISO/IEC 2382:
kehtivate väidete ja tehetega tegelev distsipliin,
kasutab tehiskeeli, vältimaks loomulike keelte
mitmetähenduslikkust ja loogikalisi puudusi
=
discipline in which valid argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages

ülevaateid
https://philosophy.lander.edu/logic/symbolic.html

https://en.wikipedia.org/wiki/Mathematical_logic#Symbolic_logic

https://www.maa.org/press/periodicals/convergence/an-introduction-to-symbolic-logic

https://www.maa.org/sites/default/files/images/upload_library/46/Pengelley_projects/symbolic_logic_final.pdf

https://logiclx.humnet.ucla.edu/Logic/Documents/CORE/Text0.pdf

vt ka
- matemaatiline loogika