Trabajo Colaborativo 2

Lógica proposicional, tablas de verdad en proposiciones compuestas,

tautologías y contradicciones, proposiciones categóricas

Martha Lucia Arias P. 51.914.704

María del Rocío Bermúdez Parra 51.833.194
Luz Marina Rodríguez 51.834.664
Mery Rueda Ayala 51.858.238

Grupo 200611_235

Tutor
Luz Mila Rojas

Universidad Abierta y A distancia (UNAD)

Pensamiento Lógico y Matemático
Bogotá
2015
 Contenido

Introducción.......................................................................................................................................3
Ejercicios.............................................................................................¡Error! Marcador no definido.
Punto uno.............................................................................................¡Error! Marcador no definido.
Punto Dos............................................................................................¡Error! Marcador no definido.
Conclusiones........................................................................................¡Error! Marcador no definido.
 Introducción

Las tablas de verdad y proposiciones compuestas son un método sencillo de analizar los
valores de certeza de proposiciones, se trata de situar todas las posibilidades de certeza o
falsedad en forma de una tabla. Todas las reglas de certeza funcional que se utilizan para
proposiciones moleculares pueden resumirse en forma de tabla. Las tablas básicas de certeza
indican si una proposición molecular es cierta o falsa si se conocen los valores de certeza o
falsedad de las proposiciones que la forman. (https://books.google.com.co/books?
isbn=8474059771)

Notaremos con f el valor de verdad falso de una proposición, y con v el valor de verdad
verdadero de una proposición. Fundamentalmente en las tablas de verdad se colocan los valores
de verdad de enunciados simples, es decir aquellos que no han sido enlazados en fórmulas
complejas por medio de conectivas lógicas. ( https://books.google.com.co/books?
isbn=8474059771)

En las tablas de verdad se pretende enlazar dichos enunciados simples, por medio de
conectivas lógicas, para formar enunciados compuestos, y correlativamente decir cuál es el valor
de verdad resultante de dichos enunciados, como una función de los valores de verdad posibles
de los enunciados simple.( www.mitecnologico.com/Main/TablasDeVerdad)
 EJERCICIOS

1) Represente simbólicamente (utilizando los conectivos lógicos) cada razonamiento y hacer la

respectiva tabla de verdad:

a) Sofía conversaba a través de Skype con su compañera de grupo colaborativo respecto a la

finalización del periodo académico. Luisa le comenta, si apruebo el curso de Pensamiento

Lógico y Matemático será porque mis actividades cumplieron con la rúbrica o será que mi

hermana hizo bien mis tareas. Mi hermana tiene cinco años, no es el caso que mi hermana

haya hecho mis tareas, luego mis actividades cumplieron con la rúbrica.

p: Apruebo el curso de Pensamiento Lógico y Matemático

q: Mis actividades cumplieron con la rúbrica

r: Mi hermana hizo bien sus tareas

{[p → (q V r)] Λ ~r} → q

Si apruebo el curso de PLM entonces mis actividades cumplieron con la rubrica o mi hermana

hizo bien mis tareas. Mi hermana no hizo mis tareas. Por tanto, mis actividades cumplieron con

la rúbrica.

p q r ~r q V r p → (q V r) [p → (q V r)] Λ ~r {[p → (q V r)] Λ ~r} → q

V V V F V V F V
V V F V V V V V
V F V F V V F V
V F F V F F F V
F V V F V V F V
F V F V V V V V
F F V F V V F V
F F F V F V V F
 b) Frente a un proceso disciplinario en la UNAD a unos estudiantes por irregularidades en las

Pruebas Nacionales, se generó la siguiente reflexión. Si el reloj está adelantado, entonces Sara

terminó el examen nacional antes de las seis y vio salir del salón a Mónica. Si Mónica dice la

verdad, entonces Sara no vio salir del salón a Mónica. O Mónica dice la verdad o estaba en la

Universidad en el momento del plagio de las respuestas. El reloj está adelantado. Por tanto, Mónica

estaba en la Universidad en el momento del plagio.

p: El reloj está adelantado

q: Sara terminó el examen nacional antes de las seis

r: Sara vio salir del salón a Mónica

s: Mónica dice la verdad

t: Mónica estaba en la Universidad en el momento del plagio de las respuestas

{[ p→ (q ∧ r) ] ∧(s→˜r) ∧(s ∨ t) ∧ p} → t

Si el reloj esta adelantado, entonces Sara termino el examen nacional antes de las seis y vio salir del

salón a Monica. Si Mónica dice la verdad, entonces Sara no vio salir del salón a Monica. O Mónica

dice la verdad o estaba en la universidad en el momento del plagio de las respuestas. El reloj estaba

adelantado. Por tanto, Monica estaba en la universidad en el momento del plagio

Tabla de verdad

