Lógica

INET
1er Parcial
Grupo 1C
2020

Ejercicio 1) (25 puntos)

1. Defina un conjunto inductivo infinito A que contenga las siguientes pal-

abras:

a
bbac
bbbbacc
bbbbbbaccc

y tal que no aparezcan letras b a la derecha de letras c.

2. Enuncie el P.I.P. para A.

3. Demuestre el P.I.P. enunciado en la parte anterior

4. Defina una propiedad que satisfagan los elementos de A.
5. Demuestre usando el P.I.P. la propiedad de la parte anterior.

Ejercicio 2) (10 puntos)

Defina una función primitiva recursiva que cuente la suma de la cantidad de

letras b y la cantidad de letras c en las palabras del lenguaje del ejercicio 1.

Ejercicio 3) (25 puntos)

• Defina el conjunto PROP.

• Escriba una proposición con cuatro letras proposicionales, tres conectivos
binarios y dos negaciones.

1
 • Escriba las subfórmulas de la proposición anterior.
• Escriba una secuencia de formación de dicha proposicón.
• Sustituya en la proposición una letra proposicional por su conjunción con
ella misma.

Ejercicio 4) (25 puntos)

1. Escriba la tabla de verdad de la proposición: ((¬A) ∨ (¬B)). Indique si

es tautologia, contongencia o contradicción.
2. Escriba una fórmula equivalente a: ((¬A) ∨ (¬B)) con menos conectivos.
Justifique.

Ejercicio 5) (15 puntos)

Demuestre utilizando la definición de valuación:

¬A ∨ ¬B |= ¬(A ∧ B)