¿Qué es la logica proposicional y ejemplos?