[p → (q Λ r)] V {[p → (q Λ r)] V [t ({[p → (q Λ r)] V [t V (s

q r s t ~r ~s q Λ r s → ~r [p → (q Λ r)] [t V (s → ~r)]
[t V (s → ~r)] V (s → ~r)]} Λ p → ~r)]} Λ p) → t
V V V V V F F V F V V V V V
V V V V F F F V F V F V V F
V V V F V F V V V V F V V V
V V V F F F V V V V V V V F
V V F V V V F F V F F F F V
V V F V F V F F V F V V V F
V V F F V V V F V F F F F V
V V F F F V V F V F V V V F
V F V V V F F F F F V V V V
V F V V F F F F F F F F F V
V F V F V F V F V F F F F V
V F V F F F V F V F V V V F
V F F V V V F F V F F F F V
V F F V F V F F V F V V V F
V F F F V V V F V F F F F V
V F F F F V V F V F V V V F
F V V V V F F V F V V V F V
F V V V F F F V F V F V F V
F V V F V F V V V V F V F V
F V V F F F V V V V V V F V
F V F V V V F F V V F V F V
F V F V F V F F V V V V F V
F V F F V V V F V V F V F V
F V F F F V V F V V V V F V
F F V V V F F F F V V V F V
F F V V F F F F F V F V F V
F F V F V F V F V V F V F V
F F V F F F V F V V V V F V
F F F V V V F F V V F V F V
F F F V F V F F V V V V F V
F F F F V V V F V V F V F V
F F F F F V V F V V V V F V
 c) Fui a solicitar un crédito educativo para ingresar a la UNAD y la asesora comercial me dice lo

siguiente. En las entidades financieras, nadie confía en las personas que nunca pagan sus deudas.

Pero se sabe además que, todo el mundo cuenta con la confianza de sus familiares. Por lo tanto, en

las entidades financieras otorgan créditos, porque cualquiera que tenga familia paga alguna de sus

deudas.

p: En las entidades financieras nadie confía en las personas que nunca pagan sus deudas

q: Todo el mundo cuenta con la confianza de sus familias

r: Cualquiera que tenga familia paga alguna de sus deudas

(p Λ q) → r

En las entidades financieras nadie confía en las personas que nunca pagan sus deudas y todo el
mundo cuanta con la confianza de sus familiares. Entonces cualquiera que tenga familia paga alguna
de sus deudas.

p q r pΛq (p Λ q) → r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
2) Decidir utilizando las tablas de verdad si este argumento es o no válido, es decir, evidenciar que la

tabla que se obtiene es una tautología o no:

La Universidad Nacional Abierta y a Distancia UNAD, en su metodología de aprendizaje autónomo,

logra consolidar en los estudiantes un conjunto de destrezas y habilidades que los hacen

competentes. Es así que, Lina estudiante de Ingeniería Electrónica aprueba todos los cursos

matriculados en el periodo académico 2015-I si es disciplinada en sus estudios; si Lina aprueba

todos sus cursos matriculados entonces gana una beca para pago de matrícula. Por lo tanto, si Lina

no es disciplinada en sus estudios entonces no gana una beca para pago de matrícula.

p: Si Lina es disciplinada en sus estudios entonces aprueba todos los cursos matriculados

q: Si aprueba todos los cursos gana una beca

r: Si lina no es disciplinada no gana una beca

[(p→ q) ∧( q→r ) ∧~p] → ~r

Si lina es disciplinada entonces aprueba todos los cursos matriculados y gana una beca, si no es
disciplinada entonces no gana una beca

p q r ~q ~r q → p (q → p) → r [(q → p) → r] → ~q {[(q → p) → r] → ~q} → ~r

V V V F F V V F V
V V F F V V F V V
V F V V F V V V F
V F F V V V F V V
F V V F F F V F V
F V F F V F V F V
F F V V F V V V F
F F F V V V F V V
3) Identificar en el siguiente silogismo las diferentes proposiciones categóricas, y proponer una

representación mediante diagramas de Venn de las diferentes relaciones entre las clases implicadas,

según las proposiciones categóricas:

a) Todo exalumno de la UNAD es un buen líder empresarial,

 Algunos gerentes son exalumnos de la UNAD.

 Muchos gerentes son buenos líderes empresariales.

b) Algunos estudiantes Unadistas son de la zona Occidente,

 Todos los estudiantes de primer periodo académico de la ECBTI son de la Zona Occidente.

 Algunos estudiantes de primer periodo académico de la ECBTI no son estudiantes Unadistas.

a) Proposición Categórica Universal Positiva

P =Los Exalumnos de la UNAD que son buenos lideres empresariales

S =Los exalumnos de la UNAD que son gerentes
M= Los gerentes que son lideres empresariales

S es P
M está en
P

S M
b) Proposición Categórica Particular negativa

P Algunos estudiantes Unadistas son de la zona Occidente,

S Los estudiantes de primer periodo académico de la ECBTI son de la Zona Occidente.

M Los Algunos estudiantes de primer periodo académico de la ECBTI no son estudiantes Unadistas.

S está en P P
M no pertenece a
P ni a S

S M