Beruflich Dokumente
Kultur Dokumente
"roblema disyuntivo
*v0,v1+ H B*v0+ vel *v1+C T3*a, b+HB70*a+ 7,*b+CO
"roblema conjuntivo
*v0,v1+ H B*v0+ et *v1+C T3*a, b+ H *7,*a+ S 7,*b+CO
0 vel 1, vel D , 0 et 1 et D
0 et *1 vel D+ H *0 et 1+ vel *0 et D+
lo cual, a su vez, puede generalizarse para cualquier
n#mero de constituyentes elementales.
6asta este punto son visibles las analogas entre el
c'lculo de enunciados y el c'lculo de problemas *a#n no
construido+. -sas analogas pueden subrayarse a#n m's
introduciendo el concepto de negacin de un problema
*e/presada por una pregunta negativa+. !o haremos
mediante la efinicin: 3i 7*v+ es el generador de
*v+,entonces no *v+ H *=v+ B)7*v+C.
-n smbolos:
2mplicacin de problemas:
*0 seq 1+ *70 71+
-quivalencia de problemas:
*0 aeq 1+ *70 71+
* 0X 1+Y*70 V 71+
"roblemas cient<ficos
l . "Q.9!-R53 -R"2Q2&.3
"roblemas conceptuales
1.E. 'educci%n
l . R-$..!^72&.3
1. W5!.Q5$2W..