Unidad 1 – Proposiciones y tablas de verdad

Estudiante

Juan Alberto Martínez Torres

Grupo: 200611_1963

Docente

Laura Daniela Marroquín

Curso

Pensamiento Lógico Matemático

Universidad Nacional Abierta y a Distancia UNAD

Ingeniería Industrial

Año 2019
 Tabla de contenido

Introducción.....................................................................................................................................3
Objetivos...........................................................................................................................................4
Ejercicio 1 Conceptualización de Cuantificadores.............................................................................5
Ejercicio 2 Proposiciones y Tabla de verdad.....................................................................................6
Ejercicio 3 Problemas de Aplicacion..................................................................................................8
Conclusión......................................................................................................................................11
Referencias Bibliográficas...............................................................................................................12
 Introducción

El siguiente trabajo pretende abordar el tema del cuantificador universal negativo mediante la

aplicación de ejercicios, también habrán ejemplos de cómo formalizar proposiciones lógicas de

acuerdo con sus argumentos dando uso de los diferentes conectores lógicos para realizar una

proposición compuesta con sus respectivas tablas y así poder analizar el resultado.
 Objetivos

 Identificar la negación de un cuantificador

 Desarrollo de las tablas de verdad y su resultado

 Aprender a formalizar de forma correcta los argumentos dados.

 Ejercicio 1 Conceptualización de Cuantificadores.

Presentación PREZY:

https://prezi.com/view/Z6e29H6tyAsrD8N183EF/

Cuantificador Universal negativo

Un cuantificador es una expresión con la que pretendemos cuantificar o determinar la cantidad

de una proposición las expresiones utilizadas como cuantificadores suelen ser: todos, algunos,

ninguno, no todos, solo un.

Las frases que comúnmente se usan para denotar el calificador universal negativo son:

 Para ningún x

 Ninguno

 No

 Nadie

 Nada

Estos cuantificadores se anteponen al sujeto de la función.

Símbolo ¬ (~)

Ejemplos.
 1. Nadie de la familia es profesional.

Para todo x. si x es familia entonces x es profesional.

∀ x ¬ P( x)

2. Nada es absolutamente caliente

∀ x( ¬caliente ( x ))

Ejercicio 2 Proposiciones y Tabla de verdad.

B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los

rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con

muchos colores.

Proposiciones Simples:

p: el arcoíris no se forma de muchos colores

q: si el agua de lluvia interactúa con los rayos de luz solar

r: si el sol está detrás de las nubes

Definir la expresión del argumento en lenguaje simbólico o formal.

( p ↔q ) ν (r →¬ p)

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)

p q
v v
v v
v f
v f
f v
f v
f f
f f
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
r (p↔q) ν ( r→¬p)
v v
f v
v f
f v
v v
f v
v v
f v

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

Esta proposición es de carácter CONTINGENCIA

 Ejercicio 3 Problemas de Aplicacion

B .( p → q) ∧ ( r ⋀ s)

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=Luis maneja bus

q= María maneja uber

r=Alejandra maneja moto

s= Juan maneja cicla

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.

- Luis maneja bus si entonces María maneja uber y Alejandra maneja moto y juan maneja

cicla.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico.

Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

 p q r s (p→q) ᴧ (rᴧs)
v v v v v v v
v v v f v f f
v v f v v f f
v v f f v f f
v f v v f f v
v f v f f f f
v f f v f f f
v f f f f f f
f v v v v v v
f v v f v f f
f v f v v f f
f v f f v f f
f f v v v v v
f f v f v f f
f f f v v f f
f f f f v f f

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

Es CONTINGENCIA ya que hay variables entre falso y verdadero

Conclusión
 Este trabajo nos ayudo a comprender el concepto del cuantificador universal negativo, lo cual

se logró mediante la aplicación de ejercicios que ayudaron a la formalización de las

proposiciones lógicas con sus argumentos.

 Se aprendió hacer uso de los diferentes conectores lógicos, logrando efectuar proposiciones

compuestas y evaluando sus tablas de verdad.

Referencias Bibliográficas
- 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

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de

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

ppg=12&docID=3199701&tm=1529335849013

- Link página: http://logicaunad.com/pensamientologico/