Aussagenlogische Abbildung < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 22:43 Mo 27.01.2014 | | Autor: | Syny |
| Aufgabe | | Geben Sie eine möglichst einfache aussagenlogische Formel an,deren Semantik f: {0,1} ^2 [mm] \to [/mm] {0,1}; (a,b) [mm] \to [/mm] 1 - a*b ist: |
Kann mir jemand einen Tipp geben ich tappe hier vollkommen im Dunkeln.
Was ist denn mit a*b gemeint ? Sind das jeweils Aussagen die 1 bzw. 0 sind ?
und soll dann daraus eine Formel folgen die wenn a*b = 0 ist dann 1 ergibt und wenn a,b = 1 ergibt das dann die gesamte Formel 0 wird ? z.B. A [mm] \wedge [/mm] B [mm] \to \neg [/mm] C ?
MFG Syny
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 00:15 Di 28.01.2014 | | Autor: | meili |
Hallo Syny,
> Geben Sie eine möglichst einfache aussagenlogische Formel
> an,deren Semantik f: {0,1} ^2 [mm]\to[/mm] {0,1}; (a,b) [mm]\to[/mm] 1 - a*b
> ist:
>
> Kann mir jemand einen Tipp geben ich tappe hier vollkommen
> im Dunkeln.
> Was ist denn mit a*b gemeint ? Sind das jeweils Aussagen
> die 1 bzw. 0 sind ?
Für a und b kannst du jeweils 1 und 0 einsetzen, dann normal multiplizieren.
> und soll dann daraus eine Formel folgen die wenn a*b = 0
> ist dann 1 ergibt und wenn a*b = 1 ergibt das dann die
> gesamte Formel 0 wird ?
Ja.
> z.B. A [mm]\wedge[/mm] B [mm]\to \neg[/mm] C ?
Stimmt das?
Es geht einfacher.
>
> MFG Syny
Gruß
meili
|
|
|
|
