Trabajo - Lógica y cálculo proposicional

Estudiantes
Karen Evila Perpiñan Suarez
CC. 1063955677

Leonardo Fabio Gámez Maestres

CC. 84104794

Rafael Andrés Martínez Lagares

CC. 1017209426

Yovanis León Rincón

CC. 5092879

Eduar León
CC. 5092509

Tutor JORGE FERNADO VAGAS

Curso - Lógica y cálculo proposicional

Código: 511016
 Universidad Nacional abierta Y A Distancia

Introducción

En el siguiente trabajo se pretende dar a conocer todo lo relacionado con el tema de la lógica
proposicional, reconociendo a este como una expresión natural o común que puede tener una
solución verdadera o falsa, además se pueden identificar sus diferentes conectivos lógicos
teniendo en cuenta sus características primordiales dentro de una expresión o razonamiento.
Igualmente en este mismo sentido se pretende esclarecer en que consiste la tabla de verdad y que
de esta depende si una proposición tiene una interpretación Booleanas, equivalencia lógica de
contingencia o de contradicción. Teniendo en cuenta estas bases teóricas fue posible interpretar
diferentes proposiciones dadas en la guía y realizar las diferentes formalizaciones de todas
aquellas proposiciones identificando finalmente su conclusión.
1 Elaboren un cuadro resumen con las definiciones a utilizar y comprender en el
desarrollo de esta unidad.
Resumen

En Lógica Simbólica el primer concepto a estudiar es Proposición que no es más

que una expresión de la cual se puede decir que es verdadera o falsa, el álgebra de
Boole se representa el valor verdadero con 1 y 0 donde 1 es encendido y cero es
abierta.

Existen Proposiciones Simples que son aquellas que poseen conectivos lógicos y las
compuestas las que poseen conectivos lógicos como son la Conjunción (y),
disyunción exclusiva (o), disyunción inclusiva (o), implicación (), doble
implicación () y negación ().

Ejemplo de proposición simple:

María es docente de primaria

Ejemplo de proposición compuesta:

María es docente de primaria y es pintora

Las tablas de verdad de los conectivos lógicos son:

Conjunción

p q pq
v v V
v f V
f v F
f f f
 Disyunción Inclusiva

p q Pvq
v v V
v f V
f v v
f f f

Disyunción exclusiva

p q pq
v v f
v f V
f v v
f f f

Implicación

p q pq
v v f
v f V
f v v
f f f

Doble Implicación

p q pq
v v V
v f F
f v F
f f v

Proposición Es una expresión u oración a la cual se le pueden dar

dos valores verdadero o falso. A cualquiera de estos
 valores se les llama valor de verdad de la proposición.
Ejemplo José es docente; El Sol es una estrella; La UNAD
es una universidad.
Encontramos 2 tipos de proposiciones Abiertas y
Cerradas.
Cerradas: de las cuales se puede dar 1 valor de verdad
sea verdadero o falso ejemplo Colombia es un país
subdesarrollado.

Abiertas: son aquellas que no tiene explicito el sujeto y

su valor de verdad depende de varios factores como
tiempo, lugar etc. Ejemplo Pedro es un artista
Valor de las proposiciones Es asignarle un Valor de verdad el cual puede ser
verdadero o falso pero no los dos a la vez. Es decir solo
se le puede asignar uno solo de los valores es decir se a
verdadero o falso
Negación de una proposición Es anteponerle a la expresión la frase No es cierto o uno
equivalente como “No”,

Ejemplo: No es cierto que el Sol es una estrella

Proposición simple Es aquella que carece de un conectivo lógico. Es decir
no tiene los conectores lógicos que la unan a otra
proposición. Ejemplo: La Tierra es redonda
Proposición compuesta Es aquella que tiene conectivos lógicos como la
disyunción, conjunción. Condicional. Bicondicional o
negación
Ejemplo: Mañana tendré examen de Sociales y de
Matemáticas
Conectivos Lógicos Son palabras que conectan proposiciones y sirven para
formar proposiciones compuestas los conectivos lógicos
son: la disyunción, conjunción. Condicional.
Bicondicional o negación

