'

UNIVERSIDAD ICESI
Departamento
Sequndo

examen

NOMBRE

PUNTO

de Matemticas

y Estadstica

parcial de lqca formal (Perodo 042, grupo 15. A. Bustamante

CDIGO:

DEL ESTUDIANTE

1 GENERALIDADES

A.)

(50%)

1. Suponga que los smbolos p y q tienen estos significados:

p: estudiaremos
q: tenemos

lgica este domingo

parcial de organizaciones

el lunes.

Entonces, el enunciado estudiaremos

organizaciones el lunes
2.

Llene los espacios

con -'r~s.

se representa simblicamente con la frmula

provistos

en cada caso, para obtener fbt's que son lgicamente

No tiene que justificar

=>

a.

lgica este domingo slo si no tenemos parcial de

b.

la respuesta.
v

3. Suponga que A y B son frmulas lgicamente

A!'--.B = F. Si una o alguna de las siguientes
seleccione

No aceptan dobles negaciones

equivalentes

(-'-'A)

C. ., <-A_)

equivalentes.

Entonces,

es una justificacin

se puede asegurar

apropiada

que

de este hecho,

la (s) letra(s) correspondiente(s):

a. Si A = B, no es posible que A y .,B sean simultneamente verdaderas para alguna

interpretacin.

b.

'B es falso, y por lo tanto la conjuncin AI\'B tambin lo es.

c.

Si A;: B, por lo menos una entre A y -,B tiene que ser falsa para cada interpretacin.

d.

Si A=B entonces

Muestre,

los valores de A y B son iguales, para cada interpretacin.

por mtodo indirecto con asignacin

de valores,

que esta frmula es una tautologa:

p => r) /\ ( q => r => p v q ) => r)

5.

En diversos
tautologa".

casos el profesor ha mencionado

en clase la expresin

"Esta frmula "huele" a

Lo ha hecho para indicar que en tales casos es relativamente

(1). Tomado y adaptado de Copi y Cohen. Introduction to Logic,pg. 416, tenth edition. 1998.

fcil identificar

en la

frmula la expresin
caso de la frmula
a.

de una verdad lgica, a partir de los significados

siguiente

de los conectivos.

se le pide a usted:

Llenar el espacio en blanco con un tomo, de tal manera que se exprese

lgica.

b.

una verdad

p ~ q) 1\ ( r ~ q) 1\ ( P v r)) ~ -

Dar un ejemplo de una situacin "de la vida real" que se representa

expresin

Para el

mediante

la

anterior.

c. Completar esta justificacin informal del "olor a tautologa", de la frmula del punto a.
La frmula "huele" a tautologa porque si es un hecho que de

6.

Complete
significa

para obtener un enunciado

verdadero:

que

"Que un conjunto de premisas

sea inconsistente

--.

Decida si este conjunto

de premisas

es o no, inconsistente:

{r =:- s, p v q, (-.r W) =:- -'p, -'q W, -.s}

7 Decida si esta afirmacin

condicin

necesaria

suficiente

pero no necesaria

es o no verdadera.

pero no suficiente

Justifique

para ser tautologa.

su respuesta:
En cambio,

Ser frmula satisfacible

ser tautologa

para ser satisfacible.

(1). Tomado y adaptado de Copi y Cohen. Introduction to Logic,pg. 416, tenth edition, 1998.

es

es condicin

PUNTO 2 (15%)
Utilice deduccin natural (reglas de inferencia) para mostrar que este razonamiento es vlido:
P1. "s=>q
P2. (u v p) => ( v v t)
P3. (r 1\ s) => t
P4. "r => q
P5 q => u
11 .,t => \

PUNTO 3 (15%)
proposicional,

Utilice el criterio de validez de razonamientos

para probar que este razonamiento

deductivos

provisto por la lgica

es vlido

Si pago matrcula completa no me queda dinero. Pero si no pago matrcula completa no puedo
matricular todos los cursos. Adems no aprender a programar eficientemente, a menos que me
compre un computador, lo cual podr hacer slo si me queda dinero. Claro que si no me matriculo en
todas las clases no me comprar un computador. Como es un hecho que pago matrcula completa o
no pago matrcula completa, entonces jcon seguridad, que no aprender a programar
eficientemente! .

PUNTO 4 (15%) Utilice el mtodo algebraico para probar que la frmula siguiente es una tautologa,
reduciendo la expresin de la izquierda a la expresin equivalente de la derecha. Indique en cada
caso la equivalencia aplicada:
(p v q) => r) 1\ p) => r = V

(1). Tomado y adaptado de Copi y Cohen. Introduction to Logic,pg. 416, tenth edition, 1998.