Investigar que es lógica Proposicional.