Kann mir wer sagen wie ich das angehen soll (Aussagenlogik / Mathe)?
habe echt keine Ahnung wie ich das mit den logischen Operationen darstellen soll also mit Disjuktion, Konjuktion etc.... z.B bei Unterpunkt 1. : "Wer schweigt, stimmt zu" echt keine ahnung wie das mit logischen operationen gehen soll :/
![frage - (Mathematik, Universität, Hausaufgaben)](https://images.gutefrage.net/media/fragen/bilder/kann-mir-wer-sagen-wie-ich-das-angehen-soll-aussagenlogik--mathe/0_big.jpg?v=1476638312000)
2 Antworten
![](https://images.gutefrage.net/media/user/Muckula/1444750900_nmmslarge.jpg?v=1444750900000)
du brauchst folgende Symbolik:
1. "es folgt aus/es impliziert" wird mit einem Pfeil => dargestellt. Also wenn A(x) bedeutet: x ist ein Hund, und B(x): x ist ein Tier. dann gilt A(x) => B(x), weil jeder Hund ein Tier ist, d.h. A impliziert B.
2. "es existiert", geschrieben als spiegelverkehrtes E -> Die Aussage muss lauten, es existiert ein x sodass A(x) und "Nicht B(x)". Für "Nicht" gibt es die Negation.
Eine mögliche Mengennotation wäre:
"es existiert" x in M = {x | A(x) und Nicht B(x)} mit den entsprechenden logischen Symbolen. Möglich ist auch die Notation x in M => x in N und M und N dann als Mengen definieren, die die gesuchten Eigenschaften erfüllen.
![](https://images.gutefrage.net/media/user/Willibergi/1624532782057_nmmslarge__0_0_120_120_040779a85bcf89fd282fa9af46f30da0.png?v=1624532782000)
Das geht so:
A(x): Person x schweigt.
B(x): Person x stimmt zu.
"Wer schweigt, stimmt zu.":
A(x) ⇒ B(x)
"Es gibt jemanden, der schweigt, aber trotzdem widerspricht.":
∃x: A(x) ∧ ¬B(x)
Kommst du jetzt alleine weiter? ;-)
Ich hoffe, ich konnte dir helfen; wenn du noch Fragen hast, nur her damit! :)
LG Willibergi
![](https://images.gutefrage.net/media/user/Muckula/1444750900_nmmslarge.jpg?v=1444750900000)
4. soll wohl heißen: "Es gibt kein x mit Nicht A(x), für das B(x) gilt ;)
![](https://images.gutefrage.net/media/user/Willibergi/1624532782057_nmmslarge__0_0_120_120_040779a85bcf89fd282fa9af46f30da0.png?v=1624532782000)
Genau, 3. ist
∀x: B(x) ⇒ A(x)
oder einfach nur
B(x) ⇒ A(x)
"Niemand, der gesprochen hat, hat zugestimmt."
∄x: ¬A(x) ∧ B(x)
LG Willibergi
![](https://images.gutefrage.net/media/default/user/14_nmmslarge.png?v=1551279448000)
danke aber wie kann man darstellen mit den logischen Symbilen also "es gibt kein x"
![](https://images.gutefrage.net/media/default/user/14_nmmslarge.png?v=1551279448000)
ajaaaa der durchgestrichene Existenzquantor , du bist der Meister echt hast mir sooo unglaublich geholfen :D
![](https://images.gutefrage.net/media/user/Willibergi/1624532782057_nmmslarge__0_0_120_120_040779a85bcf89fd282fa9af46f30da0.png?v=1624532782000)
"Es gibt kein x" ist ∄x, also quasi die Negierung des Existenzquantors. ;)
LG Willibergi
![](https://images.gutefrage.net/media/user/Willibergi/1624532782057_nmmslarge__0_0_120_120_040779a85bcf89fd282fa9af46f30da0.png?v=1624532782000)
Achsoooo jaaa versthe uuund wenn du schon so nett fragst wäre es echt toll wenn du mir sagen könntest ob ich die restlichen richtig habe :P
3. Vx: B(x) -> A(x)
4. da häng ich auf der leitung :/