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?
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?