Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Aussagenlogik Beweis

Aussagenlogik Beweis

Universität / Fachhochschule

Sonstiges

Tags: Aussagenlogik, Beweis, Diskrete Mathematik

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
xmörvx

xmörvx aktiv_icon

19:48 Uhr, 18.03.2019

Antworten
Hallo ,

ich muss diese Aufgabe lösen :
Sei L eine Menge von aussagenlogischen Variablen. Mit a,b,c∈L,
zeigen Sie: (a⇒( nicht b∨c))⇒(∀x∈L:((a∧b)⇒(x∨c)))

Mein Ansatz wäre eine Wahrheitstabelle zu erstellen für a,b,c und x.
Also so, dass wenn am Ende der ganze Ausdruck wahr ergibt → ist die Aussage wahr.
(die Tabelle wird aber lang in dem Fall denke ich)
Mich verwirrt hier aber die Menge L→ was genau bedeutet es in diesem Fall?



Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Online-Nachhilfe in Mathematik
Antwort
Respon

Respon

14:57 Uhr, 20.03.2019

Antworten
links:
a⇒(¬b∨c)⇔¬a∨¬b∨c
rechts:
(a∧b)⇒(x∨c)⇔(¬a∨¬b∨c)∨x


¬a∨¬b∨c⇒(¬a∨¬b∨c)∨x


Bezeichnen wir M=¬a∨¬b∨c, dann haben wir


M⇒(M∨x)
Und das ist eine Tautologie.
Antwort
Respon

Respon

17:33 Uhr, 20.03.2019

Antworten
Und ? Kommt da noch was oder war's das schon ?
Sonst "abhaken".
Frage beantwortet
xmörvx

xmörvx aktiv_icon

17:42 Uhr, 20.03.2019

Antworten
Vielen Dank die Aufgabe ist mir jetzt klar !