Ex falso Problem
Verfasst: 28. Okt 2016, 06:52
E := Existenzquantor
Sei gegeben Ex (A(x) -> B(x)) und sei A(x) falsch. Ist die Aussage dann wahr oder falsch?
ME hängt das vom Diskursuniversum ab. Sei das Diskursuniversum IN. Dann wäre die o.g. Aussage wohl wahr, sogar für alle x, weil die Implikation immer wahr ist. Sei dagegen das Diskursuniversum beliebig. Sei wieder gegeben E x (A(x) -> B(x)) bei Falschheit von A(x). Diese Aussage ist widersprüchlich und falsch, weil man für x = ~Ex (A(x) -> B(x)) wie auch x = Ex (A(x) -> B(x)) einsetzen kann und Beides wäre wahr.
Meinungen?
Sei gegeben Ex (A(x) -> B(x)) und sei A(x) falsch. Ist die Aussage dann wahr oder falsch?
ME hängt das vom Diskursuniversum ab. Sei das Diskursuniversum IN. Dann wäre die o.g. Aussage wohl wahr, sogar für alle x, weil die Implikation immer wahr ist. Sei dagegen das Diskursuniversum beliebig. Sei wieder gegeben E x (A(x) -> B(x)) bei Falschheit von A(x). Diese Aussage ist widersprüchlich und falsch, weil man für x = ~Ex (A(x) -> B(x)) wie auch x = Ex (A(x) -> B(x)) einsetzen kann und Beides wäre wahr.
Meinungen?