11. For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted. 12. More than any other single work, it established the speciality of mathematical or symbolic logic . 13. However, symbolic logic seems to be almost exclusively human. 14. To prove this, she provides an interpretation of these sentences in symbolic logic , shown below. 15. :I suspect that this ties in with the ability to use " symbolic logic ". 16. Propositional logic was eventually refined using symbolic logic . 17. His senior thesis derived a complex acid-base algorithm from the laws of thermodynamics using symbolic logic . 18. :I believe that we see things as other things due to our ability to handle symbolic logic . 19. The most prominent professional organization in the field of model theory is the Association for Symbolic Logic . 20. So what, Lewis Carroll asks in one of his books about symbolic logic , is the proper conclusion?
