Desarrolló la lógica proposicional.