Logika jest nauką o formalnych zasadach rozumowania/ poprawnego wnioskowania.

Historycznie logika wywodzi się od starożytnego greckiego filozofa Arystotelesa. Następnie została rozwinięta i usystematyzowana przez stoików oraz średniowiecznych uczonych. Pod koniec XIX i na początku XX wieku logika przeżywała gwałtowny rozwój, który trwa do dzisiaj.

Zdaniem w logice nazywamy wyrażenie, któremu możemy przypisać jedną z dwóch wartości: prawda albo fałsz – są one nazywane wartościami logicznymi.

Przykładowym zdaniem jest: „Korzystam z komputera” – o tym zdaniu możemy powiedzieć że jest prawdziwe albo fałszywe.

Wartości logiczne oznaczamy symbolami:

- prawda 1

- fałsz 0

Możemy wyróżnić następujące spójniki logiczne:
- koniunkcja
- alternatywa
- implikacja
- równoważność
- negacja (zaprzeczenie)