República Bolivariana de Venezuela.

Ministerio del Poder Popular para la Educación.

Universidad José Antonio Páez
Facultad de Ingeniería.
San Diego – Edo Carabobo

ASIGNACIÓN #04 LOGICA

Profesor: Autor:
Nelly Nino Rony Yucci V-25827831
Sección: 201N1

San Diego Agosto, 2020

Simbolice las siguientes proposiciones

1. No es cierto que Si Teresa compra la casa entonces Ni podrá salir de vacaciones

con su familia ni podrá inscribirse en el diplomado y conseguir el ascenso en la
empresa
Se obtienen 4 oraciones simples
a: Teresa compra la casa
b: Teresa no podrá salir de vacaciones
c: Teresa no podrá salir con su familia
d: Conseguir el ascenso en la empresa
Solución

{ ¬ a [ (¬ b ^ ¬ c) ^ d ] }

2. Si Ana trabaja en la mañana y estudia en la tarde entonces podrá graduarse en

poco tiempo y le darán el ascenso en la empresa y tendrá su propia oficina
- Se obtienen 5 oraciones simples
a: Ana trabaja mañana
b: estudia en la tarde
c: podrá graduarse en poco tiemplo
d: le darán un ascenso
e: tendrá su propia oficina
Solución :[ (a ^ b)  (c ^ d ^ e) ]

3. Ni Beatriz ni Jacinto podrán asistir al evento debido a que no recibirán la

bonificación de fin de año y no obtendrán el permiso de la compañía
Se obtienen 4 oraciones simples.
a: Beatriz no podrá asistir al evento
b: Jacinto no podrá asistir al evento
c: No recibirán la bonificación del fin de año
d: No obtendrán el permiso de la compañía
Solución :[ (¬ c ^ ¬ d)  ( ¬ a ^ ¬ b) ]

4. Andrés comprara el carro si y solo si O consigue vender el auto viejo y el banco

le otorga un préstamo O le validan la hipoteca del local
Se obtienen 4 oraciones simples
a: Andrés comprara el carro
b: Consigue vender el auto viejo
c: El blanco le otorga un préstamo
d: le validan la hipoteca del local
Solución: { a [ (b ^ c) V d ] }

5. Carlos saldrá bien en el examen y pasará la asignatura a menos que trabaje el fin
de semana y vaya al cine con su novia
Se obtienen 4 oraciones simples
a: Carlos saldrá bien en el examen
b: Pasara la siguiente asignatura
 c: Trabaje el fin de semana
d: Vaya al cine con su novia

Solución :[ ¬ ( c ^ d )  ( a ^ b )]

6. Si Daniela comienza sus estudios de postgrado y viaja a la capital entonces ni

podrá aceptar el cargo de coordinador ni podrá seguir dando clases en el turno de
la noche
Se obtienen 4 oraciones simples
a: Daniela comienza sus estudios de postgrado
b: Viaja a la capital
Solución: [ (a ^ b)  (¬ c ^ ¬ d) ]

7. Si Mercedes habla con su hermana y logra que ella la acompañe en el viaje

entonces no es cierto que Tendrá que alquilar un apartamento y buscar un
préstamo adicional para sus gastos
Se obtienen 4 oraciones simples
a: Mercedes habla con su hermana
b: logra que ella la acompañe en el viaje
c: Tendrá que alquilar un apartamento
d: Buscar un préstamo adicional para sus gastos
Solución: [ ( a ^ b)  ¬ (c ^ d) ]

8. Solo si Julia y Ana pueden asistir al evento, Nancy será la asistente encargada y
obtiene una bonificación de la compañía y quedara nominada para el cargo
Se obtienen 5 oraciones simples
a: Julia Puede asistir al evento
b: Ana puede asistir al evento
c: Nancy será la asistente encargada
d: Obtiene una bonificación en la compañía
e: Quedara nominada para el cargo

Solución: [ (a ^ b)  (c ^ d ^ e) ]

9. La compañía celebra el contrato colectivo y acepta los términos sindicales si y

solo si los empleados no solicitan préstamos durante un año y trabajan varios
días feriados fijados por la empresa
Se obtienen 4 oraciones simples
a: La compañía celebra el contrato colectivo
b: acepta los términos sindicales
c: Los empleados no solicitan prestamos durante un año
d: Trabajan varios días feriados fijados por la empresa

Solución: [ (a ^ b)   ( ¬ c ^ d) ]
10. Pedro no es el director de ese proyecto y no genero esas directrices debido que
Carmen fue designada para dirigir el proyecto y tiene todas las instrucciones
emanadas de la presidencia
Se obtienen 4 oraciones simples

a: Pedro no es el director de ese proyecto

b: No genero esas directrices
c: Carmen fue designada para dirigir el proyecto
d: Tiene todas las instrucciones emanadas de la presidencia

Solución [ (c ^ d)  ( ¬ a ^ ¬ b )]