Tablas de verdad Es una tabla donde se recopilan los valores de verdad

de unas proposiciones compuestas. Encontramos que
cada conectivo lógico tiene una tabla de verdad.

La cantidad de valor de valores (niveles) de una tabla de

verdad depende del número de proposiciones con las
que se esté trabajando. Numero de niveles 2n donde el
2 representa el número de valores y n número de
proposiciones.
22 = 4 es decir 4 niveles; 23= 8 niveles
Interpretaciones Booleanas Es el valor de verdad de una expresión el cual puede ser
 verdadero (true) o falso (false). En número binario 1 es
verdadero y 0 es falso
Equivalencia Lógica Es cuando el valor de verdad de una proposición es
igual a otra proposición. Para determinar si los valores
de verdad son iguales desarrollamos la tabla de verdad
Satisfacibiliad o contingencia Es cuando en una tabla de verdad existe al menos un
valor verdadero al desarrollar dicha tabla
Insatisfabilidad o Es cuando no existe ningún valor de verdad verdadero
contradicción al desarrollar la tabla de una proposición

2 Completar el cuadro:

3. De acuerdo con el nombre, conectivo lógico y símbolo presentado en la siguiente tabla:

Nombre Conectivo Lógico Símbolo

Conjunción y 
Disyunción inclusiva O v
Disyunción exclusiva O 
Condicional Si…. entonces 
Bicondicional Si y solo si 

Complete el siguiente cuadro con ejemplos relacionados con su cotidianidad

PROPOSICIÓN VALOR NEGACION DE LA VALOR

PROPOSICION
p: Leonardo estudia en la UNAD v(p)= v ¬ p: Leonardo no estudia en la ¬v(p)= f
UNAD
q: La tienda es un negocio que v(q)= v ¬ q: No es cierto que la tienda ¬v(q)= f
suministra la comida diaria es un negocio que suministra la
comida diaria
r: La motocicleta sirve para v(r)= v ¬ r: La motocicleta no sirve para ¬v(r)= f
transportarse transportarse
S: La UNAD nos proporciona una v(s)= v ¬ s: La UNAD nos proporciona ¬v(s)= f
educación de calidad una educación de calidad
t: el propósito de la vida es amor v(t)= v ¬t: No es cierto que el propósito ¬v(t)= f
de la vida es amor
 4. En un cuadro comparativo establezcan las diferencias y semejanzas entre los
diversos conectivos lógicos con ejemplos prácticos que permitan su interpretación.

Conectivos Semejanzas Diferencias

Conjunción (y) y Que cuando las dos Que en la conjunción con
Disyunción Inclusiva (o) proposiciones a las que una proposición que sea
se les está haciendo la falsa el resultado de
tabla de verdad son ambas proposiciones
verdaderas en ambos será falso
caso será verdadera
Conjunción (y) y Que si ambas En que en la conjunción
Disyunción Exclusiva (o) proposiciones son falsas por lo menos si existe
el resultado de la tabla una proposición falsa el
de verdad será falso resultado en la tabla de
verdad será falso, en la
Disyunción Exclusiva con
un valor verdadero en la
tabla de verdad el
resultado será verdadero
Condicional() y el Que el consecuente Que el condicional es una
Bicondicional implica que se dé el condición necesaria pero
consecuente, es decir no suficiente para que se
una proposición implica a de la otra condición. En
la otra el BIcondicional una
proposición implica a la
otra es decir una es
necesaria para que la
otra proposición se de
5. Dadas las siguientes proposiciones, defina una interpretación para cada uno de los
átomos y evalúen mediante su valor de verdad, cada proposición. Asignen con ejemplos
propios los valores del átomo respectivo.

p: Hay oxígeno en el planeta tierra (Verdad)

q: Se necesita oxígeno para la combustión (Verdad)
r: Hay oxígeno en el espacio (Falso)
s: No se necesita oxígeno para vivir (Falso)

¬p: No hay oxígeno en el planeta tierra (Falso)

