Tautologien in der Aussagenlogik

21.09.2007, 09:37	ninanina_s	Auf diesen Beitrag antworten »
Tautologien in der Aussagenlogik Hallooooo, Habe gerade in der Wikipedia übe Aussagenlogik und Tautologien gelesen und habe da etwas nicht wirklich verstanden..also ist es so dass ich sagen kann (wenn A = es regnet / B = die strasse ist nass) A --> B dann ist das eine tautologie oder was??? ihr seht...bin etwas verwirrt.. VIELEN DANK IM VORAUS
21.09.2007, 10:06	papahuhn	Auf diesen Beitrag antworten »
Eine Tautologie ist eine Aussage, die immer wahr ist, egal wie du die Variablen belegst. Dein Straßenbeispiel ist nicht geeignet, um sich das zu veranschaulichen. Betrachte lieber etwa folgende Formel $\begin{eqnarray} (A \wedge B) \rightarrow (A \vee B) \end{eqnarray}$ , und versuche da eine beliebige Belegung für $\begin{eqnarray} A \end{eqnarray}$ und $\begin{eqnarray} B \end{eqnarray}$ zu finden, so dass die Formel falsch wird. Wenn dir das nicht gelingt, hast du eine Tautologie vor dir.
21.09.2007, 12:25	WebFritzi	Auf diesen Beitrag antworten »
Eine noch einfachere Tautologie: A-->A. Diese Aussage stimmt immer, egal, ob die Aussage A richtig oder falsch ist. Sowas ist eine Tautologie. Konkrete Aussagen wie dein "die Straße ist nass"haben damit nichts zu tun. Eine Tautologie ist eine Aussagenformel, die für jede Belegung der Variablen wahr ist.
21.09.2007, 13:35	ninanina_s	Auf diesen Beitrag antworten »
hallo ihr zwei vielen vielen dank! das war ja mal echt einfach erklärt...edlich mal jemand der es erklären kann.. trotzdem glaube ich dass man mit diesen themen sehr knifflige aufgaben an einer prüfung stellen könnte, hättet ihr da gerade eine bei der ich sehen könnte ob ich es auch wirklich gut verstanden habe? oder kennt ihr eine page wo ich das nachschauen kann? liebe grüsse
21.09.2007, 13:47	WebFritzi	Auf diesen Beitrag antworten »
Hast du dich schon an der Formel von papahuhn versucht?
24.09.2007, 08:42	ninanina_s	Auf diesen Beitrag antworten »
ja ich habe beide Formeln verstanden Dankeschön
Anzeige

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »