(به : ) یا ، در ، یک است که هیچ ساختار عمیق‌تری ندارد، یعنی فرمولی است که هیچ ندارد، یا به صورت معادل فرمولی است که هیچ اکیدی ندارد. از این رو اتم‌ها ساده‌ترین منطق هستند. «فرمول‌های مرکب» از پیوند فرمول‌های اتمی به کمک رابط‌های منطقی ساخته می‌شوند.
 فرم دقیق فرمول‌های اتمی بستگی به نوع منطق مورد بررسی دارد؛ برای مثال در فرمول‌های اتمی همان هستند. برای ، اتم‌ها نمادهای محمولاتی همراه با آرگومان‌شان هستند، که هر آرگومان در آن یک است. در ، فرمول‌های اتمی فقط نمادی هستند که معینی دارند، که دربرابر یک مدل معین می‌تواند باشد یا نباشد. 
 
 مشارکت‌کنندگان ویکی‌پدیا. « ». در ، بازبینی‌شده در ۲۱ مهٔ ۲۰۲۱.
{"title": "فرمول اتمی", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D9%85%D9%88%D9%84_%D8%A7%D8%AA%D9%85%DB%8C&oldid=32601766", "language": "fa"}