anfangsklauseln mehrfach? < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo zusammen.
mir kam die frage, ob man sowohl die erzeugten resolventen als auch die anfangsklauseln beliebig oft verwenden kann.
beispiel:
{a,b,c},{-a,b},{-c,b},{-b}
könnte ich hier erst klausel 1 mit 4 resolvieren,
dann 2 mit 4, dann 3 mit 4?
vielen dank schonmal
chris
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Ja das darfst du, da die Formel semantisch gleich bleibt - auch wenn die Resolvente per UND angehangen wird.
|
|
|
|
