Juan Daniel Bogotá Fuentes

28/01/2022

Solución Tarea No.2

Sección 1.1

1. Los siguientes párrafos han sido tomados de Wikipedia. De estos párrafos, liste tres
proposiciones y tres frases que no sean proposiciones.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican
conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y
computación. La lógica estudia las reglas de deducción formales, las capacidades expresivas de
los diferentes lenguajes formales y las propiedades meta lógicas de los mismos. En un nivel
elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un
argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica
matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su
capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La
teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes
de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de
sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica
matemática no es método de descubrir verdades del mundo físico real, sino sólo una fuente
posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática
convencional. La lógica matemática no se encarga por otra parte del concepto de razonamiento
humano general o del proceso creativo de construcción de demostraciones matemáticas
mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o
diagramas, sino sólo de demostraciones y razonamientos que pueden ser completamente
formalizados en todos sus aspectos.

Proposiciones:

1. La lógica matemática estudia los sistemas formales

2. La lógica estudia las reglas de deducción formales
3. La teoría de la demostración y la matemática inversa son dos de los razonamientos más
recientes de la lógica matemática abstracta.
No proposiciones:

1. En un nivel elemental
2. En un nivel avanzado
3. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no
ser equivalentes en todos sus aspectos
 2. Los siguientes párrafos han sido tomados de Wikipedia. De estos párrafos, listes
tres proposiciones y tres frases que no sean proposiciones.

Una especificación formal usa notación matemática para describir de manera precisa las
propiedades que un sistema de información debe tener, sin preocuparse por la forma de
obtener dichas propiedades. Describe lo que el sistema debe hacer sin decir cómo se va a hacer.
Esta abstracción hace que las especificaciones formales sean útiles en el proceso de desarrollar
un sistema, porque permiten responder preguntas acerca de lo que el sistema hace con
confianza, sin la necesidad de tratar con una gran cantidad de información no relevante que se
encuentra en el código de programa del sistema en un lenguaje de programación cualquiera, o
especular sobre el significado de frases en un impreciso Pseudocódigo. Una especificación
formal puede servir como un punto de referencia fiable tanto para quienes se dedican a
investigar sobre los requerimientos del cliente que solicita el sistema, como para aquellos que
desarrollan los programas para satisfacer esos requerimientos, y también para los que redactan
manuales de instrucciones para el sistema. Debido a que es independiente del código del
programa, las especificaciones formales de un sistema pueden ser elaboradas a principios de su
desarrollo; y puede ser un medio valioso para promover un entendimiento común entre todos
los interesados en el sistema.

Proposiciones:

1. Una especificación formal usa notación matemática para describir de manera precisa las
propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener
dichas propiedades.
2. Describe lo que el sistema debe hacer sin decir cómo se va a hacer.
3. Debido a que es independiente del código del programa, las especificaciones formales de
un sistema pueden ser elaboradas a principios de su desarrollo;

No proposiciones:

1. Esta abstracción hace que las especificaciones formales sean útiles en el proceso
de desarrollar un sistema.
2. sin la necesidad de tratar con una gran cantidad de información no relevante que
se encuentra en el código de programa del sistema en un lenguaje de programación
cualquiera, o especular sobre el significado de frases en un impreciso Pseudocódigo.
3. Una especificación formal puede servir como un punto de referencia fiable tanto
para quienes se dedican a investigar sobre los requerimientos del cliente que solicita el
sistema,
 3. Considere los siguientes tres argumentos:

a) Si está soleado, entonces es de día. Está soleado. Por lo tanto, es de día.

b) Si no es martes, entonces es lunes. No es martes. Por lo tanto, es lunes.
c) Todos los planetas giran alrededor del Sol. Marte es un planeta. Por lo tanto, Marte gira
alrededor del Sol. Identifique dos argumentos que tengan la misma estructura.

Identifique dos argumentos que tengan la misma estructura.

A y b son los argumentos que tienen la misma estructura.

Sección 1.2:

1. Justifique por qué cada una de las siguientes expresiones es una proposición:

b) (true ≡ false)

Es proposición ya que true y false símbolos que están bien usados, con el paréntesis, y esto puede
ser verdadero o falso.

d) (p ∨ (p ≡ (¬q)))

Es proposición ya que usa bien las variables q y p, están bien puestos los paréntesis y se usa de una
forma adecuada los símbolos proposicionales.

f ) ((q ∧ (¬q)) ← (¬(¬(¬(p → r)))))

Es proposición ya que usa símbolos proposicionales de una forma adecuada, los paréntesis están
bien puestos, es una proposición que puede ser verdadera o falsa.
2. Justifique por qué las siguientes expresiones no son proposiciones:

a) (p ∨)

No es una proposición ya que para el símbolo ∨ se necesita una proposición, no tiene sentido y no
se podría saber si es verdadero o falso.

c) ¬p

No es una proposición ya que le faltan los paréntesis.

