olemus
ISO/IEC 2382:
kehtivate väidete ja tehetega tegelev distsipliin, mis kasutab tehiskeeli, mis on määratud vältima 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://egyankosh.ac.in/bitstream/123456789/38027/1/Unit-1.pdf

https://sde.uoc.ac.in/sites/default/files/sde_videos/symbolic_logic.pdf

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

https://dn790009.ca.archive.org/0/items/introductiontosy00bass/introductiontosy00bass.pdf

https://www.csusb.edu/sites/default/files/Sentential%20Logic.pdf

vt ka
- matemaatiline loogika