1.1 Lógica Proposicional