Está en la página 1de 15

TALLER FINAL DE LÓGICA MATEMÁTICA – COMPUERTAS LÓGICAS Y

LÓGICA DE PREDICADOS

ANDREA CAROLINA HERRERA MUÑOZ


JUAN JOSE SÁNCHEZ COGOLLO

CORPORACIÓN UNIVERCITARIA MINUTO DE DIOS (UNIMINUTO)

PRIMER SEMESTRE-NRC: 9583


INGENIERÍA DE SISTEMAS

DIEGO MAURICO PARRA LAGUNA

2021
INTRODUCCIÓN

En el presente trabajo se intenta dar una definición de lo que son las proposiciones lógicas y
hablar de igual forma sobre las compuertas lógicas. En nuestro diario constantemente
hacemos, deducciones, haciendo referencia que cada conclusión que obtenemos se deduce
de algo. Este algo se llama premisa. Por ejemplo si exponemos un trozo de hielo al calor, se
concluye que el hielo se derrite, o cuando una persona ve una nube negra en el cielo, deduce
que va a llover. Este proceso de pasar de un conjunto de premisas a la conclusión se le llama
deducción.

Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la


deducción es válida, en caso contrario la deducción no es válida. Sabemos que la conclusión
se deriva correctamente de sus premisas porque hay un conjunto de leyes lógicas que
garantizan dicha corrección.. De ahí que, la lógica es una ciencia que estudia los métodos y
las leyes que determinan la validez de la deducción.

Dentro de la electrónica digital, existe un gran número de problemas a resolver que se repiten
normalmente. Por ejemplo, es muy común que al diseñar un circuito electrónico necesitemos
tener el valor opuesto al de un punto determinado, o que cuando un cierto número de
pulsadores estén activados, una salida permanezca apagada. Todas estas situaciones pueden
ser expresadas mediante ceros y unos, y tratadas mediante circuitos digitales. Los elementos
básicos de cualquier circuito digital son las compuertas lógicas.
1. Empleando el software de simulación electrónica de su preferencia (Multisim,
Proteus, Orcad Ps – Pice, entre otros) deberá simular todas las tablas de
verdad de cada una de las compuertas lógicas comunes, para tal caso, las
compuertas a simular son:

 AND = 7408
 OR = 7432
 NOT = 7404
 NAND = 7400
 NOR = 7402
 XOR = 7486
2.Resolver los siguientes ejercicios de acuerdo con la lógica proposicional
formulando una expresión adecuada.
Respuesta: v (Vende) p (Productos)
2.1 Juan vende los productos que no se venden por si mismos: ((∃v) (∀p)) (~Apv)

2.2 Existe un vendedor que vende los productos, pero Juan los vende por sí mismo:

(Ex) ((∀ (P(x)~D(p)))

2.3 Hay vendedores que no venden productos, pero Juan los vende por sí mismo

(∃~∧ yP) (Ey(p)))

2.4 En el dominio de todos los libros, considere los siguientes predicados y


represéntelos de acuerdo con una expresión.

Respuesta: E(x) = es extenso C(x) = es confuso

* Sí todos los libros son extensos entonces son confusos: (∀x) (E(x)  C(x))

* Algunos libros son confusos y extensos: (∃x) (C(x) ∧ ~ E(x))

* Todos los libros son confusos o extensos: (∀x) (C(x) ∨ E(x))

* Existe un libro que es extenso, pero no es confuso: (∃x) E(x) ∧ ~ C(x)

2.5 Presente la negación para todas las proposiciones del punto 2.4

* Sí todos los libros son extensos entonces no son confusos: (∀x) (E(x)  ~C(x))
* Algunos libros no son confusos y extensos: (∃x) (~C(x) ∧ E(x))
* Todos los libros no son confusos o extensos: (∀x) (~C(x) ∨ E(x))
* Existe un libro que es extenso, pero no es confuso: (∃x) (E(x) ∧ ~ C(x))
2.6 En el dominio de todas las películas, considere los siguientes predicados y
represéntelos de acuerdo con una expresión:

Respuesta: R(x) (romántica) T(x) (terror)

* Todas las películas son románticas (∀x) R(x)


* Algunas películas son románticas y algunas son de terror: (∃x) R(x) ∧ (∃x) T(x)

* Todas las películas son románticas y de terror (∀x) R(x) ∧ T(x)

* Existe una película que es de terror, pero no es romántica (∃x) (T(x) ~ R(x))

2.7 En el dominio de todos los programas de la universidad, considere los siguientes


predicados y represéntelos de acuerdo con una expresión:

* En todos los programas de la universidad se ve matemáticas

(∀x) (P(x))

* Existe algún programa de la universidad que no tiene que ver matemáticas

(∃P) ~ (x)

* En un programa de la universidad se ve matemáticas

(∃P) (P(x))

* Existen algunos programas que se ven matemáticas y otro no

(∃P(x) ~ ∧ (x))
3. Consulte y describa con claridad qué es y cite 10 ejemplos de cada uno de los
siguientes temas:

Modus Ponendo Ponens:

