Sa nabanggit na analisis sa itaas , maituturing na matagal nang pag @-@ aaral ang lohikang pormal , makababalik tayo sa nakaraang 2,000 taon , habang tila bago pa lamang na pag @-@ aaral ang lohikang simboliko , at bunga ito ng paglalapat ng mga natuklasan sa matematika upang sagutin ang mga tanong sa lohika.
