Beweis valuation < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | If v is a mapping from the atoms into {0,1} satisfying v(_|_)=0 (_|_ meint falsity), then there is a unique valuation w such that w(phi)=v(phi), for atomic phi. |
Hallo,
Ich habe in dem Buch Logic and Structure von Dirk van Dalen ein Theorem gelesen, welches wie folgt lautet,
If v is a mapping from the atoms into {0,1} satisfying v(_|_)=0 (_|_ meint falsity), then there is a unique valuation w such that w(phi)=v(phi), for atomic phi.
Bemerkung:
Valuation ist wie folgt definiert v(phi "and" psi)=min(v(phi),v(psi)), des weiteren hat man es definiert für "oder", implication, equivalence, negation und falsum.
ICh verstehe nicht, wie der Satz bewiesen werden kann. In der Vorlesung wurde gesagt Induktion über phi. Aber mir ist nicht klar, wie dies gemacht werden könnte, da ich sonst nur über N induktion praktiziert habe.
Mit Freundlichen Grüßen
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Josef
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 So 23.10.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