e) (p ∨ q) ∨ r

No es una proposición ya que faltan paréntesis, no se puede verificar si es verdadero o falso.

3. Use el lenguaje de la lógica proposicional para especificar las siguientes proposiciones:

a) Un número natural es par si y solo si no es impar.

( p ↔( ¬ q) ) p = Un número natural es par

q = es impar

b) Si el sol brilla hoy, entonces no brilla mañana.

( p →( ¬ q) ) p = El sol brilla hoy

q = brilla mañana

c) Juan estaba celoso o estaba de mal genio.

( p ∨q) p = Juan está celoso

q = Juan está de mal genio

d) Si una petición ocurre, entonces eventualmente será atendida o el proceso de horarios se

bloqueará.

( p → ( q ∨r ) ) p = una petición ocurre

q = eventualmente es atendida

r = el proceso de horarios se bloquea

e) Hoy lloverá o hará sol, pero no las dos.

( ( p ∨q ) ∨ ( p ≢ q ) ) p = Llueve

q = Hace sol

f ) Sin zapatos o camisa no hay servicio en el restaurante.

(¬ ( p ∨ q ) → ( ¬ r )) p = con zapatos

q = con camisa

r = hay servicio en el restaurante

g) Mi hermana quiere un gato blanco y negro.

( p ∧q) p = Mi hermana quiere un gato blanco

q = Mi hermana quiere un gato negro

h) Mi pareja ni raja ni presta el hacha

((¬ p)∧(¬ q)) p = Mi pareja raja

q = Mi pareja presta el hacha

4. Considere la siguiente especificación:

h: El cuarteto interpretará a Haydn.

m: El cuarteto interpretará a Mozart.

Con base en la especificación anterior, traduzca del lenguaje de la lógica proposicional al

Castellano cada una de las siguientes proposiciones procurando que dicha traducción sea lo más
cercana posible al lenguaje cotidiano:

a) (h ∨ m)

El cuarteto interpretará a Hadyn o interpretará a Mozart.

b) (h ≡ (¬m))

El cuarteto interpretará a Hadyn si y solo si no interpretará a Mozart.

c) (¬ (h ≡ m))

El cuarteto no interpretará tanto a Haydn como a Mozart.

d) (¬ (h ∧ m))

El cuarteto no interpretará ni a Haydn ni a Mozart.

e) (((¬(h ∧ m)) ∧ (¬h)) → m)

Si el cuarteto no interpretará ni a Haydn ni a Mozart y tampoco a Haydn, entonces interpretará a

Mozart.
5. Use el lenguaje de la lógica proposicional para especificar cada una de las siguientes
argumentaciones, indicando claramente en cada caso la especificación de las variables
proposicionales:

a) Si Pedro entiende matemáticas, entonces puede entender lógica. Pedro no entiende lógica.
Consecuentemente, Pedro no entiende matemáticas.

p = Pedro entiende matemáticas

q = Pedro entiende lógica

( p → q), ( ¬ q ) , ( ¬ p )

b) Si llueve o cae nieve, entonces no hay electricidad. Llueve. Entonces, no habrá electricidad.

p = llueve

q = cae nieve

r = hay electricidad

( ( p ∨q ) → ( ¬r ) ), p, (¬r)

c) Si llueve o cae nieve, entonces no hay electricidad. Hay electricidad. Entonces no nevó.

p = llueve

q = cae nieve

r = hay electricidad

( ( p ∨q ) → ( ¬r ) ), r, (¬q)

d) Si sin x es diferenciable, entonces sin x es continua. Si sin x es continua, entonces sin x es

diferenciable. La función sin x es diferenciable. Consecuentemente, la función sin x es
integrable.

p = sin x es diferenciable

q = sin x es continua

r = la función sin x es integrable

( p → q), (q → p), p, r
e) Si Gödel fuera presidente, entonces el Congreso presentaría leyes razonables. Gödel no es
presidente. Por lo tanto, el Congreso no presenta leyes razonables.

p = Gödel es presidente

q = el Congreso presenta leyes razonables

( p →q ), (¬ p), (¬q)

f ) Si llueve, entonces no hay picnic. Si cae nieve, entonces no hay picnic. Llueve o cae nieve. Por
lo tanto, no hay picnic.

p = llueve

q= hay picnic

r = cae nieve

( p → ( ¬ q ) ), (r → (¬ q )), ( p ∨r ), (¬ q)
Sección 1.3:

1. Dibuje el árbol de sintaxis para cada una de las siguientes proposiciones:

b) true

true

f ) (p → (q ⟶ p))

p →

q p

h) (¬((false ∧ (r ←(p V s))) ≡ (¬((p → q) V (r ∧ (¬r))))))

V ¬

False ← V

r V ⟶ ∧

p q r ¬

r
2. Liste todas las subproposiciones de cada una de las siguientes proposiciones:

e) (p ⟶ (q ⟶p))

p q

(q ⟶ p)

