Rausfinden ob Aussagen equivalent sind |
25.10.2015, 18:55 | Auf diesen Beitrag antworten » |
Shizmo | Rausfinden ob Aussagen equivalent sind Hallo, ich muss eine Aufgabe lösen, wo ich mit einer calculation (also mit umformen mit den Standard-Equivalenzen, wie Commutativity, Associativity, Idempotence, Double Negation, Inversion, T/F-Elimination, Negation, Contradiction, Excluded-Middle, Distributivitz, De Morgan, Implication, Contraposition, Bi-implication, Self-equivalence) rausfinden muss, ob die Aussagen equivalent sind. Z.B die Aufgabe: a ^ b AND (¬a v b) <=> a Mit einer Wahrheitstabelle ist schnell klar, dass beide Aussagen equivalent sind, aber was muss bei der Umformung rauskommen, damit ich sehe, dass es equivalent ist. Bei a ^ b kann ich eh nicht viel machen, bei dem Zweiten allerdings schon, hab mal umgeformt und komme dann auf: (a ^ ¬b v a) ^ (¬a v b) Aber was kann ich damit anfangen? LG |
|
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|