Tarea1 Proposiciones y Tablas de Verdad

Trabajo individual
Tarea1 Proposiciones y tablas de verdad
Laudith Noraima Ortega García
Curso: 200611
Curso Pensamiento lógico matemático
Grupo: (200611A_614)
Norbey Romero
tutor
Periodo 16-04 administración en salud
Universidad Nacional Abierta Y A Distancia Unad
Cucutilla Norte De Santander
2019
Introducción
El propósito de este trabajo es que los estudiantes desarrollen mas habilidades para
desarrollar ejercicios de proporciones y tablas de verdad dando como resultados
tautologías, contradicción o contingencias y así puedan analizar muy bien cada uno de los
ejercicios al momento de hacerlos.
Objetivos
 Analizar los ejercicios de Proposiciones y tablas de verdad para poder desarrollarlos

de forma correcta.
 Demostrar más interés de parte de los estudiantes para poder desarrollar lo
ejercicios de preposiciones y tablas de verdad.
 Este trabajo consiste en que los estudiantes puedan descubrir más habilidades para
hacer sus ejercicios y todo lo que se establezca en las guías de aprendizaje para
desarrollar.
Ejercicio 1 Conceptualización de Cuantificadores
Ejercicio 2
Ejercicio 2: Proposiciones y Tablas de verdad

Argumento
C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.
Definir las proposiciones simples del argumento.
• Definir la expresión del argumento en lenguaje simbólico o formal.
• 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)
• 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.
Solución:
 p = Empresas estadounidenses
q = pueden negociar
r = Empresas chinas
s = Google es una empresa estadounidense
t = Huawei es una empresa china tiene Android de Google.
 [(p q) ( q) r) ( s) t)]
 Tabla de verdad con el simulador Lógica UNAD
• Tabla de verdad manualmente
p q r s t ((p→q)∨(q)→r)∨(s)∨(t)
v v v v v v
v v v v f v
v v v f v v
v v v f f v
v v f v v v
v v f v f v
v v f f v v
v v f f f f
v f v v v v
v f v v f v
v f v f v v
v f v f f v
v f f v v v
v f f v f v
v f f f v v
v f f f f v
f v v v v v
f v v v f v
f v v f v v
f v v f f v
f v f v v v
f v f v f v
f v f f v v
f v f f f f
f f v v v v
f f v v f v
f f v f v v
f f v f f v
f f f v v v
f f f v f v
f f f f v v
f f f f f f
• Resultado de la tabla de verdad: contingencia
Ejercicio 3: Problemas de aplicación
 Expresión formal o simbólica

[(p⋁q) ⟷ r]
 Definición de las proposiciones simples:
p: Carlos es agricultor
q: Trabaja cinco días a la semana
r: El dedica mucho tiempo al trabajo
 Lenguaje natural de la expresión formal:
Carlos es agricultor y trabaja cinco días a la semana entonces, el dedica mucho

tiempo al trabajo.
 Tabla de verdad con el simulador lógica UNAD
 Tabla de verdad manualmente

p q r ((p∨q)↔r)
v v v v
v v f f
v f v v
v f f f
f v v v
f v f f
f f v f
f f f v
 Resultado de la tabla de verdad: CONTINGENCIA.
Conclusiones
 Se analizaron los ejercicios de Proposiciones y tablas de verdad para poder
desarrollarlos de forma correcta.
 Se demostró más interés de parte de los estudiantes para poder desarrollar lo
ejercicios de preposiciones y tablas de verdad.
 Este trabajo consistió en que los estudiantes puedan descubrir más habilidades para
hacer sus ejercicios y todo lo que se establezca en las guías de aprendizaje para
desarrollar.
Bibliografía
 http://logicaunad.com/jtruth/resolver.php
 http://logicaunad.com/jtruth/resolver.php
 https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591
 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.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Tarea1 Proposiciones y Tablas de Verdad - Laudith Noraima Ortega García

Cargado por

Copyright:

Formatos disponibles

Tarea1 Proposiciones y Tablas de Verdad - Laudith Noraima Ortega García

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea1 Proposiciones y Tablas de Verdad - Laudith Noraima Ortega García

Cargado por

Copyright:

Formatos disponibles

Trabajo individual

Laudith Noraima Ortega García

Curso Pensamiento lógico matemático

Periodo 16-04 administración en salud

Universidad Nacional Abierta Y A Distancia Unad

Cucutilla Norte De Santander

 Analizar los ejercicios de Proposiciones y tablas de verdad para poder desarrollarlos

Ejercicio 2: Proposiciones y Tablas de verdad

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una

empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de

Definir las proposiciones simples del argumento.

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

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

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

s = Google es una empresa estadounidense

t = Huawei es una empresa china tiene Android de Google.

• Resultado de la tabla de verdad: contingencia

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica

 Definición de las proposiciones simples:

 Lenguaje natural de la expresión formal:

Carlos es agricultor y trabaja cinco días a la semana entonces, el dedica mucho

 Tabla de verdad con el simulador lógica UNAD

 Tabla de verdad manualmente

 Resultado de la tabla de verdad: CONTINGENCIA.

También podría gustarte