Aussagenlogik?
Seien T,K,F,G und H aussagenlogische Formeln, die keine Aussagensymbole gemein haben. Sei ferner T eine Tautologie, K eine Kontradiktion und F,G und H kontingente Formeln. Zu welcher semantischen Kategorie (tautologisch, kontradiktorisch, kontingent) gehören dann die folgenden Formeln? Begründen Sie dabei stets Ihre Aussage! (Hinweis: Sie kommen mit Wahrheitstafeln ans Ziel. Oft geht es aber ohne Wahrheitstafel einfacher!)
Was bedeutet der Satz ,, Seien T,K,F,G und H aussagenlogische Formeln, die keine Aussagensymbole gemein haben ,,?
Zum Beispiel für diese Aufgabe müssen nicht K, T, F, G, H eine gleiche Wahrheitswert haben? Also müssen sie nicht alle 5 gleichzeitig 0 oder 1 sein?
Ist es richtig?
2 Antworten
,, Seien T,K,F,G und H aussagenlogische Formeln, die keine Aussagensymbole gemein haben ,,?
Das bedeutet genau das, was da steht.
Jede Aussagenlogische Formel besteht aus Symbole, die miteinander verknüpft werden. Beispiel: wenn F = A und B ist, dann sind A, B die Symbole. Und hier ist es halt so, dass die Formeln keine gemeinsamen Symbole besitzen. Das ist hier wichtig, da es sonst sein könnte, dass zum Beispiel F genau dann Wahr ist, wenn F wahr ist. Somit kannst du alle 5 Formeln durch Wahrheitswerte austauschen und dann die Wahrheitswerte bestimmen (wichtig: T ist immer Wahr, K ist immer falsch!)
Somit kannst du alle 5 Formeln durch Wahrheitswerte austauschen und dann die Wahrheitswerte bestimmen
Den Rest machst du selbst.
Ich habe meine Lösungen hochgeladen, ist es richtig?
Ist es richtig oder muss ich mit wahrheitstabelle machen?
Sie kommen mit Wahrheitstafeln ans Ziel. Oft geht es aber ohne Wahrheitstafel einfacher!
Wa sonst gemeint mit gemeinsame Symbole, hab nicht richtig verstanden?
z.B. alle 5 müssen nicht gleichzeitig wahr oder falsch sein oder wie ist es? Können Sie vielleicht ein Beispiel geben?
Wenn F zum Beispiel A und B ist, und G gleich C oder D, dann haben F und G keine gemeinsamen Symbole. Wie gesagt.
Wie sieht diese gemeinsame Symbole für diese Aufgabe aus?
Wie wäre die Formel, wenn die gemeinsame Symbolen haben, was ändert sich die Lösung?
Hallo Mathematik2000!
Ich bin kein Mathecrack, deshalb nur soviel:
Wahrheitswerte sind Konstanten, einzelne Aussagen werden durch Aussagensymbole dargestellt und bilden abzählbare Mengen.
Eine aussagenlogische Formel erhält ihre Bedeutung durch Zuweisung von Wahrheitswerten(w: wahr, f: falsch) zu den Aussagensymbolen.
https://www.dbai.tuwien.ac.at/education/AIKonzepte/Folien/Logik.pdf
LG
gufrastella
Wie sieht hier die Wahrheitstabelle aus oder wie ist ist die Lösung für diese Aufgabe. Vielleicht so kann ich die Bedeutung der obigen Satz besser vestehen