Powszechnie uważa się, że to matematyka jest „królową nauk”, wiele osób traci jednak kontakt z tą dyscypliną w późniejszych stadiach edukacji. Większość głównych dziedzin nauki, zarówno przyrodniczych, jak i o charakterze humanistycznym, wywodzi się z logiki. Logika jest podstawowym narzędziem wnioskowania wykorzystywanym zarówno przez matematyków, informatyków, jak i ludzi z wykształceniem filozoficznym. Jest to jednocześnie jedyny przedmiot, który występuje na każdym kierunku w programach studiów wyższych uczelni. Studenci kierunków humanistycznych poznają logikę w aspekcie filozoficznym, skupiającą się na paradoksach i wartościowaniu zdań, natomiast studenci kierunków matematyczno-przyrodniczych rozwijają swoje zdolności w logice matematycznej, która największy nacisk kładzie na udowadnianie twierdzeń.

Podstawy:

Fundament logiki tworzą zależności między wyrażeń, które są wyrażane w formie podobnej do działań matematycznych. Zdanie przybiera zarówno formę słowną, jak i matematyczną. Znaczące, żeby ocenić, czy zdanie jest prawdziwe, czy fałszywe. Dopiero wtedy można rozpatrywać zależności między zdaniami składowymi. Jedną z najważniejszych zależności w tej nauce jest koniunkcja logiczna, nazywana również iloczynem logicznym. Koniunkcja jest prawdziwa wówczas, gdy obie części składowe są prawdziwe. Można to przedstawić z wykorzystaniem dowolnie wybranego zdania, gdzie iloczyn reprezentuje spójnik „i”. Jeśli jedno ze zdań składowych nie będzie prawdziwe, wtedy całe wyrażenie również będzie fałszywe.

Wykorzystanie w praktyce:

Wiele osób uważa, że logika jest skomplikowaną metodą przedstawiania zjawisk prostych. Znajduje to jednak swoje uzasadnienie praktyczne, logika jest nauką szeroko stosowaną na przykład przez fachowców prowadzących prace nad sztuczną inteligencją. Wpojenie sztucznemu umysłowi podstawowych zasad, które dla zwykłego człowieka wydają się oczywiste, jest niezwykle długotrwałym i zawiłym zajęciem. Komputer obdarzony tego rodzaju inteligencją poza logicznym ocenianiem informacji wysyłanych z otoczenia, musi być w stanie wykonać zawiłe czynności.

Jak się bowiem okazuje, powtórzenie drogi ludzkiego rozumowania jest zadaniem bardzo trudnym i wymaga nakreślenia od nowa wszelkich zależności, takich jak omówiony już iloczyn logiczny, czy implikacja. W praktyce oznacza to wprowadzanie bardzo wielu zdań do pamięci komputera i przypisywanie im wartości w kategorii „prawda” i „fałsz”.