TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

ESTUDIANTE:

Ayda Milena Cerón Córdoba

Código: 1087647652

Grupo: 200611_678

TUTOR:

David Eduardo López

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Sociales Artes y Humanidades ECSAH

Pensamiento Lógico y Matemático

Psicología

PASTO

2019
Introducción.

Trabajo que contiene los aspectos importantes en la lógica matemática, desde la

definición de proposición, tipos de operadores lógicos, tautología, contradicción,

proposiciones condicionales y bicondicionales, demostración formal.

El principal propósito de este trabajo es brindar conocimientos básicos acerca de las

preposiciones y las tablas de verdad contenidas dentro de la lógica proposicional ya que

la lógica matemática que estudia proposiciones, afirmaciones u oraciones utilizan los

métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que

se derivan de esos procedimientos, dando paso así a comprender la importancia de esta

en nuestra vida académica y como la matemáticas están inmersas dentro de toda carrea

profesional ya que es indispensable para nuestro diario vivir, ya que en este trabajo se

encuentra contenido los temas más importantes de esta unidad como los es la

preposiciones ya que estas no ayuda a sacar ideas hacer de un determinado tema y

como con las tablas de verdad podemos determina la falsedad y veracidad de estas

preposiciones expuestas.
 Objetivos.

- Familiarizarse con los conceptos y métodos de la lógica proposicional para realizar

demostraciones.

- Aplicar diferentes métodos de lógica proposicional para realizar deducciones.

- Enunciará las principales reglas de inferencia lógica.

- Podrá distinguir los tipos de demostraciones utilizados en matemáticas.

- Enunciar los constituyentes de un lenguaje formal.

- Dar ejemplos de formalizaciones lógicas en las matemáticas.

- Comprender la importancia de la lógica simbólica en el estudio de los fundamentos de

las matemáticas.
Ejercicio 1: Conceptualización de Cuantificadores

Letra: “C”
Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es

una empresa estadounidense y Si Huawei es una empresa china entonces no tiene

Android de Google.

A partir del argumento que haya seleccionado deberá dar respuesta a los

siguientes ítems:

• Definición de las proposiciones simples del argumento.

p: empresas estadounidenses

q: Google es una empresa estadounidense

t: Huawei es una empresa china

r: no tiene Android de Google.

• Definición de la expresión del argumento en lenguaje simbólico o formal.

P V Q = Empresas estadounidenses no pueden negociar con empresas chinas o Google

es una empresa estadounidense

T→R = Si Huawei es una empresa china entonces no tiene Android de Google.

(P V Q) V (T→R) =Empresas estadounidenses no pueden negociar con empresas

chinas o Google es una empresa estadounidense y Si Huawei es una empresa china

entonces no tiene Android de Google.

  Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos

educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así

como el link de acceso al recurso)

• Tabla de verdad manualmente a partir del lenguaje simbólico y determinar si

el resultado es una tautología, contingencia o contradicción.

p q t r (p v V (t

q) =>

r)
V V V V V V V
V V V F V V V
V V F V V V V
V V F F V V V
V F V V V V V
V F V F V V V
V F F V V V V
V F F F V V V
F V V V V V V
F V V F V V V
F V F V V V V
F V F F V V V
F F V V F V F
F F V F F V V
F F F V F F F
F F F F F V V

De la anterior tabla podemos decir que se obtiene una TAUTOLOGÍA, ya que lo

valores obtenidos corresponden a verdaderos y falsos.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

C. [ ( p ⋁ q ) ⟷ r ]
 A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico,

ejemplo:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo

que de encontrar proposiciones iguales entre estudiantes se considerará como copia

y se tomarán las medidas correctivas estipuladas por la UNAD.

P=El día esta soleado en la mañana

Q= No hay nubes en la mañana

R= y si salen nubes en la tarde hay probabilidad de que llueva

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos

Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link

de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En

Word, Excel o foto del desarrollo manual).

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción

o contingencia

Según la tabla presentada anteriormente se puede determinar que es una

CONTINGENCIA, ya que se presenta valores tanto falsos como verdaderos.

Conclusiones

Con este trabajo se logro consolidar grandes conocimientos acerca de la lógica

proposicional, así como también del leguaje formar utilizado para referirse a frases con

expresiones matemáticas, logrando así realizar tablas de verdad para comprobar la

veracidad o falsedad de cada una de estas proposiciones, si como también se busca que

se comprenda el concepto de proposición, la forma en que se pueden formar

proposiciones compuestas usando los conectores lógicos, representar enunciados por

medio de simbología lógica, conocer los conceptos de tautología, contingencia y

contradicción.

Referencias Bibliográficas

• Moulines, C. U. (1978). Cuantificadores existenciales y principios-guía en las

teorías físicas. Crítica: Revista Hispanoamericana de Filosofía, 59-88.

• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=109&docID=3199701&tm=1529510366591
• Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.

(pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?

ppg=20&docID=3226457&tm=1529246259924

• Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961

• Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871

• Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069