Paso 2. Logica Matematica

Cada estudiante debe seleccionar uno de los ejercicios referenciados y
anunciar su escogencia en el foro, de tal forma que no coincida con los

compañeros.
Actividades a desarrollar
Tarea 1: Proposiciones
Transcribir en el lenguaje natural la expresión formal que se relaciona y

determinar el valor de verdad de la proposición compuesta, a partir del
valor de verdad de cada proposición simple:
B) p: El rector de la UNAD es Jaime Alberto Leal Afanador
q: La UNAD es una institución de carácter público
r: En la UNAD se estudia de forma presencial
[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)
Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces En la

UNAD se estudian de forma presencial y esta es una Institución de
carácter público. Si y solo si en la UNAD no se estudia de forma
presencial o la UNAD no es una institución de carácter público.
p: V q: V r: F
[(𝒑→𝒓 ∧ 𝒒] ↔ (¬ 𝒓 ∨¬𝒒)
[(V→F) ∧ V] ↔ (V ∨ F)
[(F) ∧ V] ↔ (V ∨ F)
[F] ↔ (V)
F
Tarea 2: Tablas de verdad

compañeros.
La solución de los enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico o formal. 
 Generar la tabla de verdad manualmente y a través del
simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus
simulador Truth Table.
B) Si El sol es redondo y la luna es un satélite si y solo si la tierra hace

parte de la vía láctea.
p: El sol es redondo
q: La luna es un satélite
r: La tierra hace parte de la vía láctea
 Expresión de lenguaje simbológico
(p ∧ q ) ↔ r
 Generar la tabla de verdad manualmente y a través del simulador
Truth Table.


Lenguaje en el simulador :
(p & q ) = r
Tarea 3: Problemas de aplicación

compañeros.
Desde su rol como estudiante, tendrá la libertad de definir las
proposiciones simples bajo una descripción basada en el contexto
académico, remplazando las variables expresadas simbólicamente para
llevarlas al lenguaje natural.
La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples
 Lenguaje natural de la expresión formal
Truth Table.
 Definir si el argumento es una Tautología, contradicción o
contingencia
B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
 Definición de las proposiciones simples
p: la casa es de color blanco
q: construida de 2 pisos
r: ventanas en aluminio
s: se observa la cordillera
t: el fin del mundo
 Lenguaje natural de la Expresión Formal

Si la casa en de color blanco entonces es construida de 2 pisos y consta
de ventanas en aluminio por tanto se observa entonces la cordillera.
Además de es construida de 2 pisos también observamos la cordillera.
Por tanto el fin del mundo. Así como la casa es de color blanca y consta
de ventanas en aluminio entonces si se observa el fin del mundo.
Truth Table.
B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
p q r s t { (𝑝⟶𝑞) (𝑟⟶𝑠) (𝑞∧𝑠) (𝑝∧𝑟) {(𝑝⟶𝑞)∧(𝑟⟶𝑠) [(𝑞∧𝑠)⟶𝑡] {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡] (𝑝∧𝑟)}⟶𝑡 {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

v v v v v v v v v v v v v v
v v v v f v v v v v v v f v
v v v f v v f f v f f f v v
v v v f f v f f v f f f f v
v v f v v v v v f v v v f v
v v f v f v v v f v v v f v
v v f f v v v f f v v v f v
v v f f f v v f f v v v v f
v f v v v f v f v v f f v v
v f v v f f v f v v f f v v
v f v f v f f f v v f f v v
v f v f f f f f v v f f v v
v f f v v f v f f v f f f v
v f f v f f f f f v f f v v
v f f f v f v f f v f f f v
v f f f f f v f f f f f v v
f v v v v v v v f v v v f v
f v v v f v v v f v v v v v
f v v f v v f f f f f f v v
f v v f f v f f f f f f v v
f v f v v v v v f v v v v v
f v f v f v v v f v v v v v
f v f f v v v f f v v v v v
f v f f f v v f f v v v v v
f f v v v v v f f v v v v v
f f v v f v v f f v v v v v
f f v f v v f f f f f f v v
f f v f f v f f f f f f v v
f f f v v v v f f v f f v v
f f f v f v v f f v v v v v
f f f f v v v f f v v v v v
f f f f f v v f f v v v v v
En lenguaje del simulador
((p>q)&(r>s)&((q&s)>t)&(p&q))>t
Los resultados arrojados por la tabla de la verdad y en el
simulador Truth Table si coinciden.
 Definir si el argumento es una Tautología, contradicción o
contingencia.
El argumento es una Contingencia. Ya que encontramos en los
componentes simple una Falsa. Lo que quiere decir que es un
afrgmento Invalido.

Paso 2. Logica Matematica

Cargado por

Copyright:

Formatos disponibles

Paso 2. Logica Matematica

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

Paso 2. Logica Matematica

Cargado por

Copyright:

Formatos disponibles

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

anunciar su escogencia en el foro, de tal forma que no coincida con los

Transcribir en el lenguaje natural la expresión formal que se relaciona y

B) p: El rector de la UNAD es Jaime Alberto Leal Afanador

q: La UNAD es una institución de carácter público

r: En la UNAD se estudia de forma presencial

[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)

Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces En la

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

La solución de los enunciados debe contar con las siguientes etapas:

B) Si El sol es redondo y la luna es un satélite si y solo si la tierra hace

 Expresión de lenguaje simbológico

Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

p: la casa es de color blanco

t: el fin del mundo

 Lenguaje natural de la Expresión Formal

de ventanas en aluminio por tanto se observa entonces la cordillera.

Además de es construida de 2 pisos también observamos la cordillera.

de ventanas en aluminio entonces si se observa el fin del mundo.

 Generar la tabla de verdad manualmente y a través del simulador

p q r s t { (𝑝⟶𝑞) (𝑟⟶𝑠) (𝑞∧𝑠) (𝑝∧𝑟) {(𝑝⟶𝑞)∧(𝑟⟶𝑠) [(𝑞∧𝑠)⟶𝑡] {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡] (𝑝∧𝑟)}⟶𝑡 {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

En lenguaje del simulador

simulador Truth Table.

Los resultados arrojados por la tabla de la verdad y en el

simulador Truth Table si coinciden.

 Definir si el argumento es una Tautología, contradicción o

componentes simple una Falsa. Lo que quiere decir que es un

También podría gustarte