Resolutionskalkül < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo.
Ich habe ein paar kleine Fragen zum Resolutionskalkül, und zwar:
Die Resolventen von (a,b,c) und (a,-b,-c) sind (a,b,-b) und (a,c,-c).
- Werden diese genau so beim Resolvieren hingeschrieben, oder kann man
diese weglassen ?
- Außerdem was ist die Resolvente von (a,c,-c) und (a,c) oder (a,b) ?
- Und die letzte Frage, was ist die Resolvente von (a,b) und (-a,-b), ?
Ach ja, außerdem soll man ja Tautologien weglassen können ?
Ich bedanke mich für jede Hilfe =)
MfG Daniel
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt:
http://www.uni-protokolle.de/foren/viewt/278264,0.html?sid=bfb2242d6325ef1db170196e01e359a4
http://www.matheboard.de/thread.php?threadid=447009
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 23:20 Di 15.03.2011 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|