Logische Axiome, Modus Ponens < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 16:20 Mo 28.10.2013 | Autor: | Haeger |
Aufgabe | Jede Formel der Form [mm] \forall x(\alpha \to \beta) \to (\forall [/mm] x [mm] \alpha \to \forall [/mm] x [mm] \beta) [/mm] ist allgemeingültig.
Geben Sie ein Beispiel einer Formel der Form [mm] (\forall x\alpha \to \forall x\beta) \to \forall [/mm] x [mm] (\alpha \to \beta) [/mm] die nicht allgemein gültig ist |
Hi alle zusammen.
Leider ist mir zu diesem Beispiel bis dato wenig eingefallen und schön langsam wirds mit der Zeit knapp. Vielleicht findet sich hier jemanden, dem noch schnell was dazu einfällt.
Vielen Dank auf jedenfall schon mal im Voraus.
Lg haeger
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 16:20 Mi 30.10.2013 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|