b'\n_START_ARTICLE_\nF\xc3\xb3rmula at\xc3\xb3mica\n_START_PARAGRAPH_\nEn l\xc3\xb3gica formal, una f\xc3\xb3rmula at\xc3\xb3mica es una f\xc3\xb3rmula bien formada que no tiene una estructura formal m\xc3\xa1s profunda. Esto es, una f\xc3\xb3rmula que no contiene conectivas l\xc3\xb3gicas, o equivalentemente, una f\xc3\xb3rmula que no tiene subf\xc3\xb3rmulas estrictas. De esta manera, las f\xc3\xb3rmulas at\xc3\xb3micas son las f\xc3\xb3rmulas bien formadas m\xc3\xa1s simples del lenguaje de la l\xc3\xb3gica. Las f\xc3\xb3rmulas compuestas (o moleculares) son formadas combinando las f\xc3\xb3rmulas at\xc3\xb3micas usando las constantes l\xc3\xb3gicas._NEWLINE_La forma de las f\xc3\xb3rmulas at\xc3\xb3micas depende del sistema l\xc3\xb3gico con el cual se est\xc3\xa9 trabajando. En la l\xc3\xb3gica proposicional, por ejemplo, las f\xc3\xb3rmulas at\xc3\xb3micas son las variables proposicionales. En l\xc3\xb3gica de predicados, son los predicados junto con sus argumentos.'