PROPOSICIONES Y TABLAS DE VERDAD

DIEGO ARMANDO TRUJILLO CRIOLLO

NUMERO DE CODIDO _200611_1489

TUTOR: FABIO OSSA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTOS LOGICOS MATEMATICOS
ZONA SUR
PUERTO ASIS - PUTUMAYO
2019
 PROPOSICIONES Y TABLAS DE VERDAD

PRESENTADO POR

DIEGO ARMANDO TRUJILLO CRIOLLO

NUMERO DE CODIDO _200611_1489

TECNOLOGIA EN RADIOLOGIA E IMÁGENES DIAGNOSTICAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTOS LOGICOS MATEMATICOS
ZONA SUR
PUERTO ASIS - PUTUMAYO
2019
 Introducción

Es una de las ciencias de mayor importancia y más completa para la civilización humana. Es el
desarrollo que ha alcanzado en este último siglo y principalmente estas últimas décadas y ha
generado impacto científico y tecnológico a nivel mundial. Lo importante y mejor es que nos
permiten aclarar y rectificar si es verdadero o falso, en este trabajo vamos a encontrar ejemplos
de falso, verdadero y tablas de proposiciones de verdad.

Es la ciencia que ha generado impacto a nivel tecnologico y mundial. Siempre que hacemos
diferentes tipos de afirmaciones nos debemos basar en una serie de análisis que nos permitan
aclarar y rectificar si es verdadera o falsa.

El ser humano a diario se comunica con sus semejantes a través de un lenguaje determinado, por
medio de las denominadas frases o oraciones, verdaderas o falsas, siendo este el precedente
fundamental para el desarrollo humano. Estableciendo proposiciones a partir de un conjunto
podemos llegar a una conclusión.

En este trabajo podemos observar ejemplos que nos ayudan a desarrollar este tipo de
proposiciones.
 OBJETIVO

Generales

1. Conocer leyes de la lógica con el fin de obtener precisión, claridad y generalidad en

diferentes razonamientos e Identificar, transformar y valorar proposiciones y a través de
estas establecer relaciones entre conjuntos y operar con ellos, así mismo verificar como
estas hacen parte de tu cotidianidad.

1. Proporcionar al estudiante herramientas para que le permita reconocer y desarrollar tablas

de verdad. Establecer el valor de verdad utilizando los enunciados lógicos y las leyes de la
lógica para obtener precisión claridad y generalidad de los diferentes tipo de
razonamientos.

Específicos:

1. Dar y conocer la historia de la lógica y su clasificación

2. Aplicar las leyes de algebra de proposiciones
3. Clasificar las proposiciones lógicas
4. Establecer la relación entre la lógicas
5. Manejar tablas de proposición
6. Conocer conceptos como razonamiento
7. Determinar la tabla de verdad, los valores de verdad de las proposiciones simples o
compuestas

1. Clasificar las proposiciones lógicas

2. Reconocer las proposiciones lógicas
3. Manejar tablas de proposición
4. Conocer y entender los conectivos lógicos
5. Razonamiento lógico en lenguaje simbólico
6. Desarrollar competencias para la construcción de funciones lógicas
Ejercicio 1: Conceptualización de Cuantificadores

Existe al menos un Ingeniero o un veterinario en la familia.

RTA/ Ʉx (familia(x) -> ingeniero(x) v veterinaria(x))

Algunos pájaros cantan en la madrugada y de noche.

RTA/ Ʉx (pájaro(x) canta en la madrugada (x) ^ canta de noche (x))

Para algunos campesinos el invierno no es un problema.

RTA/ Ʉx (campesinos ~ el invierno es un problema (x))

Cuando menos un Español es hincha del Zaragoza.

RTA/ Ʉx (español(x) - hincha(x) ^ Zaragoza

Algunos niños juegan con el gato, a pesar de ser peligroso.

RTA/ Ʉx niños(x)juegan(x)- -gato(x) ^ peligroso¿
Ejercicio 2: Proposiciones y Tablas de verdad

(p ⋁q) ⋀ (q ⟶(r ⋀s))

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

Sol o Daniela tienen carro y casa si entonces reclama y compran la boleta.

Maria o Carlos van a cine y a cenar si entonces consignan y sacan dinero.

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa entonces
escribirá poemas.
De la proposición dada tenemos:

1. Proposiciones simples:

A: Sofía estudia medicina.

B: Sofía estudia literatura inglesa.

C: Sofía escribirá poemas.

2. Lenguaje simbólico: (A ∨ B) ∧ (B → C)
3.  Tabla de verdad:

El lenguaje puede ser formalizado mediante letras y operadores lógicos, en este caso particular
tenemos:

∨   : Es la O o disyunción
∧   : Es la Y o conjunción
→   : Es el Entonces, o condicional.