¬q: No se necesita oxígeno para la combustión (Falso)
¬r: No hay oxígeno en el espacio (Verdad)
¬s: Se necesita oxígeno para vivir (Verdad)

Proposición Interpretación Evaluación proposición

No hay oxígeno en el
¬ (V ˄ ¬V) ˄ (¬F ˄ ¬F)
planeta y se necesita
¬ (V ˄ F) ˄ (V ˄ V)
¬ (p ˄ ¬q) ˄ (¬r ˄ ¬s) oxígeno para la
¬ (F) ˄ (V)
combustión; y no hay
V˄V
oxígeno en el espacio y se
V
necesita oxígeno para vivir
Hay oxígeno en el planeta
tierra y no se necesita (V ˄ ¬V) ˄ (F ˄ F)
oxígeno para la (V ˄ F) ˄ (F ˄ F)
(p ˄ ¬q) ˄ (r ˄ s)
combustión; y hay oxígeno F˄F
en el espacio y no se F
necesita oxígeno para vivir
No hay oxígeno en el
planeta o no se necesita (¬V ∨ ¬V) v ¬ (F ∨¬ F)
oxígeno para la (F ∨ F) v ¬ (F ∨ V)
(¬p ∨ ¬q) v ¬ (r ∨¬ s) combustión; o no hay F v ¬V
oxígeno en el espacio o no FvF
se necesita oxígeno para F
vivir
No hay oxígeno en el
planeta tierra o No se ¬ (V ∨ V) v (¬F ∨ ¬F)
necesita oxígeno para la ¬ (V) v (V ∨ V)
¬ (p ∨ q) v (¬r ∨ ¬s)
combustión; o No hay FvV
oxígeno en el espacio o Se V
necesita oxígeno para vivir
No hay oxígeno en el
(¬V ⨂ ¬V) v ¬ (F ⨂ ¬F)
planeta tierra ó No se
(F ⨂ F) v ¬ (F ⨂ V)
necesita oxígeno para la
(¬p ⨂ ¬q) v ¬ (r ⨂ ¬s) F v ¬ (V)
combustión; o Hay oxígeno
FvF
en el espacio ó Se necesita
F
oxígeno para vivir
No hay oxígeno en el
planeta tierra ó No se ¬ (V ⨂ V) ˄ (¬F ⨂ ¬F)
necesita oxígeno para la ¬ (F) ˄ (V ⨂ V)
¬ (p ⨂ q) ˄ (¬r ⨂ ¬s)
combustión y No hay V˄F
oxígeno en el espacio ó Se F
necesita oxígeno para vivir
(¬p → ¬q) → ¬ (r →¬s) No hay oxígeno en el (¬V → ¬V) → ¬ (F →¬F)
planeta tierra entonces No (F → F) → ¬ (F →V)
se necesita oxígeno para la V → ¬ (V)
 combustión; entonces No
hay oxígeno en el espacio V→F
entonces No se necesita F
oxígeno para vivir
No hay oxígeno en el
planeta tierra entonces No
¬ (V → V) → (¬F →¬F)
se necesita oxígeno para la
¬ (V) → (V → V)
¬ (p → q) → (¬r →¬s) combustión; entonces No
F→V
hay oxígeno en el espacio
V
entonces Se necesita
oxígeno para vivir
Hay oxígeno en el planeta
tierra si y solo si No se
(V ↔ ¬V) ↔ ¬ (F ↔ F)
necesita oxígeno para la
(V ↔ F) ↔ ¬ (V)
(p ↔ ¬q) ↔ ¬ (r ↔ s) combustión; si y solo si No
F↔F
hay oxígeno en el espacio si
V
y solo si se necesita
oxígeno para vivir
No hay oxígeno en el
planeta tierra si y solo si Se (¬V ↔ V) ↔ ¬ (F ↔¬F)
necesita oxígeno para la (F ↔ V) ↔ ¬ (F ↔ V)
(¬p ↔ q) ↔ ¬ (r ↔¬s) combustión; si y solo si No F ↔ ¬ (F)
hay oxígeno en el espacio si F↔V
y solo si No se necesita F
oxígeno para vivir

