Prädikatenlogische Resulotion < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 18:22 Sa 04.08.2012 | | Autor: | Daari |
Hi Leute:),
hab ne Frage zur Prädikatenlogischen REsolution:
HAbe die beiden Klauseln:
[mm] \{P(f(z), g(f(z))\}\{\overline{P(f(z))}\}
[/mm]
Nun will ich beide miteinander resolvieren Damit P(f(z)) wegfällt.
Das Problem ist das ja in beiden die selbe Variable z steht.
Meine Idee war nun z in u umzubenenen und dann u durch z zu substituieren. DArf man das, weil dann könnte man ja auch direkt die beiden klauseln resolviern?
DAnke schonmal:)
Daari
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Di 07.08.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
