Proposición a la fórmula. Las conectivas. Tautología, contradicción y contingencia. Leyes lógicas y reglas de inferencia. Operaciones modales. Modalidades aléticas y deónticas. Leyes deónticas. Condiciones extrasistemáticas de la lógica deóntica.