2. Si S[α] = 3I[α] + 1 ∧ S[β] = 3I[β] + 1 entonces S[(α) ∗ (β)] = 3I[(α) ∗ (β)] + 1 Veamos que S[(α) ∗ (β)] = 5 + S[α] + S[β] S[(α) ∗ (β)] = 5 + (3...
2. Si S[α] = 3I[α] + 1 ∧ S[β] = 3I[β] + 1 entonces S[(α) ∗ (β)] =
3I[(α) ∗ (β)] + 1
Veamos que
S[(α) ∗ (β)] = 5 + S[α] + S[β]
S[(α) ∗ (β)] = 5 + (3I[α] + 1) + (3I[β] + 1)
S[(α) ∗ (β)] = 5 + 3I[α] + 1 + 3I[β] + 1
S[(α) ∗ (β)] = 6 + 3I[α] + 3I[β] + 1
S[(α) ∗ (β)] = 3(2 + I[α] + I[β]) + 1
S[(α) ∗ (β)] = 3I[(α) ∗ (β)] + 1
3I[(α) ∗ (β)] + 1
Veamos que
S[(α) ∗ (β)] = 5 + S[α] + S[β]
S[(α) ∗ (β)] = 5 + (3I[α] + 1) + (3I[β] + 1)
S[(α) ∗ (β)] = 5 + 3I[α] + 1 + 3I[β] + 1
S[(α) ∗ (β)] = 6 + 3I[α] + 3I[β] + 1
S[(α) ∗ (β)] = 3(2 + I[α] + I[β]) + 1
S[(α) ∗ (β)] = 3I[(α) ∗ (β)] + 1
Preguntas Generales
¿Sabes cómo responder a esa pregunta?
¡Crea una cuenta y ayuda a otros compartiendo tus conocimientos!
✏️ Responder
Para escribir su respuesta aquí, Ingresar o Crear una cuenta
Otros materiales
Preguntas relacionadas
1.1. Demuestre por inducción en fórmulas que S[α] = 3I[α] + 1 para toda fórmula α, siendo S la cantidad de śımbolos e I la de paréntesis izqui...
Lógica Matemática e Computacional
Preguntas Generales
1.4. Demuestre: α → β, α ∨ γ ⊢ β ∨ γ. Demostración: 1. α → β P 2. (α ∨ γ) P 3. β → (β ∨ γ) Ax.7 4. α → (β ∨ γ) T/1,3 5. (α → (β∨γ)) → ((γ → (β∨γ))...
Lógica Matemática e Computacional
Preguntas Generales
1.3. Demuestre utilizando únicamente los axiomas y la regla de inferencia modus ponens: ⊢ α → ((β → α) ∧ (α ∨ γ)). Demostración: Por TD hay que p...
Lógica Matemática e Computacional
Preguntas Generales
Materiales relacionados
12 pag.
7 pag.
3 pag.
39 pag.
Compartir