Sei sulla pagina 1di 12

Pensamiento lógico matemático

Cuantificador universal afirmativo

Estudiante

Jhon Estiwinson Mena

Código: 1077449739

Grupo:

200611_1873

Tutor

Yersson David Mosquera

2019
Introducción

La lógica proposicional o lógica de orden cero, es la rama de la lógica matemática que


estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante
conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos. Es
una herramienta útil para razonar, pero no puede resolver problemas que requieren analizar
la estructura interna de las proposiciones o de las relaciones entre ellas. Este tipo de lógica
considera las proposiciones como elementos atómicos y no tiene cuantificadores o variables
de entidad.

Analizando sus componentes, las formas en las que se combinan y diferentes métodos para
realizar demostraciones básicas. Enfocándose en un tipo específico de lógica proposicional
donde el valor de verdad de las expresiones se puede determinar exclusivamente a partir de
los valores de verdad de sus componentes y donde cada proposición puede tener
únicamente dos valores posibles: verdadero o falso, pero no otros valores y solamente uno
de ellos (las proposiciones no pueden ser falsas y verdaderas al mismo tiempo).
Objetivos

 Comprender los conceptos fundamentales de la lógica proposicional y aplicarlos


para la solución de problemas en la vida cotidiana.
 Aplicar diferentes métodos de lógica proposicional para realizar deducciones.
 Familiarizarse con los métodos de la lógica proposicional para realizar
demostraciones.
 Aprender a identificar las clases de proposiciones que se puede encontrar en un
enunciado.
 Entender la aplicación y el efecto que tienen los términos de enlace en las
proposiciones.
 Analizar proposiciones en nuestro idioma para determinar su validez.
 Analizar e interpretar proposiciones para simbolizarlas.
 Comprender los principios de las operaciones de la lógica proposicional
 Analizar los enunciados para la elaboración de las tablas de verdad, teniendo en
cuenta los términos de enlace.
Ejercicio 1: Cuantificador universal afirmativo

Es la operación lógica que es verdadera cuando todos los valores de pertenecientes a un


conjunto con el cual se relacionan, son verdaderos. Las frases que habitualmente se utilizan
para denotar este cuantificador son:

. todos x – todo x

. para cada x

. cada x

. cada uno x

. siempre que x

. cualquiera x

. para todo x

Ejemplo 1: se desea representar la expresión “todas las personas tienen una ilusión “. Para
este caso se identifica el predicado “tienen una ilusión “, entonces p (x) significa que x
tiene una ilusión. La palabra “todas las personas” indica que esto se aplica para todas las x.

Representado

Ejemplo 2: para La Expresión "todos los Bogotanos, son colombianos”. En este caso
específico nuestra preposición estará representada por la letra (q). Ahora bien,
identificamos el predicado "los Bogotanos son colombianos, entonces q (x) significa que x
Bogotanos son colombianos. la palabra "todos" indica que es para todos los x.

Representado

Link presentación 1er ejercicio: https://prezi.com/view/3OkwHrBLq0oeSNXXrQ0W/

Argumentos para el desarrollo del ejercicio 2

A) Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al


concesionario o si ella no lo lleva al concesionario entonces, lo lleva al taller de
Fernando.

. Proposiciones simples del argumento:

1. el vehículo de Gabriela necesita mantenimiento.


2. Ella lo lleva al concesionario.
3. Lo lleva al taller de Fernando.

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

Para las proposiciones simples, mencionadas anteriormente les asignaremos las siguientes
letras.

1. (p)
2. (q) formula:
3. (r)
. Generar una tabla de verdad con el simulador lógica UNAD a partir del lenguaje
simbólico

. Generar una tabla de verdad manual, a partir del lenguaje simbólica y determinar si el
resultado es una tautología, contingencia o contradicción.
Debido al resultado obtenido en esta tabla de verdad podemos determinar que el resultado
es una contingencia, debido a la variedad en los resultados de verdaderos y falso.

Ejercicio 3:

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá

. Definir las proposiciones simples, en un contexto académico

(p) si eres perseverante

(q) luchas por lograr tus objetivos

(r) alcanzaras tus metas propuestas

(s) serás una persona exitosa

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

Expresión: “preparándome adecuadamente y estudiando con esmero entonces, sacare


buenas notas y así podre ganar el semestre.
. Generar una tabla de verdad con el simulador lógico UNAD, a partir del lenguaje
simbólico.
. Generar una tabla de verdad manual a partir del lenguaje simbólico

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


contingencia

R/ como podemos observar en la tabla anterior, nos encontramos con una contingencia;
debido a la variedad de resultados falsos y verdaderos.
Conclusión

Luego de realizar las diferentes actividades en base a la lógica proposicional, podríamos


afirmar que es de vital importancia para la correcta actuación del ser humano, ya que la
lógica ayuda al hombre a realizar o resolver las diversas situaciones que le resultan durante
su normal trascurrir, de forma exitosa; basándose no solo en su instinto y mucho menos por
medio del azar si no poniendo a funcionar su lógica. La cual se desarrolla por procesos de
acumulación de conocimiento y experiencia.
La lógica proposicional es fundamental en el desarrollo de la lógica, y se basa en la
evaluación de los enunciados o proposiciones para determinar su validez soportada en el
razonamiento y el análisis de estos. Siendo además parte fundamental del conocimiento,
con el cual cuenta el hombre desde sus mismos inicios hasta nuestros días, debido a esta
evolución, podríamos afirmar que el hombre es un ser pensante y razonante, el cual se
apoya en la lógica.
Bibliografía

(s.f.). https://es.slideshare.net/ppsmatematica/cuantificadores-37426724.

(s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591.

(s.f.). https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional.

(s.f.).

(s.f.). (s.f.). https://es.slideshare.net/ppsmatematica/cuantificadores-37426724.

(s.f.). (s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591.

(s.f.).
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=
3226457&tm=1529246259924.

(s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID
=3199701&tm=1529335849013.

(s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591.

(s.f.). http://hdl.handle.net/10596/7961.

(s.f.). http://hdl.handle.net/10596/13871.

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

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=3226
457&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=319
9701&tm=1529335849013

Cuantificadores

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=31
99701&tm=1529510366591

Potrebbero piacerti anche