6. Definan desde su argumentación el concepto de tablas de verdad y a su vez, elaboren

los valores constantes para p con dos (2) y cuatro (4) formulas atómicas, según la
siguiente disposición:
Tabla de verdad: Las tablas de verdad son un método para saber si una proposición
compuesta es verdadera o es falsa.

p q (p ˄ q) (p ˅ q) (p  q) (p → q) (p ↔ q)
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

p q r (p ˄ q) (p ˅ r) (q  r) (p → r) (p ↔ r)
V V V V V F V V
V V F V V V F F
V F V F V V V V
 V F F F F F F F
F V V F V F V F
F V F F V V V V
F F V F V V V F
F F F F F F V V

7. Completen la tabla de verdad para las siguientes fórmulas proposicionales. a.

(p ⋁¬q) → (p ⋀¬q)

p q ¬p ¬q (p ˅ ¬q) ¬ (p ˅ ¬q) (p ˄ ¬q) ¬ (p ˅ ¬q) → (p ˄ ¬q)

V V F F V F F V
V F F V V F V V
F V V F F V F F
F F V V V F F V

5. Dadas las siguientes proposiciones, defina una interpretación para cada uno de los
átomos y evalúen mediante su valor de verdad, cada proposición. Asignen con ejemplos
propios los valores del átomo respectivo.

p: Hay oxígeno en el planeta tierra (Verdad)

q: Se necesita oxígeno para la combustión (Verdad)
r: Hay oxígeno en el espacio (Falso)
s: No se necesita oxígeno para vivir (Falso)

¬p: No hay oxígeno en el planeta tierra (Falso)

¬q: No se necesita oxígeno para la combustión (Falso)
¬r: No hay oxígeno en el espacio (Verdad)
¬s: Se necesita oxígeno para vivir (Verdad)

Proposición Interpretación Evaluación proposición

No hay oxígeno en el
¬ (V ˄ ¬V) ˄ (¬F ˄ ¬F)
planeta y se necesita
¬ (V ˄ F) ˄ (V ˄ V)
¬ (p ˄ ¬q) ˄ (¬r ˄ ¬s) oxígeno para la
¬ (F) ˄ (V)
combustión; y no hay
V˄V
oxígeno en el espacio y se
V
necesita oxígeno para vivir
(p ˄ ¬q) ˄ (r ˄ s) Hay oxígeno en el planeta (V ˄ ¬V) ˄ (F ˄ F)
tierra y no se necesita (V ˄ F) ˄ (F ˄ F)
oxígeno para la F˄F
combustión; y hay oxígeno F
 en el espacio y no se
necesita oxígeno para vivir
No hay oxígeno en el
planeta o no se necesita (¬V ∨ ¬V) v ¬ (F ∨¬ F)
oxígeno para la (F ∨ F) v ¬ (F ∨ V)
(¬p ∨ ¬q) v ¬ (r ∨¬ s) combustión; o no hay F v ¬V
oxígeno en el espacio o no FvF
se necesita oxígeno para F
vivir
No hay oxígeno en el
planeta tierra o No se ¬ (V ∨ V) v (¬F ∨ ¬F)
necesita oxígeno para la ¬ (V) v (V ∨ V)
¬ (p ∨ q) v (¬r ∨ ¬s)
combustión; o No hay FvV
oxígeno en el espacio o Se V
necesita oxígeno para vivir
No hay oxígeno en el
(¬V ⨂ ¬V) v ¬ (F ⨂ ¬F)
planeta tierra ó No se
(F ⨂ F) v ¬ (F ⨂ V)
necesita oxígeno para la
(¬p ⨂ ¬q) v ¬ (r ⨂ ¬s) F v ¬ (V)
combustión; o Hay oxígeno
FvF
en el espacio ó Se necesita
F
oxígeno para vivir
No hay oxígeno en el
planeta tierra ó No se ¬ (V ⨂ V) ˄ (¬F ⨂ ¬F)
necesita oxígeno para la ¬ (F) ˄ (V ⨂ V)
¬ (p ⨂ q) ˄ (¬r ⨂ ¬s)
combustión y No hay V˄F
oxígeno en el espacio ó Se F
necesita oxígeno para vivir
No hay oxígeno en el
planeta tierra entonces No (¬V → ¬V) → ¬ (F →¬F)
se necesita oxígeno para la (F → F) → ¬ (F →V)
(¬p → ¬q) → ¬ (r →¬s) combustión; entonces No V → ¬ (V)
hay oxígeno en el espacio V→F
entonces No se necesita F
oxígeno para vivir
No hay oxígeno en el
planeta tierra entonces No
¬ (V → V) → (¬F →¬F)
se necesita oxígeno para la
¬ (V) → (V → V)
¬ (p → q) → (¬r →¬s) combustión; entonces No
F→V
hay oxígeno en el espacio
V
entonces Se necesita
oxígeno para vivir
(p ↔ ¬q) ↔ ¬ (r ↔ s) Hay oxígeno en el planeta (V ↔ ¬V) ↔ ¬ (F ↔ F)
tierra si y solo si No se (V ↔ F) ↔ ¬ (V)
necesita oxígeno para la F↔F
 combustión; si y solo si No
