Aquí encuentras algunos talleres con los contenidos teóricos resumidos y ejercicios de cálculo de proposicional, y las reglas de inferencia. Los ejercicios NO son para entregar son simplemente de entrenamiento.

Los objetivos a lograr son:

• Transcribir afirmaciones empleando los símbolos del cálculo proposicional y viceversa.

• Distinguir las componentes de una implicación, su recíproco y contrarrecíproco.

• Familiarizarse con la nociones de tautología, contradicción y contingencia.

• Identificar las principales tautologías del cálculo proposicional.

• Emplear de forma adecuada los cuantificadores. 

• Realizar pruebas de existencia y contraejemplos.