Formālā loģika

Formālā loģika, loģikas zinātne — teorētiskās un lietišķās pētniecības nozare, kas analizē īstenības vispārīgo struktūru, pētī patiesuma likumsakarības un izstrādā loģikas kārtulas.

Matemātiskā loģika