Zum Inhalt springen

„atomare Aussage“ – Versionsunterschied

aus AufEinWort, der freien Forschung
[ungesichtete Version][ungesichtete Version]
Die Seite wurde neu angelegt: „= atomare Aussage = Als ''atomare Aussagen'' werden in der mathematischen oder formalen Logik Aussagen bezeichnet, die nicht aus anderen Aussagen zusammengesetzt sind. Sie enthalten daher keine aussagenverknüpfenden logischen Operatoren ([https://de.wikipedia.org/wiki/Junktor Junktoren]) wie ∧ ([https://de.wikipedia.org/wiki/Konjunktion_(Logik) und]), ∨ ([https://de.wikipedia.org/wiki/Disjunktion oder]) und ¬ ([https://de.wikipedia.or…“
 
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 1:
= atomare Aussage =
[[atomar|atomare]] [[Aussage]]
Als ''atomare Aussagen'' werden in der mathematischen oder formalen Logik Aussagen bezeichnet, die nicht aus anderen Aussagen zusammengesetzt sind. Sie enthalten daher keine aussagenverknüpfenden logischen Operatoren ([https://de.wikipedia.org/wiki/Junktor Junktoren]) wie ∧ ([https://de.wikipedia.org/wiki/Konjunktion_(Logik) und]), ∨ ([https://de.wikipedia.org/wiki/Disjunktion oder]) und ¬ ([https://de.wikipedia.org/wiki/Negation#Logik nicht]). Der Gegenbegriff ist die zusammengesetzte Aussage oder [https://de.wikipedia.org/wiki/Aussagenverkn%C3%BCpfung Aussagenverknüpfung].
 
Als ''[[atomare Aussagen]]'' werden in der mathematischen oder formalen Logik Aussagen bezeichnet, die nicht aus anderen Aussagen zusammengesetzt sind. Sie enthalten daher keine aussagenverknüpfenden logischen Operatoren ([https://de.wikipedia.org/wiki/Junktor Junktoren]) wie ∧ ([https://de.wikipedia.org/wiki/Konjunktion_(Logik) und]), ∨ ([https://de.wikipedia.org/wiki/Disjunktion oder]) und ¬ ([https://de.wikipedia.org/wiki/Negation#Logik nicht]). Der Gegenbegriff ist die [[zusammengesetzte Aussage]] oder [[Aussagenverknüpfung]].

Aktuelle Version vom 8. April 2024, 19:00 Uhr

atomare Aussage

Als atomare Aussagen werden in der mathematischen oder formalen Logik Aussagen bezeichnet, die nicht aus anderen Aussagen zusammengesetzt sind. Sie enthalten daher keine aussagenverknüpfenden logischen Operatoren (Junktoren) wie ∧ (und), ∨ (oder) und ¬ (nicht). Der Gegenbegriff ist die zusammengesetzte Aussage oder Aussagenverknüpfung.