hay oxígeno en el espacio si
V
y solo si se necesita
oxígeno para vivir
No hay oxígeno en el
planeta tierra si y solo si Se (¬V ↔ V) ↔ ¬ (F ↔¬F)
necesita oxígeno para la (F ↔ V) ↔ ¬ (F ↔ V)
(¬p ↔ q) ↔ ¬ (r ↔¬s) combustión; si y solo si No F ↔ ¬ (F)
hay oxígeno en el espacio si F↔V
y solo si No se necesita F
oxígeno para vivir

6. Definan desde su argumentación el concepto de tablas de verdad y a su vez, elaboren

los valores constantes para p con dos (2) y cuatro (4) formulas atómicas, según la
siguiente disposición:
Tabla de verdad: Las tablas de verdad son un método para saber si una proposición
compuesta es verdadera o es falsa.

p q (p ˄ q) (p ˅ q) (p  q) (p → q) (p ↔ q)
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

p q r (p ˄ q) (p ˅ r) (q  r) (p → r) (p ↔ r)
V V V V V F V V
V V F V V V F F
V F V F V V V V
V F F F F F F F
F V V F V F V F
F V F F V V V V
F F V F V V V F
F F F F F F V V

7. Completen la tabla de verdad para las siguientes fórmulas proposicionales. a.

(p ⋁¬q) → (p ⋀¬q)

p q ¬p ¬q (p ˅ ¬q) ¬ (p ˅ ¬q) (p ˄ ¬q) ¬ (p ˅ ¬q) → (p ˄ ¬q)

V V F F V F F V
V F F V V F V V
 F V V F F V F F
F F V V V F F V

8. Formalizar a lógica proposicional los siguientes razonamientos. Para ello se debe

elaborar las proposiciones atómicas y su representación lógica. Finalmente, presenten las
conclusiones respectivas.

a. Si la complejidad computacional del algoritmo es logarítmica, será porque se

implementó un algoritmo muy eficiente y porque se aplicaron técnicas de optimización
del código.

Letras proposición Proposiciones atómicas

p La complejidad computacional del algoritmo es
q Es logarítmica
r Se implementó un algoritmo muy eficiente
s Porque se aplicaron técnicas de optimización del
código

Representación lógica

(p → q)  (r  s) Si la complejidad computacional del algoritmo es logarítmica, será

porque se implementó un algoritmo muy eficiente y porque se
aplicaron técnicas de optimización del código.

Conclusión.
Se observa que todas las afirmaciones son verdaderas por lo tanto, es una fórmula válida,
lo que significa que la complejidad computacional es logarítmica.

b. El bajo rendimiento de los estudiantes no logrará mejorarse a no ser que se logre

identificar su causa y se consiga encontrar alternativas adecuadas o bien para prevenirlo o
mejorarlo.

