Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
atomare Aussage
Glossar:4799
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
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.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018