Kiedy myślimy o logice rzadko kiedy mówimy o niej w ujęciu, które jest naukowo najbardziej prawidłowe. Logika klasyczna to dziedzina nauki, którą można streścić, jako formalny system logiczny składający się z rachunku zdań oraz rachunku kwantyfikatorów. Inaczej nazywa się to również logiką elementarną lub klasycznym rachunkiem logicznym. Przedmiotem który jest w zainteresowaniu tego rachunku są zdania logiczne. Za zdania takie uznaje się takie zdania oznajmujące, którym mogą być określone według dwóch wartości: prawda lub fałsz. W takim ujęciu, logika klasyczna jest dwuwartościowa. Jest to wyraźne odróżnienie od systemów logicznych odkrytych w XX wieku, które są wielowartościowe. Przeprowadzając rachunek zdań, zdania reprezentowane są przez tak zwane zmienne zdaniowe. Do konstrukcji zdań złożonych używa się spójników logicznych takich, jak ;i;, ;lub;, ;nieprawda, że;. Jednym z celów przeprowadzania rachunku zdań jest to by wypracować metod, które pozwolą wyznaczać wartości logicznych zdania złożonego na podstawie wartości logicznych zdań składowych. W najprostszym ujęciu klasyczny rachunek logiczny powinien obejmować wszystkie zasadnicze prawa, które zostały odkryte przez logików starożytnych oraz tych bardziej współczesnych a także prawa dotyczące kwantyfikatorów. Poprawnie przeprowadzony rachunek powinien być wystarczający do tego by opisać wszystkie wnioskowania, które mają zastosowanie w matematyce a także wszelkich wnioskowań dedukcyjnych. Tak opisana logika klasyczna jest zamkniętym działem logiki. Logika klasyczna jest traktowana jako podstawa wykładu logiki zarówno w podręcznikach szkolnych, jak i akademickich. Zastosowanie logiki, choć wydaje się czysto teoretyczne może mieć bardzo wielkie znacznie na co dzień choćby przy podejmowaniu ważnych logicznych decyzji.