aussagelogische Formeln < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo, ich habe es immer noch nicht ganz kapiert mit den Aussagenlogischen Formeln. Kann ich die Aussage "Wenn [mm] x_{i}=4, [/mm] dann y=1 (also wahr)" in solch eine Formel bringen? Dabei ist [mm] x_{i}>=0. [/mm] Oder gehen solche Formeln nur für Binärvariablen?
Der Hintergrund ist immer noch der, dass ich solche "wenn, dann, sonst..." - Bedingungen in Restriktionen umwandeln möchte.
Kann mir da bitte nochmal jemand helfen?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Vielen Dank!
Claudia
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 14:15 Fr 16.02.2007 | | Autor: | M.Rex |
Hallo
> Hallo, ich habe es immer noch nicht ganz kapiert mit den
> Aussagenlogischen Formeln. Kann ich die Aussage "Wenn
> [mm]x_{i}=4,[/mm] dann y=1 (also wahr)" in solch eine Formel
> bringen? Dabei ist [mm]x_{i}>=0.[/mm] Oder gehen solche
Formeln nur
> für Binärvariablen?
Die obige Formel wäre:
[mm] x_{i}=4\Rightarrow{y=1}
[/mm]
Generell gilt: "Aus A folgt B" ist in der Formalsprache [mm] A\Rightarrow{B}
[/mm]
>
> Der Hintergrund ist immer noch der, dass ich solche "wenn,
> dann, sonst..." - Bedingungen in Restriktionen umwandeln
> möchte.
> Kann mir da bitte nochmal jemand helfen?
Wofür bauchst du die Sachen denn. Willst du mit den Werten in einem Programm weiterrechnen. Dafür ist dann die Schreibweise If...Else..., oder Wenn..., dann... notwendig.
Oder brauchst du "nur" die Wahrheitswertetafel von ![[]](/images/popup.gif) A\Rightarrow{B}
>
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>
> Vielen Dank!
> Claudia
>
Marius
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Sa 17.02.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
