https://camokathomelab.servebeer.com/mediawiki/index.php?action=history&feed=atom&title=%D0%90%D1%82%D0%BE%D0%BC%D0%B0%D1%80%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0 2026-07-19T09:10:58Z История изменений этой страницы в вики MediaWiki 1.45.3 https://camokathomelab.servebeer.com/mediawiki/index.php?title=%D0%90%D1%82%D0%BE%D0%BC%D0%B0%D1%80%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0&diff=8139&oldid=prev 2026-02-28T06:25:34Z

<p>автоматическая отмена правки участника <a href="/mediawiki/index.php/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%92%D0%BA%D0%BB%D0%B0%D0%B4/2A00:1FA2:343:46B4:31F1:E6FC:851C:4B11" title="Служебная:Вклад/2A00:1FA2:343:46B4:31F1:E6FC:851C:4B11">2A00:1FA2:343:46B4:31F1:E6FC:851C:4B11</a> - R:6B ORES: 0.8701</p> <p><b>Новая страница</b></p><div>{{другие значения|Атом (значения)}}<br /> &#039;&#039;&#039;Атомарная формула&#039;&#039;&#039;, &#039;&#039;&#039;элементарная формула&#039;&#039;&#039; или просто &#039;&#039;&#039;атом&#039;&#039;&#039;, в [[математическая логика|математической логике]] — простейший случай [[Булева формула|логической формулы]]; формула, которую нельзя расчленить на [[подформула|подформулы]].<br /> <br /> Простейшим случаем атомов являются формулы, задающие отношения. Например утверждение «x больше 3» описывается атомом &#039;&#039;БОЛЬШЕ&#039;&#039;(x,3), где [[предикат]] &#039;&#039;БОЛЬШЕ&#039;&#039; [[истинность (логика)|истинен]], когда первый [[Функция (математика)#Определения|аргумент]] больше второго. Аналогично записав «x любит y» как &#039;&#039;ЛЮБИТ&#039;&#039;(x, y), можно представить предложение «Саша любит Дашу», как &#039;&#039;ЛЮБИТ&#039;&#039;(&#039;&#039;Саша&#039;&#039;,&#039;&#039;Дашу&#039;&#039;).<br /> <br /> В [[Логика первого порядка|логике первого порядка]] атомы также могут включать в себя [[функция_(математика)|функциональные символы]]. Общий вид атома в этом случае таков: &lt;math&gt;p(t_1,\ldots,t_n)&lt;/math&gt;, где &lt;math&gt;p&lt;/math&gt; — [[предикат|предикатный символ]] [[арность|арности]] &lt;math&gt;n&lt;/math&gt;, а &lt;math&gt;t_1,\ldots,t_n&lt;/math&gt; — [[Терм (логика)|термы]]. Например, если &#039;&#039;ОТЕЦ(x)&#039;&#039; означает «отец человека x», предложение «Ваня любит своего отца» можно представить атомом &#039;&#039;ЛЮБИТ&#039;&#039;(&#039;&#039;Ваня&#039;&#039;, &#039;&#039;ОТЕЦ&#039;&#039;(&#039;&#039;Ваня&#039;&#039;)).<br /> <br /> == См. также ==<br /> * [[Логика первого порядка]]<br /> * [[Логический атомизм]]<br /> <br /> {{Нет ссылок|дата=2011-05-12}}<br /> <br /> [[Категория:Математическая логика]]</div>

imported>EyeBot