Hi,
wenn ich z.B. die Aussage habe: x₂ ist notwendig für x₁
das kann ich so anschreiben oder?
x₁⇒x₂
dann gilt automatisch, dass x₁ hinreichend für x₂ ist, nicht wahr?
"Nicht wahr?" im Sinne von "Ist doch richtig so?" als Frage in der Logik zu nutzen, ist sehr unglücklich ;)
Sprechweisen für \(A\Rightarrow B\):
A impliziert B
Wenn A, dann B
A ist hinreichend für B
B ist notwendig für A.
Du hast also recht.
Also x1 ⇒ x2
x1 ist hinreichend für x2
x2 ist notwendig für x1
Also genau so wie der Fragesteller es schon vermutet hat.
Alles klar, danke :)
Genau das, was ich geschrieben habe für A=>B.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos