Mapa mental que proporciona un resumen sobre el cálculo preposicional y las inferencias lógicas.