El Modus Ponendo Ponens es un tipo de argumento lógico de conclusiones razonadas,


pertenecientes al sistema formal de las reglas que deducen de la conocida lógica
proporcional (Es la rama de la lógica matemática que estudia proposiciones, afirmaciones u
oraciones) esta estructura argumentativa es la pauta inicial que se transmite en la lógica
proposicional y se relaciona directamente con los argumentos condicionales.

Definiendo podemos decir que Modus Ponendo Ponens como un procedimiento (Modus)
de las normas de deducción, que por medio de la aseveración (Ponendo) viene de un
antecedente o referencia es decir un elemento anterior, logra afirmar (Ponens) a un
consecuente o conclusión, (un elemento posterior).

Ejemplos:

1. Premisa 1: Si él está en el partido de futbol, entonces está en el estadio.


Premisa 2: Está en el partido de futbol
Concluyente: Por lo tanto, está en el estadio.
2. Premisa1: Si está lloviendo te espero dentro del teatro, por lo tanto, si llueve voy a
estar dentro del teatro.
Premisa 2: Si está lloviendo te espero dentro del teatro.
Conclusión: Por lo tanto, si llueve voy a estar dentro el teatro
3. Premisa 1: Si hace calor entonces, te llevo al rio.
Premisa 2: Si hace calor
Conclusión: Por lo tanto, te llevo al rio.
4. Premisa 1: Si quieres pasar el examen de mañana, entonces debes estudiar mucho.
Premisa 2: Quieres pasar el examen de mañana.
Conclusión: Por lo tanto, debes estudiar mucho.
5. Premisa 1: Si quieres pasar el examen de mañana, entonces debes estudiar mucho.
Premisa 2: Quieres pasar el examen de mañana.
Conclusión: Por lo tanto, debes estudiar mucho.
6. Premisa 1: Si quieres comer pescado, entonces debes ir a comprar en el mercado.
Premisa 2: Quieres comer pescado.
Conclusión: Por lo tanto, debes ir a comprar en el mercado.
7. Premisa 1: Si quieres llegar rápido a la escuela, entonces debes tomar ese camino
Premisa 2: Llegar rápido a la escuela.
Conclusión: Por lo tanto, debes tomar ese camino.
8. Premisa 1: Si no le das comida a tu loro, entonces morirá.
Premisa 2: No le das comida a tu loro.
Conclusión: Por lo tanto, morirá.
9. Premisa 1: Si quieres comer pescado, entonces debes ir a comprar en el mercado.
Premisa 2: Quieres comer pescado.
Conclusión: Por lo tanto, debes ir a comprar en el mercado.
10. Premisa 1: Si sigues comiendo tanta sal, entonces no lograrás controlar la
hipertensión.
Premisa 2: Sigues comiendo tanta sal.
Conclusión: Por lo tanto, no lograrás controlar la hipertensión.
Modus Tollendo Tollens:

El Modus Tollendo Tollens del latín niega, negación de consecuente es una aplicación de la
verdad general de que, si una declaración es válida también lo es una contraposición, un
ejemplo simple de Modus Tollendo Tollens es:

P —> Q Si el agua hierve entonces soltará vapor

- Q No suelta vapor.

- P, por lo tanto, no está hirviendo el agua.

Ejemplos:

1. Si tengo apendicitis, entonces no me deben de extraer el apéndice


No me deben extraer el apéndice
Entonces no tengo apendicitis
2. Si hay luz solar, entonces es de día.
No es de día
Por lo tanto, no hay luz solar.

3. Si llueve voy al cine.


No fui al cine
Por lo tanto, no llovió

4. Si hace calor te llevo al río


No te llevo al rio.
Por lo tanto, no hizo calor.

5. Si llovió entonces hubo nubes


No hubo nubes
Por lo tanto, no llovió

6. Si tengo dinero entonces compraré una bicicleta.


No tengo dinero
Por lo tanto, no compro una bicicleta

7. Si llueve hace frio


No llovió
Por lo tanto, no hizo frio.

8. Si una persona tiene un yeso en una de sus extremidades, entonces ha sufrido una
fractura.
No tiene fractura.
Por lo tanto, no tiene yeso.
9. Si desaparece la capa de ozono, la vida se extinguirá
No es el caso de que la vida se extingue
Por lo tanto, no desaparece la capa de ozono

10. Si corro una maratón me cansaré.


No me cansé
Por lo tanto, no corrí la maratón
CONCLUSIONES

1. Las compuertas lógicas son los dispositivos electrónicos más sencillos que existen, pero
al mismo tiempo son los más utilizados en la actualidad.
2. Son usadas ampliamente en el diseño de circuitos de distribución y computadoras, y sus
aplicaciones van en aumento en muchas otras áreas.
3. La lógica proposicional nos permite derivar información nueva a partir de la que
conocemos usando diferentes técnicas. La forma más sencilla de hacerlo es
construyendo una tabla de verdad con todos los posibles valores para las proposiciones
atómicas, las premisas y la conclusión que queremos lograr.

También podría gustarte