Encabezado: PROPOSICIONES Y TABLAS DE VERDAD 1

Tarea 1. Proposiciones y Tablas de Verdad

Jessica Tatiana Chacón

Universidad Nacional Abierta y a Distancia

Abril 28 de 2020

Notas de Autor

Pensamiento Lógico y Matemático

Tutora Angélica María Antia

Ingeniería de Telecomunicaciones

Cead José Acevedo y Gómez, Ciencias Básicas, Tecnología e Ingeniería

Universidad Nacional Abierta y a Distancia

Bogotá D.C
PROPOSICIONES Y TABLAS DE VERDAD 2

INTRODUCCIÓN

Si bien sabemos el pensamiento lógico y matemático es una inteligencia muy importante y

fundamental que todos podemos desarrollar, puesto que si queremos entender conceptos

abstractos, este ayudará a adquirir la habilidad de pensar en términos de números y utilizar el

razonamiento lógico, además este tipo de inteligencia no sólo se basa en el buen manejo de

capacidades numéricas, sino también nos enseña a utilizar la lógica, la técnica y el buen

entendimiento de conceptos, tanto que el cálculo lo emplearíamos de manera natural, como

cuantificadores, proposiciones y tablas de verdad, los cuales son temas a tratar en el desarrollo de

este trabajo.

Siendo así, iniciaremos con la definición de cuantificadores los cuales son un conjunto de

símbolos que cumplen con determinada propiedad y el cuantificador existencial único es cuando

en ese conjunto él es el único elemento que cumple con la proposición y se denota con la letra ∃!

, es decir, es un único elemento que a su vez se le establece una determinada propiedad.

También están las proposiciones, estos son enunciados aseverativos los cuales permiten que

se les asigne un único valor de verdad, ya sean falso (F) o verdadero (V), estos son los que se van

a representar en la tabla de verdad dependiendo de cada combinación de verdad que se pueda

asignar.
PROPOSICIONES Y TABLAS DE VERDAD 3

OBJETIVOS

General

Aprender y explicar con claridad el significado y manejo de los temas a tratar.

Específicos

 Conocer la definición de cada uno de los temas a abordar.

 Aprender a realizar la combinación de falso y verdadero en las tablas de verdad.

 Saber usar de manera adecuada las proposiciones.

PROPOSICIONES Y TABLAS DE VERDAD 4

Argumento ejercicio 1 unidad 1

Los cuantificadores son expresiones que permiten determinar el tipo o cantidad de elementos

que cumplen con cierta propiedad dentro de una proposición.

Cuantificador Existencial Único

Se denomina así porque es el único elemento en un determinado conjunto o conjunto A, que

cumple con la proposición, a este se le denomina con la letra ∃! y su denotación es

∃! x ∈ A : p(x), esto es igual a “existe un único elemento x de A que cumple la proposición p(x)”.

Ejemplos:

 P(x): x/x Es el país con mayor cantidad de especies de anfibios.

Existe un único país (Colombia) con mayor cantidad de especies de anfibios.

∃!x: p(x) Existe un único x tal que x es el país con mayor cantidad de anfibios.

 P(x): x/x Es la tutora del grupo 200611_84 de la UNAD.

Existe una única tutora del grupo 200611_84 de la UNAD.

∃!x: p(x) Existe un único x tal que x es la tutora del grupo 200611_84 de la UNAD.
PROPOSICIONES Y TABLAS DE VERDAD 5

Ilustración 1 Presentación

Ilustración 2 Definición cuantificadores

Ilustración 3 Definición cuantificador existencial

PROPOSICIONES Y TABLAS DE VERDAD 6

Ilustración 4 Ejemplos cuantificador

PROPOSICIONES Y TABLAS DE VERDAD 7

Argumento ejercicio 2 unidad 1

El día sin carro en Medellín fue el 12 de febrero y buscan con esta medida reducir los niveles

de contaminación, si y solo si, dejan de transitar vehículos particulares o serán sancionados con

multa.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

1. Definir las proposiciones simples del argumento.

p: El día sin carro en Medellín fue el 12 de enero

q: Buscan con esta medida reducir los nieles de contaminación

r: Dejan de transitar vehículos particulares

s: Serán sancionados con multa.

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

( pq )↔( r ∨ s)

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).

PROPOSICIONES Y TABLAS DE VERDAD 8

Ilustración 5 Tabla de verdad con simulador

Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el

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

El resultado arrojado hace referencia a una contingencia, puesto que los valores son falsos y

verdaderos.

( pq )↔( r ∨ s)

Tabla 1
Tabla de verdad
PROPOSICIONES Y TABLAS DE VERDAD 9

p Ejercicio 3 unidad
q r s ( pq ) (r ∨ s) ( pq )↔( r ∨ s)
1.
V V V V V V V
V A partir de la
V V F V V V
V proposición
V F V V V V
V compuesta en
V F F V F F
V lenguaje simbólico
F V V F V F
V que haya
F V F F V F
V F F V F V F seleccionado
V
F F F F F V deberá:
F V V V F V F
F V V F F V F 1. Definir las

F
V F V F V F
F
V F F F F V
F F V V F V F
F F V F F V F
F
F F V F V F
F F F F F F V

proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un

contexto, el que se solicita es un contexto académico.

D) [ p ∧ ( p ⟶ q ) ∧ ( q →r ) ]→ r

p: Andrés entra a la plataforma.

q: Realiza los trabajos pendientes.

PROPOSICIONES Y TABLAS DE VERDAD 10

r: Andrés obtendrá un buen puntaje.

2. 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.

D) [ p ∧ ( p ⟶ q ) ∧ ( q →r ) ]→ r

Si Andrés entra a la plataforma y ya que Andrés entra a la plataforma bien se ve que realiza

los trabajos pendientes, y si realiza los trabajos pendientes entonces Andrés obtendrá un buen

puntaje; por ende, Andrés obtendrá un buen puntaje.

3. 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)
PROPOSICIONES Y TABLAS DE VERDAD 11

Ilustración 6 Tabla de verdad con simulador

4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

[ p ∧ ( p ⟶ q ) ∧ ( q →r ) ]→ r

Tabla 2
Tabla de verdad

p
[ p ∧ ( p ⟶ q ) ∧ ( q →r ) ]→ r
q r ( p ⟶ q ) ( q ⟶ r ) [ p ∧ ( p ⟶ q ) ∧ ( q →r ) ]
V
V V V V V V

V
V F V F F V

V
F V F V F V

V
F F F V F V

F
V V V V F V

F
V F V F F V
PROPOSICIONES Y TABLAS DE VERDAD 12

F
F V V V F V

F
F F V V F V

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

contingencia.

El resultado arrojado en la tabla de verdad es una tautología puesto que todas son verdaderas.
PROPOSICIONES Y TABLAS DE VERDAD 13

Conclusiones

 Con referente a lo expuesto, se ha logrado definir el significado de los temas trabajados.

 La realización de las tablas de verdad es muy sencilla siempre y cuando se tenga en

cuenta el significado de los conectores simbólicos.

PROPOSICIONES Y TABLAS DE VERDAD 14

Bibliografía

Proposiciones y tablas de verdad

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

Proposiciones y Conectores lógicos

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