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