Repaso

Repaso 1er parcial
2016

1- ¿Cuál de las siguientes expresiones del
LO expresa con precisión el significado de la
fórmula:
¬(PadreDe(Pedro, Luis)  HermanoDe (Luis,
Esteban))

• a. No es verdad que Pedro es padre de Luis. Pero Luis es hermano de
Esteban.
• b. Es cierto que Pedro no es padre de Luis y Luis hermano de Esteban.
• c. Es falso que Pedro es padre de Luis y Luis hermano de Esteban.
•d. Ni Pedro es padre de Luis ni Luis es hermano de Esteban.

1- ¿Cuál de las siguientes expresiones del
LO expresa con precisión el significado de la
fórmula:
¬(PadreDe(Pedro, Luis)  HermanoDe (Luis,
Esteban))

• a. No es verdad que Pedro es padre de Luis. Pero Luis es hermano de
Esteban.
• b. Es cierto que Pedro no es padre de Luis y Luis hermano de Esteban.
• c. Es falso que Pedro es padre deLuis y Luis hermano de Esteban.
• d. Ni Pedro es padre de Luis ni Luis es hermano de Esteban.

2- ¿Cuál de las siguientes expresiones
simbólicas representa a la siguiente
proposición molecular?
No es necesario que Juan ame a María para que
María
lo aame.
• a. ¬Amar
(Juan, María)  Amar (María, Juan) 
• b. ¬  Amar a (Juan, María)  Amar (María, Juan) 
• c.  Amar a (Juan, María)  ¬Amar (María,Juan) 
• d. ¬  Amar a (María, Juan)  Amar (Juan, María) 
• e.  Amar a (¬María, Juan)  Amar (Juan, María) 

2- ¿Cuál de las siguientes expresiones
simbólicas representa a la siguiente
proposición molecular?
No es necesario que Juan ame a María para que
María
lo aame.
• a. ¬Amar
(Juan, María)  Amar (María, Juan) 
• b. ¬  Amar a (Juan, María)  Amar (María, Juan) 
• c.  Amar a (Juan,María)  ¬Amar (María, Juan) 
• d. ¬  Amar a (María, Juan)  Amar (Juan, María) 
• e.  Amar a (¬María, Juan)  Amar (Juan, María) 

3- ¿Cuál de las siguientes expresiones
simbólicas representa a la siguiente
proposición molecular?
No es necesario que Pedro estudie para que María
lo apruebe.
• a. ¬Estudiar (Pedro)  Aprobar (María, Pedro) 
• b. ¬  Estudiar (Pedro)  Aprobar (María, Pedro)
• c.  Estudiar (Pedro)  ¬Aprobar (María, Pedro) 
• d. ¬  Aprobar (María, Pedro)  Estudiar (Pedro) 
• e.  Estudiar (¬Pedro)  Aprobar (Pedro, María) 

3- ¿Cuál de las siguientes expresiones
simbólicas representa a la siguiente
proposición molecular?
No es necesario que Pedro estudie para que María
lo apruebe.
• a. ¬Estudiar (Pedro)  Aprobar (María, Pedro) 
• b. ¬  Estudiar (Pedro) Aprobar (María, Pedro) 
• c.  Estudiar (Pedro)  ¬Aprobar (María, Pedro) 
• d. ¬  Aprobar (María, Pedro)  Estudiar (Pedro) 
• e.  Estudiar (¬Pedro)  Aprobar (Pedro, María) 

4- ¿Cuál de las siguientes expresiones
simbólicas representa a la siguiente
proposición molecular?
No basta con que Pedro estudie para que el
profesor lo apruebe.
• a. ¬Estudiar (Pedro)  Aprobar (Profesor, Pedro) 
•b. ¬  Estudiar (Pedro)  Aprobar (Profesor, Pedro) 
• c.  Estudiar (Pedro)  ¬Aprobar (Pedro, Profesor) 
• d. ¬  Aprobar (Profesor, Pedro)  Estudiar (Profesor) 
• e.  Estudiar(¬Profesor, Pedro)  Aprobar(Pedro) 

4- ¿Cuál de las siguientes expresiones
simbólicas representa a la siguiente
proposición molecular?
No basta con que Pedro estudie para que el
profesor lo apruebe.
• a.¬Estudiar (Pedro)  Aprobar (Profesor, Pedro) 
• b. ¬  Estudiar (Pedro)  Aprobar (Profesor, Pedro) 
• c.  Estudiar (Pedro)  ¬Aprobar (Pedro, Profesor) 
• d. ¬  Aprobar (Profesor, Pedro)  Estudiar (Profesor) 
• e.  Estudiar(¬Profesor, Pedro)  Aprobar(Pedro) 

B- Ejercicios con Tablas de
Verdad (líneas espurias y tipos
de fórmulas)
• Deberá realizar la tabla de verdad de las fórmulas, paraespecificar
cuándo habrá líneas espurias, y determinar qué tipo de fórmula es:
satisfacible, verdad lógica, falsedad lógica, contingencia,
contradicción, tautología. Estas 6 opciones pueden aparecer
combinadas en algunas opciones de respuesta.

5- Dadas las siguientes expresiones atómicas, indique
cuándo habrá líneas espurias en una fórmula donde ellas
apareciesen: MayorQue(María, Luis),...