son proposiciones atómicas inteligencia artificial