Logica examinează structura argumentelor valide. Se întreabă: dacă premisele sunt adevărate, rezultă în mod necesar concluzia? Logica formală folosește simboluri pentru a reprezenta afirmații și reguli pentru a deduce concluzii. Silogismele lui Aristotel au fost un sistem timpuriu; logica modernă, dezvoltată de Frege, Russell și alții, stă la baza matematicii și informaticii.

Logica propozițională se ocupă de afirmații adevărate sau false și de conectori precum ȘI, SAU și NU. Logica predicatelor adaugă cuantificatori: „pentru toate” și „există”. Aceste sisteme formalizează raționamentul și dezvăluie erorile logice.

Logica este fundamentul demonstrației matematice. Fiecare teoremă se bazează pe deducția logică din axiome. În informatică, porțile logice implementează operații booleene, iar limbajele de programare utilizează condiții logice. Acest subiect se intersectează, de asemenea, cu filosofia, lingvistica și inteligența artificială. Gândirea clară despre raționament este utilă mult dincolo de matematică.

• Studiul raționamentului valid
• Folosește simboluri și reguli formale
• Logica propozițională și predicativă
• Fundamentele dovezii și calculului