Forum "Aussagenlogik" - Aussagenlogik Ausklammern - Vorhilfe.de

Vorhilfe Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
	Hallo Gast! [ einloggen \| registrieren ]
	Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum

Forenbaum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation

Startseite...
Neuerdings beta neu
Forum...
vorwissen...
vorkurse...
Werkzeuge...
Nachhilfevermittlung beta...
Online-Spiele beta
Suchen
Verein...
Impressum

Das Projekt

Server und Internetanbindung werden durch Spenden finanziert.

Organisiert wird das Projekt von unserem Koordinatorenteam.

Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.

Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".

Partnerseiten

Weitere Fächer:

Vorhilfe.de

FunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme

Forum "Aussagenlogik" - Aussagenlogik Ausklammern

Aussagenlogik Ausklammern < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe

Ansicht:

[ geschachtelt ]

Forum "Aussagenlogik" |

Alle Foren |

Forenbaum | Materialien

Aussagenlogik Ausklammern: Frage (beantwortet)

Status:	(Frage) beantwortet
Datum:	22:35 Mi 01.05.2013
Autor:	hase-hh

Aufgabe

 Vereinfachen Sie durch Ausklammern:

a) (A [mm] \vee [/mm] C) [mm] \wedge [/mm] (A [mm] \vee \neg [/mm] B)

b) [mm] \neg (\neg [/mm] A [mm] \vee \neg [/mm] C) [mm] \vee \neg [/mm] (B [mm] \vee \neg [/mm] A)

c) (A [mm] \cup \overline{B}) \cap [/mm] (B [mm] \cup [/mm] A)

Moin!

a) (A [mm] \vee [/mm] C) [mm] \wedge [/mm] (A [mm] \vee \neg [/mm] B)

Hier könnte vielleicht A ausklammern...

A [mm] \vee [/mm] (C [mm] \wedge \neg [/mm] B)

Ist das richtig?

b) [mm] \neg (\neg [/mm] A [mm] \vee \neg [/mm] C) [mm] \vee \neg [/mm] (B [mm] \vee \neg [/mm] A)

Hier würde ich zuerst die Negationen "vereinfachen"; dabei "drehen" sich die Verknüfungszeichen "um"

(A [mm] \wedge [/mm] C) [mm] \vee (\neg [/mm] B [mm] \wedge [/mm] A)

Hier kann ich A doch nicht ausklammern, oder???

Müsste ich dann nicht doch zuerst [mm] \neg [/mm] A ausklammern???

c) (A [mm] \cup \overline{B}) \cap [/mm] (B [mm] \cup [/mm] A)

Wenn ich hier ausklammere, dann A

A [mm] \cup (\overline{B} \cap [/mm] B) = A

???

Danke & Gruß

Bezug

Aussagenlogik Ausklammern: Antwort

Status:	(Antwort) fertig
Datum:	15:38 Do 02.05.2013
Autor:	schachuzipus

Hallo hase-hh,

> Vereinfachen Sie durch Ausklammern:

>
> a) (A [mm]\vee[/mm] C) [mm]\wedge[/mm] (A [mm]\vee \neg[/mm] B)

>
> b) [mm]\neg (\neg[/mm] A [mm]\vee \neg[/mm] C) [mm]\vee \neg[/mm] (B [mm]\vee \neg[/mm] A)

>
> c) (A [mm]\cup \overline{B}) \cap[/mm] (B [mm]\cup[/mm] A)
> Moin!

>
> a) (A [mm]\vee[/mm] C) [mm]\wedge[/mm] (A [mm]\vee \neg[/mm] B)

>
> Hier könnte vielleicht A ausklammern...

>
> A [mm]\vee[/mm] (C [mm]\wedge \neg[/mm] B)

>
> Ist das richtig?

>
>
> b) [mm]\neg (\neg[/mm] A [mm]\vee \neg[/mm] C) [mm]\vee \neg[/mm] (B [mm]\vee \neg[/mm] A)

>
> Hier würde ich zuerst die Negationen "vereinfachen"; dabei
> "drehen" sich die Verknüfungszeichen "um"

>
> (A [mm]\wedge[/mm] C) [mm]\vee (\neg[/mm] B [mm]\wedge[/mm] A)

>
> Hier kann ich A doch nicht ausklammern, oder???

Warum nicht? Das "UND" (und auch das "ODER") ist doch kommutativ:

[mm] $\neg B\wedge [/mm] A \ [mm] \equiv [/mm] \ [mm] A\wedge\neg [/mm] B$

>
> Müsste ich dann nicht doch zuerst [mm]\neg[/mm] A ausklammern???

>
>
>
> c) (A [mm]\cup \overline{B}) \cap[/mm] (B [mm]\cup[/mm] A)

>
> Wenn ich hier ausklammere, dann A

>
> A [mm]\cup (\overline{B} \cap[/mm] B) = A