El saber teórico engloba la lógica formal y lógica informal. La lógica informal estudia las falacias y los falsos argumentos como: a) ad verecundiam, b) ad hominem, c) ad populum, d) ad ignorantiam, e) ad baculum, f) la generalización indebida, g) la falsa causa, h) falacia semántica, i) falacia circular, …  La lógica formal se ocupa de la validez y los razonamientos. Los tipos de lógica formal son: a) de relaciones, b) de clases, c) de predicados y e) de enunciados. La lógica de enunciados estudia las relaciones entre enunciados y posee unos mecanismos de comprobación como: a) las tablas de verdad y b) las reglas de inferencia. El lenguaje formal de la lógica de enunciados contiene símbolos. Los símbolos de la lógica de enunciados son: a) no lógicos (variables y símbolos auxiliares) y b) lógicos (negador o conectivas –conjunción, disyunción, condicional, bicondicional, …-.