[Fedorowicz]

Podstawową zasadą logiki jest to, że twierdzenie nie podlega dyskusji, w sensie, że nie ma dwóch prawd.
Logiczne czyli prawdziwe i tu na przykład, nie można do logiki zaliczyć religii, polityki czy wielu rzeczy
związanych z Kosmosem. Logika opiera się na dowodach namacalnych.

Czyli inaczej mówiąc przedmiotem logiki formalnej są takie zdania oznajmujące, którym można przypisać jedną z dwu wartości logicznych: prawda lub fałsz. Jednym z klasycznych przykładów praw logiki jest prawo wyłączonego środka (tertium non datur, dosł. trzecie nie będzie dane, trzeciej możliwości nie ma) To jedno z podstawowych praw klasycznego rachunku zdań. Prawo to mówi, że dla dowolnego zdania logicznego albo ono samo jest prawdziwe, albo prawdziwe jest jego zaprzeczenie. Innymi słowy dwa zdania ze sobą sprzeczne nie mogą być jednocześnie prawdziwe.