Helios co.
Lt. Commander
- Registriert
- März 2005
- Beiträge
- 1.863
Hallo,
ich habe eine Frage zu Tableaus und hoffe mir kann hier jemand helfen.
Und zwar ist mir nicht ganz klar, warum ein komplett offenes Tableu (sprich: keine geschlossenen Pfade) keine Tautologie für eine Formel F bedeuten muss?
Liegt es daran, dass man trotzdem offenem Tableau eine Struktur angeben kann, die kein Modell für die Formel sein muss?
Komplett geschlossen heisst ja: Unerfüllbar.
Min. ein Ast offen heisst ja: Erfüllbar.
lol hat sich erledigt.
wenn aber jemanden die lösung des problems interresseieren sollte:
ein einzelnes literal p ist ein komplett offenes tableau aber mit sicherheit keine tautologie
ich habe eine Frage zu Tableaus und hoffe mir kann hier jemand helfen.
Und zwar ist mir nicht ganz klar, warum ein komplett offenes Tableu (sprich: keine geschlossenen Pfade) keine Tautologie für eine Formel F bedeuten muss?
Liegt es daran, dass man trotzdem offenem Tableau eine Struktur angeben kann, die kein Modell für die Formel sein muss?
Komplett geschlossen heisst ja: Unerfüllbar.
Min. ein Ast offen heisst ja: Erfüllbar.
lol hat sich erledigt.
wenn aber jemanden die lösung des problems interresseieren sollte:
ein einzelnes literal p ist ein komplett offenes tableau aber mit sicherheit keine tautologie
Zuletzt bearbeitet:
