Proposiciones simples

Jorleidis Janit Valdez miranda

Código: (1047450885)
No. grupo: 200611_1026

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela ciencia básicas, tecnología e ingeniería

Ingeniera industrial

Pensamiento lógico y matemático

Cartagena - Colombia
2019

 Yader blandon
 2

Introducción
La importancia del presente trabajo es dar a conocer el desarrollo de los ejercicios planteados
como la lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,
cuantificadores temas que desconocía y de ahora en adelante pondré en práctica lo aprendido como
aprender a identificar cuando hay uno o más elementos en un conjunto y así mismo ser capaz de
formar proposiciones de mayor o menor complejidad.
 3

Objetivos

Objetivo General

Conocer los conceptos y métodos de la lógica proposicional para realizar demostraciones.

Objetivos Específicos

 Explorar y analizar prácticas de desarrollo que vayan orientado al buen desempeño de

las preposiciones simples.

 Aprender a identificar las clases de proposiciones simples para poder simbolizarlas.

 Observar y detallar los problemas de la tabla de verdad para así definir sus argumentos.
 4

1.

Tema seleccionado:

“Voy a desarrollar los ejercicios D”

5
 6

2.

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa entonces
escribirá poemas.

Proporciones simples

P= Sofía estudia medicina

Q= Estudia literatura inglesa
R = Entonces escribirá poemas

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

[(p v q) ^ (q →r)]
 7

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

- 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

p q r (p v q) (q →r) [(p v q) ^ (q

→r)]

V V V V V V

V V F V F F

V F V V V V

V F F V V V

F V V V V V

F V F V F F

F F V F V F

F F F F V F

El resultado es: CONTIGENCIA

 9

Ejercicio 3.

-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: Kiara estudia ingeniera industrial en la unad

Q: Obtiene excelentes notas

R: Kiara se gradúa de ingeniera industrial

S: presta sus servicios como docente de ingeniera industrial en la unad

Kiara estudia ingeniera industrial en la unad “o”btiene excelente notas “y” sobre todo tiene

un buen desempeño “y” Obtiene excelentes notas “entonces” kiara se gradúa de ingeniera

industrial “y” presta sus servicios como docente de ingeniera industrial en la unad compartiendo

su experiencias con los demás .

 10

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

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r 𝑠 (pvq) ⋀ 𝑞 ⟶(𝑟 ⋀𝑠))

(pvq) q (𝑟 ⋀𝑠) (𝑝 v𝑞) ⋀ (𝑞 ⟶(𝑟

⋀𝑠))

V V V V V V V V V

V V V F V V F F F

V V F V V V F F F

V V F F V V F F F

V F V V V F V V V

V F V F V F F V V

V F F V V F F V V

V F F F V F F V V

F V V V V F V V V

F V V F V V F F F

F V F V V V F F F

F V F F V V F F F

F F V V F F V V F

F F V F F F F V F

F F F V F F F V F

F F F F F F F V F
 12

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

contingencia:

El resultado es contingencia
 13

Conclusión

A través de este trabajo pude conocer y poner en práctica temas de los cuales no conocía y

mucho menos tenia manejo, gracias a este trabajo pude enriquecer mis conocimientos de forma

clara y precisa adquiriendo así un gran aporte al avance de mi carrera.

 14

Bibliografía

https://es.wikipedia.org/wiki/Cuantificador#Cuantificaci%C3%B3n_existencial_%C3%BAni

ca

https://www.google.com/search?biw=1366&bih=662&ei=87GdW_ztHIW55gKApIrYDQ&q

=SIGNIFICADOS+cuantificador+existencial+unico&oq=SIGNIFICADOS+cuantificador+existe

ncial+unico&gs_l=psy-

ab.3...392112.396472.0.396881.13.13.0.0.0.0.285.1848.0j6j4.10.0....0...1c.1.64.psy-

ab..3.2.363...0i13k1j0i13i30k1j0i13i5i30k1.0.WfwxGILe6s8

https://es.wikipedia.org/wiki/Cuantificador

Lau, Joe; Chan, Jonathan. «Sentential logic». Critical Thinking Web (en inglés). Consultado el
11 de diciembre de 2015.

Klement, Kevin. «Propositional Logic». The Internet Encyclopedia of Philosophy (en inglés).
Massachusetts, Estados Unidos. Consultado el 11 de diciembre de 2015.

Aho, Alfred V.; Ullman, Jeffrey D. (1994). Foundations of Computer Science: C Edition (en
inglés) (1.ª edición). Estados Unidos: W. H. Freeman. p. 786. ISBN 978-071-67-8284-1.

Grimaldi, Ralph (1998). Matemáticas discreta y combinatoria (3.ª edición). Massachusetts,

Estados Unidos: Addison Wesley Longman.