Letras proposición Proposiciones atómicas

p El bajo rendimiento de los estudiantes
q Lograr mejorarse
r A no ser que se logre identificar su causa
s Se consiga encontrar alternativas adecuadas
t Prevenirlo
m Mejorarlo
Representación lógica

(p ¬ q) v ( r  s) v ( t v El bajo rendimiento de los estudiantes no logrará mejorarse a

m) no ser que se logre identificar su causa y se consiga encontrar
alternativas adecuadas o bien para prevenirlo o mejorarlo.

Conclusión.
Se observa que la mayoría de las afirmaciones son verdaderas por lo tanto, es una fórmula
válida, lo que significa el rendimiento de los estudiantes solo puede mejorarse si se
identifican sus causas y se busque una solución pronta.

c. Si el américa gana la copa de futbol o llega a las finales, será debido a que tiene muy
buenos jugadores y a que tendrá la afición a su favor.

Letras proposición Proposiciones atómicas

p El américa gana la copa de futbol
q Llega a las finales
r Debido a que tiene muy buenos jugadores
s Tendrá la afición a su favor.

Representación lógica

(p v q)  ( r  s) Si el américa gana la copa de futbol o llega a las finales, será debido a

que tiene muy buenos jugadores y a que tendrá la afición a su favor.

Conclusión.
Se observa que la mayoría de las afirmaciones son verdaderas por lo tanto, es una fórmula
válida, lo que significa el América tiene gran probabilidad de llegar o ganar la final.

d. A no ser que haya derechos de petición, el resultado de la convocatoria saldrá

públicamente el jueves.

Letras proposición Proposiciones atómicas

p haya derecho de petición
q El resultado de la convocatoria saldrá públicamente el jueves

Representación lógica
 (v p ) → q A no ser que haya derechos de petición, el resultado de la
convocatoria saldrá públicamente el jueves.

Conclusión.
Se observa que las afirmaciones no son verdaderas ni falsas por lo tanto, es una fórmula
inválida, lo que significa el resultado de la convocatoria saldrá solo si hay un derecho de
petición
La UNAD es pública o lo es la universidad del Magdalena. Si la UNAD es pública, entonces
tiene acreditación de calidad. La universidad del Magdalena no tiene acreditación de
calidad, por tanto, la Universidad del Magdalena es pública. Para su desarrollo presente
en su solución los siguientes pasos:
Paso 1: Definición de las proposiciones atómicas

Letras proposición Proposición

ƿ UNAD es publica
q Universidad del Magdalena es publica
r Universidad del Magdalena tiene
acreditación

Paso 2: representación de los argumentos:

p
v q La UNAD y la Universidad de la magdalena
son pública
Ƿ→ La universidad del Madalena es publica
r entonces tiene acreditación
¬ La universidad del Magdalena no tiene
acreditación

Paso 3: validación de la tautología

ƿ q (ƿ q) ƿ→r) ¬r (p ⋁q) 𝖠 (p→ 𝑟) 𝖠

¬r
v V V V F V
V F V F V V
V V V V F V
v F V F V V
F V V V F V
F F V V V V
F V F V F V
F F F v V V
Paso: 4 al analizar la conclusión se observa que todas las interpretaciones son verdaderas,
por lo tanto, es una formula valida lo que significa que la universidad de la magdalena es
publica
a. Si juan mide 178 cm de altura entonces Nicolás es más alto que Juan. Si juan o
Nicolás son altos, entonces Juan es más bajo que Nicolás.
Paso: 1 Definición de las proposiciones atómicas

Letras proposición Proposiciones atómicas

Ƿ Juan mide 178cm de altura
q Nicolás es más alto que Juan
r Juan o Nicolás son altos

Paso: 2 representación de los argumentos

ƿ→ q Juan mide 178cm de altura entonces

Nicolás es más alto que Juan
r→ q Entonces Nicolás es Más alto que Juan

ƿ q r Ƿ q→ rq→ (ƿ →q) ^ (r→ q)

