Logica. Regles d'inferencia (ILO)

Quodlibet sequitur. Negació. Sil-logisme hipotetic i disjuntiu. Modus tollens. Deducció natural. Álgebra Boole. CP1. Formalització. Prenexa. Skolen