Wichtiger Hinweis zum Inhalt des Online-LexikonsBei den auf dieser Seite aufgeführten Texten/Artikeln/Inhalten handelt es sich ausschließlich um fremde Inhalte, die sich die Aschendorff Verlag GmbH & Co. KG ausdrücklich nicht zu Eigen macht. Diese fremden Inhalte, die keiner regelmäßigen Überprüfung unterliegen, sind ausnahmslos solche der freien Enzyklopädie Wikipedia, für die keinerlei Verantwortung übernommen wird.

---

Lizenzbestimmungen Der Text/Artikel/Inhalt auf dieser Seite innerhalb der Rubrik "Online Lexikon" basiert, soweit nicht anders angegeben, auf dem Artikel Atomare Aussage aus der freien Enzyklopädie Wikipedia. Die Inhalte stehen unter der GNU Lizenz für freie Dokumentation. Eine Liste der Autoren ist dort abrufbar.

Atomare Aussage

Als atomare Aussagen (auch Atomaussagen, Primaussagen, Atome) werden in der mathematischen_oder_formalen_Logik Aussagen bezeichnet, die nicht aus anderen Aussagen zusammengesetzt sind. Sie enthalten daher keine aussagenverknüpfenden logischen Konstanten (Junktoren) wie ∧ (und), ∨ (oder) und ¬ (nicht).

Beispiele (Prädikatenlogik)

* $t=s$ für beliebige Terme $t$, $s$
* R($t\_1$,...,$t\_n$) für jede n-stellige Relation R und beliebige Terme $t\_1$ bis $t\_n$

       VIDEO-NEWS UND ANGEBOTE