Introducción
Este capítulo estudia el signo lógico "implica" que permite la escritura formal de los teoremas. Este signo se expresa con ayuda de los conectores lógicos ya estudiados, conjunción, disyunción y negación. Estudiaremos las diferentes formas de escribir los teoremas. Veremos también las diferentes proposiciones relacionadas con una proposición determinada, contrapuesta, recíproca.
