Av. Miraflores S/N Ciudad Universitaria (052) 583000-Anexo: 2350 admision@unjbg.edu.pe

La tabla de verdad; Simplificación de esquemas moleculares; Circuitos Lógicos; Equivalencia;

Formalización proporcional; Equivalencias notables; Reglas de inferencias; Inferencias notables;

Cuantificadores de una variable; Formalización cuantificacional; Equivalencias con cuantificadores;

Inferencia cuantificacional.