Tarea 1 - Proposiciones y Tablas de Verdad

Estudiante

Cindy Rojas Giraldo

Docente

Ciro Efraín Martínez Báez

Curso

Pensamiento Lógico y Matemático

Grupo

20011_160

Bogotá D.C.

Marzo 2019
 Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

A. Si Laura chatea en su celular y conduce por la autopista entonces

Laura tiene una alta probabilidad de accidentarse o Laura puede dañar su

automóvil

B. Aprender matemáticas desarrolla el razonamiento lógico si y solo

si se posee una buena comprensión lectora y buena ortografía

C. Pereira es el nombre de una ciudad o Pereira es un apellido,

entonces Pereira es un sustantivo

D. Juan juega básquet por hobby o practica tenis de forma

profesional. Si practica tenis de forma profesional entonces juega por más de

tres horas diarias y quema muchas calorías.

E. Si Lina consume alimentos balanceados y practica ejercicio

regularmente, entonces goza de buena salud. Si Lina no practica ejercicio

regularmente o se dedica a otras actividades, no gozará de buena salud.

A partir del argumento que haya seleccionado deberá dar respuesta a los

siguientes ítems:

El ejercicio a desarrollar es la letra C.

  Definir las proposiciones simples del argumento.

P: Pereira es el nombre de una ciudad

q: Pereira es un apellido

r: Pereira es un sustantivo.

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

(p˅q) ͢ r

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

Ilustración 1. JTabla-resultados, UNAD.

  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.
 Ilustración 2. Proposiciones y tabla de verdad.

Fuente: [ CITATION Roj19 \l 22538 ]

Se determinó que es una Contingencia ya que sus valores son verdaderos y

falsos y depende de la valoración de los símbolos proposicionales dando un valor

positivo y negativo.

Bibliografía
Cardona Torres, S. A. (2010-01-01). Lógica matemática para ingeniería de sistemas y
computación. En S. A. Torres, Lógica matemática para ingeniería de sistemas y
computación (pág. 140). Ediciones Elizcom.

Rodríguez Vallejo, R. (2013-01-01). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. En R.
Rodríguez Vallejo, Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos (pág. 698). Editorial
Tébar Flores.