(p ⟶ (q ⟶ p))

g) (¬((r ∧ (r ← (p V s))) ≡ (¬((p ⟶ q) V (r ∧ (¬r))))))

3. Dibuje árbol de sintaxis para cada uno de los siguientes casos:

a) Una proposición que es una negación de una equivalencia.

p q

b) Una proposición que es una disyunción cuyos disyuntos ambos son conjunciones.

∧ ∧

p q p q

c) Una proposición que es una conjunción de conjunciones.

∧
∧ ∧

P q p q
d) Una proposición que es una implicación cuyo antecedente es una negación y consecuente es
una equivalencia.

q ≡
p q

e) Una proposición que es una consecuencia cuyo antecedente es una disyunción y consecuente
una discrepancia.

⟶
V ≢

p q p q

4. Escriba la proposición correspondiente al siguiente árbol de sintaxis:

¿
5. En cada uno de los siguientes casos, dibuje un árbol de sintaxis que no represente una
proposición y que satisfaga las condiciones dadas:

a) Al extenderlo el árbol resultante represente una proposición.

p q

b) Sea patológicamente mal formado, i.e., no hay forma de extenderlo con subárboles de tal
modo que el árbol obtenido represente una proposición.

q
Sección 1.4:

2. Complete el Ejemplo 1.10 con los casos en que φ sea de la forma (¬ψ ), (ψ ≢ τ) ,
( ψ ∨τ ) , ( ψ ∧ τ ) ,(ψ ⟶ τ) o ( ψ ⟵ τ ).

φ=¬ L(φ) : número de paréntesis izquierdos en φ,

R(φ) : número de paréntesis derechos en φ.

N (φ) : L(φ) = R(φ)

Caso base:
L(φ) = 0 = R(φ)
Caso inductivo:
φ = (¬ τ ). L(φ) = L((¬τ))

= 1 + L(τ)
R(φ) = R((¬τ))
= 1 + R(τ)
L(φ) = R(φ).

φ=≢ L(φ) : número de paréntesis izquierdos en φ,

R(φ) : número de paréntesis derechos en φ.

D (φ) : L(φ) = R(φ)

Caso base:
L(φ) = 0 = R(φ)
Caso inductivo:
φ = (ψ ≢ τ ) L(ψ) = R(ψ)
L(τ ) = R(τ)
L(φ) = L((ψ ≢ τ ))
= 1 + L(ψ) + L(τ)
 R(φ) = R((ψ ≢ τ ))
= 1 + R(ψ) + R(τ)
L(φ) = R(φ)
φ=V L(φ) : número de paréntesis izquierdos en φ,
R(φ) : número de paréntesis derechos en φ.

D (φ) : L(φ) = R(φ)

Caso base:
L(φ) = 0 = R(φ)
Caso inductivo:
φ = (ψ V τ ) L(ψ) = R(ψ)
L(τ ) = R(τ)
L(φ) = L((ψ V τ ))
= 1 + L(ψ) + L(τ)
R(φ) = R((ψ V τ ))
= 1 + R(ψ) + R(τ)
L(φ) = R(φ)

φ=∧ L(φ) : número de paréntesis izquierdos en φ,

R(φ) : número de paréntesis derechos en φ.

C (φ) : L(φ) = R(φ)

Caso base:
L(φ) = 0 = R(φ)
Caso inductivo:
φ = (ψ ∧ τ ) L(ψ) = R(ψ)

L(τ ) = R(τ)
L(φ) = L((ψ ∧ τ ))

= 1 + L(ψ) + L(τ)

R(φ) = R((ψ ∧ τ ))
 = 1 + R(ψ) + R(τ)

L(φ) = R(φ)

φ=⟶ L(φ) : número de paréntesis izquierdos en φ,

R(φ) : número de paréntesis derechos en φ.

C (φ) : L(φ) = R(φ)

Caso base:
L(φ) = 0 = R(φ)
Caso inductivo:
φ = (ψ ⟶ τ ) L(ψ) = R(ψ)
L(τ ) = R(τ)
L(φ) = L((ψ -> τ))
= 1 + L(ψ) + L(τ)
R(φ) = R((ψ -> τ ))
= 1 + R(ψ) + R(τ )
L(φ) = R(φ)

φ=⟵ L(φ) : número de paréntesis izquierdos en φ,

R(φ) : número de paréntesis derechos en φ.

P (φ) : L(φ) = R(φ)

Caso base: Si φ es una variable proposicional

L(φ) = 0 = R(φ)
Caso inductivo:
φ = (ψ ⟵ τ ). L(ψ) = R(ψ)

L(τ ) = R(τ )
L(φ) = L((ψ ⟵τ))
= 1 + L(ψ) + L(τ)
R(φ) = R((ψ ⟵τ))

= 1 + R(ψ) + R(τ)
 L(φ) = R(φ)
3. Proponga definiciones inductivas para las funciones L y R en el Ejemplo 1.10.