Stellen Sie Formeln auf / Aussagenlogik

Question

Aufgabe:

Stellen Sie jeweils eine aussagenlogische Formel auf für:

A) A ist eine notwendige Bedingung für B.

Hinweis: Dabei wird nicht ausgeschlossen, dass A auch eine hinreichende
Bedingung für B sein kann.

B) A ist eine hinreichende Bedingung für B.

Hinweis: Dabei wird nicht ausgeschlossen, dass A auch eine notwendige
Bedingung für B sein kann.

Leider komme ich bei dieser Aufgabe gar nicht weiter. Hat hier jemand eine Lösung?

Comments

vgl:

https://www.philoclopedia.de/was-kann-ich-wissen/logik/notwendige-und-hinreichende-bedingung/

Answer 1

Also wenn ich mich nicht täusche ist das einfach eine Implikation.

A) B ⇒ A (wenn B gilt muss A gelten)

B) A ⇒ B (wenn A gilt muss B gelten, aber wenn B gilt muss nicht notwedigerweise auch A gelten)

Comments

a) (B -> A) and (A -> B)

b) (A -> B)  and (B -> A)

Müsste es wegen den Hinweisen nicht so aussehen? Ich bin echt verunsichert.

---

das sagt nur, das das auch gelten KANN, aber nicht gelten MUSS, was bereits bei einer Implikation gegeben ist.
Das was du geschrieben hast wäre eine Äquivalenz, also wenn entweder gelten beide oder keiner, das ist mit der Aufgabenstellung denke ich nicht gemeint