 |
| | | | | Erläuterung | | Eine atomare Aussage ist eine nicht weiter unterteilbare Aussage, die im Rahmen der formalen Modellierung oder Spezifikation i.d.R. über entsprechende aussagenlogische Formeln ausgedrückt wird.
Gibt es z.B. für die Variable x eine Belegung mit dem Wert 10, dann lautet die entsprechende atomare Aussage x = 10. Solche Aussagen lassen sich mit Hilfe von booleschen Operatoren (z.B. durch die Konnektoren ∧ und ∨) zu komplexeren Aussagen erweitern. Beispielsweise können die beiden atomaren Aussagen x = 10 und y > 0 mit Hilfe des ∧-Operators zu folgender Aussage verknüpft werden:
x = 10 ∧ y > 0. | |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | atomare Aussage | | | | |  | Erläutert Technologien | | | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
