Atomare Aussage

Atomare Aussage

Als atomare Aussagen (auch Atomaussagen, Aussagenatom, Atome, Primaussagen, einfache Aussage, unzusammengesetzte Aussage, elementare Aussage, Elementaraussage, elementarer Satz, Elementarsatz, Atomsatz) 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).

Der Gegenbegriff ist die zusammengesetzte Aussage oder Aussagenverknüpfung.

Beispiele (Prädikatenlogik)

  • t = s für beliebige Terme t, s
  • R(t1,...,tn) für jede n-stellige Relation R und beliebige Terme t1 bis tn

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Aussage (Logik) — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Atomare Waffe — Atompilz von „Fat Man“ über Nagasaki. Kernwaffen – auch Nuklearwaffen oder Atomwaffen genannt – sind Waffen, deren Wirkung auf kernphysikalischen Prozessen beruht, insbesondere der Kernspaltung und Kernfusion. Konventionelle Waffen beziehen… …   Deutsch Wikipedia

  • Logische Aussage — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… …   Deutsch Wikipedia

  • Alphagraph — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

  • Alphagraphen — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

  • Betagraph — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

  • Betagraphen — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

  • Existenzgraph — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

  • Existenzgraphen — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

  • Existenzielle Graphen — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”