La llóxica yía lestudiu de los entamos de la demostración ya inferencia válida. Pa ser un poucu más concretos, dalgunas temas  que cain baixul domiñu de la llóxica son: la cadarma (ou forma) de los argumentos y las proposiciones, tantu nos sistemas formales dinferencia cumu nel llinguax natural, las falacias, las paradoxas, los razonamientos probabilísticos y los argumentos quinvolucran a la casualidá.