Se presenta una lista de las equivalencias lógicas y sus nombres.

Se presenta una lista de las reglas de inferencias lógicas y sus nombres.

Se presentan las definiciones de tautología, falacia (contradicción) y eventualidad (contingencia). Y a partir de estas, las definiciones de tautológicamente equivalente, e implicar tautológicamente.

Se presentan diferentes métodos de demostración y una explicación de como abordarlos.

Se presenta la definición de proposición abierta y los cuantificadores existencial y universal.

Se presenta algunas equivalencia de proposiciones con cuantificadores y las condiciones para que proposiciones abiertas de dos variables sean verdaderas

Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas.