Menge Negation < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
Hallo,
ich mache grade Resolutionskalkül und hab als Resolventen sowas hier :
{ [mm] x_1 [/mm] , [mm] x_2 [/mm] , [mm] \neg x_1 [/mm] }
Muss ich damit weitermachen , oder kann ich das zu { [mm] x_2 [/mm] } zusammenfassen ?
Vielen Dank im Voraus.
|
|
| |
|
Hallo pc_doctor,
da geht noch mehr.
> ich mache grade Resolutionskalkül
Oh, ein Macher. 
> und hab als Resolventen
> sowas hier :
>
> [mm] \{x_1, x_2, \neg x_1\}
[/mm]
Sowas oder genau das?
> Muss ich damit weitermachen , oder kann ich das zu [mm] \{x_2\} [/mm]
> zusammenfassen ?
Wenn das die Menge der Resolventen ist, dann heißt das doch, dass [mm] $x_1\vee x_2\vee \neg x_1=1$ [/mm] sein muss (sofern "1" Wahrheit denotiert).
Aufgrund der Kommutativität kannst Du das umschreiben zu [mm] $(x_1\vee \neg x_1)\vee x_2$, [/mm] was immer 1 ergibt. Mit anderen Worten: all Deine Ausgangsaussagen sind immer erfüllt.
Insbesondere hängen sie auch nicht von [mm] x_2 [/mm] ab!
Grüße
reverend
> Vielen Dank im Voraus.
PS: Im Formelsatz werden geschweifte Klammern nur dann dargestellt, wenn man einen Backslash (\) unmittelbar vorwegstellt.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:17 So 09.02.2014 | | Autor: | pc_doctor |
Hallo,
okay dann weiß ich Bescheid. Vielen Dank.
|
|
|
|
