Universidad Internacional de la Rioja

Ingeniería Informática

Trabajo Final

Docente

Sandra Yanet Velazco Flórez

Estrategias de formalización para la lógica de predicados

Estudiante

Yair Fernando Chaves Montenegro

ID del SIS
322506

Bogotá 23 de Septiembre 2019

 Contenido

1. Introducción

2. Ejercicio

3. Procedimiento

4. Bibliografía
 Introducción

En el lenguaje de la lógica proposicional suelen admitirse también los símbolos > y ⊥ para representar,
respectivamente, un enunciado que es con certeza verdadero (0 = 0) y un enunciado que es con certeza
falso (1 = 0). Cuando nos encontramos con una proposición compuesta, necesitamos conocer cuál es el
valor de verdad que le corresponde a partir de los valores de verdad de sus proposiciones componentes.
La siguiente tabla de verdad muestra los valores de verdad de los conectivos lógicos {¬, ∧, ∨, →, ↔, Y}.

Una tabla de verdad de una proposición compuesta, construida a partir de sus proposiciones
componentes p, q, r,. . ., es un método que proporciona el valor de verdad de dicha proposición
compuesta. Para ello, se determinan los valores de verdad de todas las subproposiciones componentes
desde las más sencillas a las más complejas. Por ejemplo, la tabla de verdad de: A menudo es útil usar
un diagrama de Venn para visualizar las probabilidades de múltiples eventos: En el Ejemplo A exploramos
el uso de un diagrama de Venn para determinar las probabilidades de eventos individuales, la
intersección de eventos y el complemento de un evento.
 Actividad

1. Mediante el uso de las tablas de verdad, comprueba las siguientes tautologías:

A. Razonamiento indirecto o Modus Tollens: [(p→q)ꓥ ~q]→~p

B. Adición: p→(pvq)
C. Ley conmutativa: (pꓥq)↔(qꓥp)
D. Transitividad: [(p→q)ꓥ (q→r)]→(p→r)
E. Switcheroo: (p→q) ↔ ((~p)vq)

2. En una encuesta a practicada a 150 consumidores en cuanto a sus preferencias por una bebida gaseosa
de marca C, P, T, se recogieron los siguientes resultados:

A. 31 consumen T.
B. 12 consumen solo P.
C. 9 consumen solo T y P.
D. 28 no consumen estas marcas.
E. 11 consumen solo T y C.
F. 15 consumen C y P.
G. 9 consumen todas las marcas.

Con la información obtenida de la encuesta, construye el diagrama de Venn y responde a lo siguiente:

 ¿Cuantos consumen únicamente C?

 ¿Cuantos consumen P?
 ¿Cuantos consumen por lo menos dos de las marcas?
 Desarrollo

Mediante el uso de las tablas de verdad, comprueba las siguientes tautologías:

1. A. Razonamiento indirecto o Modus Tollens: [(p→q)ꓥ ~q]→~p

p q ~p ~q p→q

V V F F V V V

V F V V F F V

F V V V F F V

F F V V F F V

B. Adición: p→(pvq)

p Q pvq p→(pvq)

V F V V

V V V V

F F F V

F V F V
 A. Ley conmutativa: (pꓥq)↔(qꓥp)

p Q pꓥq qꓥp (pꓥq)↔(qꓥp)

V V V V V

V F F F V

F V F F V

F F F F V

B. Transitividad: [(p→q)ꓥ (q→r)]→(p→r)

p q r p→q q→r (p→q)ꓥ (q→r) [(p→q)ꓥ (q→r)]→(p→r)

V V V V V V V

V V F V F F V

V F V F F F V

V F F F F F V

F V V F V F V

F V F F F F V

F F V F F F V

F F F F F F V
 C. Switcheroo: (p→q) ↔ ((~p)vq)

p q ~p p→q (~p)vq (p→q) ↔ ((~p)vq)

V V F V V V

V F F F F V

F V V V V V

F F V V V V

2. En una encuesta a practicada a 150 consumidores en cuanto a sus preferencias por una
bebida gaseosa de marca C, P, T, se recogieron los siguientes resultados:

A. 31 consumen T.

B. 12 consumen solo P.

C. 9 consumen solo T y P.

D. 28 consumen C y P.

E. 11 consumen solo T y C.

F. 15 consumen C y P.

G. 9 consumen solo T y C.
Con la información obtenida de la encuesta, construye el diagrama de Venn y
responde a lo siguiente:

 ¿Cuantos consumen únicamente C?



 ¿Cuantos consumen P?



 ¿Cuantos consumen por lo menos dos de las marcas?

 ¿Cuantos consumen únicamente C?

• ++
• 11+9+15
• ≈ 34U

 ¿Cuantos consumen P?

• + ++
• 12+9+9+15

 ¿Cuantos consumen por lo menos dos de las marcas?

 
• + + +
• 11+15+9+9+9.
• ≈ 53 á.
 Bibliografía

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po

http://www.paginasobrefilosofia.com/html/predintr.html

https://www.oposinet.com/temario-de-filosofia/temario-1-filosofia/tema-6-el-clculo-de-proposiciones-
y-de-predicados/

https://www.paginasobrefilosofia.com/html/prregla1.html

https://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden

https://matedisunidad3.wordpress.com/page/2/