1.

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

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

La lógica matemática estudia los sistemas formales

2.

Una especificación formal usa notación matemática para describir de manera precisa las
propiedades que un sistema de información debe tener

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

las especificaciones formales de un sistema pueden ser elaboradas a principios de su

desarrollo

3.

A y b tienen la misma estructura

1.2

1.

b) es una proposición ya que tiene una respuesta entre verdadero y falso, en este caso falso

d) (p ∨ (p ≡ (¬q))) , es una proposición ya que tiene una respuesta entre verdadero y falso, en
este caso falso

f) es una proposición ya que tiene una respuesta entre verdadero y falso, en este caso falso

2.

a) esta incompleta, por lo tanto no puede tener una respuesta de verdadero o falso

c)la negación necesita otro argumento para que sea tomada como proposición, -p es
proposición si p es proposición

e) una mala agrupación y uso evita que sea una proposición

3.

a) p: un numero natural es par

q: es impar

p ≡ -q
b)

p= el sol brilla hoy

q= el sol brilla mañana

p-> - q

c)

p= esta celoso

q= esta de malgenio

pvq

d)

p= una petición ocurre

q=eventualmente será atendida

r=el proceso de horarios se bloqueara

((p->q)v r)

e)

p= lloverá

q=hará sol

(p v q), -(p^q)

f)

p= tiene zapatos

q= tiene camisa

r=hay servicio

-(p^q) -> -r

g)

p= quiere gato blanco

q=quiere gato negro

p^q

h)

p=mi pareja raja el hacha

q=mi pareja presta el hacha

-(p^q)
4 h: El cuarteto interpretará a Haydn.

m: El cuarteto interpretará a Mozart.

a) El cuarteto interpretara a Haydn o a Mozart.

b) El cuarteto interpretara a Haydn si y solo si no interpreta a Mozart.
c) El cuarteto no interpretara a Haydn si y solo si no interpreta a Mozart
d) El cuarteto no interpretara ni a Haydn ni a Mozart
e) El cuarteto no interpretara ni a Haydn ni a Mozart y si El cuarteto no interpretara a
Haydn, entonces interpretara a mozart

a) P= pedro entiende mate

Q= pedro entiende lógica
P ->q, -q -> -p
b) P=llueve
Q=nieva
R=hay electricidad
((P v q) -> -r), (p -> -r)
c) P=llueve
Q=nieva
R=hay electricidad
((P v q) -> -r), (r -> -q)
d) P=sinx es diferenciable
Q=sin x es continua
R=función sinx es diferenciable
Z=función sinx es integrable
p->q , q->p , r - > z
e) P=godel fuera presidente
Q= congreso presentaría leyes razonables
P -> q, -(p->q)
f) P=llueve
Q= hay picnic
R=nieva
P -> -q. r -> -q. (p v q). -q

b) true

f)
h)

2.

e) p q q->p p->(q->p)

g) r p s q -r r ^ (-r) p -> q - (p -> q)

pvs r <- (p v s) ((r ∧ (r ← (p ∨ s)) ((r ∧ (r ← (p ∨ s))

(¬((r ∧ (r ← (p ∨ s))) (((p → q) ∨ (r ∧ (¬r)))))) (¬((p → q) ∨ (r ∧ (¬r))))))

(¬((r ∧ (r ← (p ∨ s))) ≡ (¬((p → q) ∨ (r ∧ (¬r))))))

3.

4.

((p v q) ≡ (r -> p)) <- (q /≡ (-q))

5.

2.

A)

L(-W)=R(-W)

P(X) : L(X) = R(X)

P(X): L(-W) = R(-W)

L(X) = L(-W) = R(-W) = R(X)

CONCLUSION: L(X) = R(X)

B)

L((W/≡T))=R((W/≡T))

P(X) : L(X) = R(X)

L(X) : L((W/≡T) = 1 + L(W)+L(T) = 1 + R(W)+R(T) = R(X)

CONCLUSION: L(X) = R(X)