V V V V V V
V V F V V V
V F V F F F
V F F F V F
F V V V V V
F V F V V V
F F V F F F
F F F V V V

Paso 4 Al analizar la conclusión se observa, que no todas las Inter presentaciones no son

Verdaderas, por lo tanto, es una formula no valida que significa que Juan no es más bajo que
Nicolás.

B: las vacas solo están locas si no actúan normalmente o se dejan cuidar por su dueño

Paso 1: definición de las proposiciones atómicas

Letras proposición Proposiciones atómicas

 Ƿ Las vacas solo están locas
q Actúan normalmente
r Se dejan cuidar por su dueño

Paso 2: representación de los argumentos

Ƿ→¬ q Las vacas están locas si no que actúan

normalmente

Paso 3: validación de la tautología

Ƿ q r ¬ (Ƿ→¬q) ˅r
q
V V V F V
V V F F F
V F V V V
V F F V V
F V V F V
F f F V V
F V V V V
F F F V v

Paso: Al analizar la conclusión se observó que no todas las interpretaciones no son verdaderas
por lo que cabe que esta fórmula en inválida lo que significa, que las vacas no solo están locas si no
actúan normalmente o se dejan cuidar por su dueño

C: para que la gente el partido de futbol Santa fe o América el domingo, ese día no debe de llover.

Letras proposición Proposiciones atómicas

Ƿ Ganen el partido de futbol Santafé el domingo
q Ganen el partido de Américas el domingo
r Ese día debe llover

Paso 2: representación de los argumentos

Pvq Ganen el partido de futbol Santafé o América

el domingo
 →¬r Entonces no debe llover

Paso 3: validación de la tautología

p q r ¬r pv P v q→¬r
q
V V F V V F
V V V V V V
V F F V V f
V F V V V V
F V V F V F
F V F V V v
F F V F F v
F F F v F V

Paso 4: Al analizar el resultado se observó que no todas las Inter presentaciones son verdadera
por lo tanto esta es una formula invalida lo que significa que para ganen el partido de futbol de
Santafé o América el domingo, ese día no es necesario que no llueva

D Las prácticas pedagógicas se realizan en el Colegio A o en el Colegio B (no en ambos), sin

embargo, las prácticas se realizan en el Colegio B solo si el Colegio A esta con el cupo de
estudiantes.

Letras proposición Proposiciones atómicas

Ƿ Las prácticas pedagógicas se realizan en el
Colegio A
q Las prácticas se realizan en el Colegio B
r Colegio A esta con el cupo de estudiantes.

Paso 2:

Pvq Las prácticas se realizarán en el colegio A o B

Q ↔r Las practicas se realizarán en el colegio
B solo si el colegio A esta con el cupo de
estudiantes

Paso 3:

p q r (P v q) (r↔ q) (p v q)^(q ↔
r)
V V V V V V
V V F V F v
V F v V F f
V F F V F f
F V V V V v
 F V F V V v
F F V F F F
F F F F V F

Paso 4: Al analizar el resultado se observó que no todas las interpretaciones no son verdaderos,
por lo tanto, no es una formula invalida, lo que significa que las practicas pedagógicas no se
realizan en el colegio A o en el colegio B y que las practicas se realizan en el colegio b solo si el
colegio A esta en el cupo de estudiante
 Conclusión

El anterior trabajo fue realizado teniendo en cuenta las indicaciones claras de guía y el trabajo en
conjunto con los demás compañeros, además se tuvo en cuenta la lectura del capítulo 1, 2 y 3 del
libro “Con argumento Lógico: notas de matemáticas aplicadas”. En este se pudo identificar el
concepto de proposición, los diferentes conectivos o sus clases y el uso adecuado en una
proposición; de esta misma manera se pudo realizar la tabla de la verdad, formalizar una
proposición identificando las proposiciones atómicas y su representación lógica.

La debida formalización de las proposiciones se realizó de igual manera teniendo en cuenta el

desarrollo de la tautología, que permitía definir la conclusión si la fórmula proposicional era válida
o no, finalmente este resultado podría definir o concluir si la proposición fuera falsa o verdadera.