b"\n_START_ARTICLE_\nL\xc3\xb2gica formal\n_START_PARAGRAPH_\nLa  l\xc3\xb2gica formal  \xc3\xa9s la part de la l\xc3\xb2gica que, a difer\xc3\xa8ncia de la l\xc3\xb2gica informal, es dedica a l'estudi de la infer\xc3\xa8ncia mitjan\xc3\xa7ant la construcci\xc3\xb3 de llenguatges formals, sistemes deductius i sem\xc3\xa0ntiques formals. La idea \xc3\xa9s que aquestes construccions capturin les caracter\xc3\xadstiques essencials de les infer\xc3\xa8ncies v\xc3\xa0lides en els llenguatges naturals, per\xc3\xb2 que en ser estructures formals i susceptibles d'an\xc3\xa0lisi matem\xc3\xa0tic, permeten realitzar demostracions rigoroses sobre elles._NEWLINE_La l\xc3\xb2gica formal no ha de ser confosa amb la l\xc3\xb2gica matem\xc3\xa0tica, abans anomenada l\xc3\xb2gica simb\xc3\xb2lica, que \xc3\xa9s una subdisciplina de la l\xc3\xb2gica formal."