Diferencia entre revisiones de «Problema 1»
De Lógica matemática y fundamentos (2012-13)
(Página creada con '== Enunciado == Definir por recursión sobre fórmulas las siguientes funciones <ul> <li>nv(F) que calcula el número variables proposicionales que ocurren en la fórmula F. Por...') |
(→Enunciado) |
||
| Línea 1: | Línea 1: | ||
== Enunciado == | == Enunciado == | ||
Definir por recursión sobre fórmulas las siguientes funciones | Definir por recursión sobre fórmulas las siguientes funciones | ||
| − | + | * nv(F) que calcula el número variables proposicionales que ocurren en la fórmula F. Por ejemplo, | |
| − | + | *: nv(p → p ∨ q) = 3. | |
| − | + | * prof(F) que calcula la profundidad del árbol de análisis de la fórmula F. Por ejemplo, | |
| − | + | *: prof(p → p ∨ q) = 2. | |
Demostrar por inducción, que para toda fórmula F, nv(F) ≤ 2^prof(F) | Demostrar por inducción, que para toda fórmula F, nv(F) ≤ 2^prof(F) | ||
== Soluciones colaborativas == | == Soluciones colaborativas == | ||
Revisión del 21:33 18 feb 2013
Enunciado
Definir por recursión sobre fórmulas las siguientes funciones
- nv(F) que calcula el número variables proposicionales que ocurren en la fórmula F. Por ejemplo,
- nv(p → p ∨ q) = 3.
- prof(F) que calcula la profundidad del árbol de análisis de la fórmula F. Por ejemplo,
- prof(p → p ∨ q) = 2.
Demostrar por inducción, que para toda fórmula F, nv(F) ≤ 2^prof(F)