Ang lohika ay isang pangkalahatang agham, na inilapat sa isang kabuuan, kung iyon ang lahat ay nasa ilalim ng pag-aaral. Ang lohika ay binubuo ng isang estado ng pagtanggap at pangangatuwiran kapwa para sa mga nag-aaplay nito upang pag-aralan at para sa mga nakakaunawa nito. Ang agham na ito, na ang etimolohiya ay nagpapahiwatig na ipinapahiwatig nito na nagmula ito sa salitang katwiran, pag-aaral at pag-aaral, ay tumutulong sa amin bilang pangunahing pagbawas, ang lohika ay isang kakayahang pangkaisipan na mayroon ang mga tao kung saan nakakaintindi at nakapagtatag ng isang tugon pare-pareho para sa isang sitwasyon na patungkol sa isang pagpapatunay na hindi.
Ginagamit ng lohika ang lahat ng mga pamamaraan ng pag-verify na mayroon, ang bagay na pinag-aaralan ay dapat na maunawaan mula sa isang empirical, makasaysayang, mapatunayan at wastong pananaw upang maglaman ng pare-parehong mga sagot. Sa lohika, ang tao ay may kapangyarihang buksan ang kanyang isip sa mga bagong kahalili kapag nagpapasya. Ginamit ang lohika upang makahanap ng pinakamahusay na solusyon sa isang problema.
Ang simula ng Logic ay nagsimula nang sinabi ni Aristotle na kinakailangan na huminto bago ang lahat ng mga pangyayaring maaaring lumitaw, na anuman ang maging wasto o hindi, kinakailangan na isaalang-alang ang mga ito, kapag kumukuha ng isang resulta bilang "Pahintulot ". Mula doon, ang lohika ay pinaghiwa-hiwalay sa mahahalagang sangay upang makipagtulungan sa proseso ng pag-unawa sa mga problema.
Ang pormal na lohika ay ang ipinakita ni Aristotle, kung saan ang pangangailangan na maghanap para sa mga kadahilanan ay pinatunayan. Ang impormal na lohika ay lumalampas sa mga hadlang sa maaaring mangyari, isinasaalang-alang ang mga aspeto na ganap na walang kaugnayan sa paksang pinag-aaralan, ngunit naging mabisa ang pagsasaalang-alang sa laki ng patlang na pinag-aaralan. Ang likas na lohika, na nakatuon na nakatanim sa tao, upang lumikha ng lohikal at wastong mga desisyon at sa wakas ay mayroong lohika sa matematika, ang huli na may malaking kahalagahan sa pag-unlad at ebolusyon ng sangkatauhan, naitatag ang kabuuan at mga termino ng disenyo ng lipunan at nakikipagtulungan sa pagtatayo ng isang kapaki-pakinabang na modelo ng pagkalkula para sa anumang pagkakataon.
