LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES, PROPOSICIONES

CATEGRICAS.

Pensamiento Lgico y Matemtico 200611_ 55

Rubn Andres Abondano Acosta

Yency Esmith Castillo Abondano
Duberney Mendez

Presentado a:
Luzmila Rojas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERA DE TELECOMUNICACIONES
Bogot D.C., abril de 2016

Introduccin

En esta actividad conceptualizamos, analizamos y argumentamos de forma adecuada

los procedimientos desde la lgica proposicional utilizados para demostrar la
veracidad y validez de situaciones especficas del mundo real; y as verificar si la tabla
de verdad generada es una tautologa, contradiccin o contingencia.

Objetivos

Reconocer una tautologa, contradiccin o contingencia.

Verificar los resultados de una tabla a travs de software del curso
Representar por medio de tablas de verdad la veracidad de una proposicin.
Aprender a usar el software para comprobar los resultados de los ejercicios.
Graficar por medio de conjuntos las proposiciones y hallar la solucin.

Fase individual:
Ejercicio de Rubn Abondano
Francisco es estudiante del curso de Herramientas Digitales para la Gestin del
Conocimiento junto con Luis. Luis en un aporte individual para el
TrabajoColaborativo Uno escribe en el foro la siguiente idea: Si Francisco mi
compaero de curso, aprende Cmaptools y realiza los mapas conceptuales,
entonces Francisco aprende Cmaptools, entonces el realiza mapas conceptuales
o reconoce una red de conceptos y Francisco no realiza mapas conceptuales y el
no reconoce una red de conceptos. Qu se puede decir de esta informacin?
p = Francisco aprende Cmaptools
q= francisco realiza mapas conceptuales
r= Francisco aprende Cmaptools
s= Francisco reconoce una red de conceptos

{(p ^ q)
p

q s

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

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

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

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

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

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

p^q

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

(r
r

q) v s} ^ (q ^ s)

q (p ^ q)
(r q)

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

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

(p ^ q)
(r q) v
s

q ^ s

{(p ^ q)
(r
q) v s} ^
(q ^ s)

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

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

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

2n = 24=16

Segn el resultado podemos concluir que es una contingencia.

Tercer Aporte Individual:

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las
diferentes proposiciones categricas, y proponer una representacin mediante
Diagramas de Venn de las diferentes relaciones entre las clases implicadas, segn
las proposiciones categricas:
e. Algunos docentes en Licenciatura son de la Universidad UNAD.
Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes en Licenciatura.

P1: Algunos docentes en Licenciatura son de la Universidad UNAD.

cuantificador

P2: Todos los docentes de Matemticas son de la Universidad UNAD.

M

C:Algunos docentes de Matemticas no son docentes en Licenciatura.

Entonces:
P1: algunos T son S

En donde el rectngulo nos indica el elemento que tienen en comn es de clase

particular.
P2: todo M es S

MS

La parte sombreada nos indica el lugar en donde no hay elementos, es de clase

universal.

C: algunos M no son T

Es de clase particular.
Ejercicios de Yency castillo
1. Si Alberto posee mayor cantidad de ingresos que Javier, Javier posee
mayor cantidad de ingresos que Luis. Camilo posee mayor cantidad de
ingresos que Carlos el hermano de Luis, si Javier posee mayor cantidad de
ingresos que Luis. Por lo tanto, Si Alberto posee mayor cantidad de
ingresos que Javier, Camilo es quien posee mayor cantidad de ingresos
que Carlos
P= Alberto posee mayor cantidad de ingresos que Javier
Q= Javier posee mayor cantidad de ingresos que Luis
R= Camilo posee mayor cantidad de ingresos que Carlos
((p q) r) (q(pr))
p

pq

pr

(p q) r

q(pr)

((p q) r)
(q(pr))

V
V
V
V
F
F
F

V
V
F
F
V
V
F

V
F
V
F
V
F
V

V
V
F
F
F
F
F

V
F
V
F
V
V
V

V
F
V
V
V
V
V

V
F
V
V
V
V
V

V
F
V
V
V
V
V

Es una contingencia porque no todas las proposiciones dieron verdaderas.

Algunos y todos son cuantificadores

P1:Todos los egresados de programas del SENA pueden estudiar por convenio en
la UNAD
P2:Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD
C: Algunos jvenes tcnicos no son egresados del SENA.
Es una proposicin O en la que solo se distribuye el predicado se da la siguiente
grafica y es de clase universal.
La zona sombreada es C algunos jvenes tcnicos no son egresados del Sena
Egresados del Sena

Jvenes tcnicos

Estudiantes convenio UNAD

Ejercicios de Duverney Mndez

Planteamiento y resolucin (utilizando las operaciones necesarias y la

representacin a travs de las Tablas de Verdad) de uno de los siguientes
problemas de Lgica Proposicional; adems establecer si la correspondiente tabla
es una Tautologa, Contradiccin o Contingencia.

Rafael siempre quiso ser actor de teatro, pero no logr cumplir su sueo porque se
dedic a trabajar para buscar su sustento diario. Pero ha llegado una felicidad a
Rafael y es el hecho de que su hija Sofa quiere ser actriz de teatro y pensando en
su hija construye en su mente el siguiente pensamiento: No es cierto que: si mi
hija Sofa estudia los libretos, obtiene representar el papel protagnico en la obra
de Teatro. Si no estudia, lo pasa divertido en el ensayo. Si no obtiene el papel
protagnico, no lo pasa bien en el ensayo. As pues, mi hija Sofa obtiene el papel
protagnico. De acuerdo al resultado en la tabla de verdad justifique si el
pensamiento de Rafael con relacin a su hija es coherente o incoherente.

P: Sofa estudia
Q Sofa la pasa bien
R Sofa obtiene el papel protagnico
(~p q) V (~r ~q)

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p q) V(rq)

V
V
V
V
V
V
V
V
TAUTOLOGIA

Ejercicio grupal

El segundo momento de la Fase Grupal consiste en entregar un documento en

PDF, en el cual, como grupo realicen el planteamiento y la solucin del siguiente
problema de Lgica Proposicional:
p= Si Andrs estudia Economa, entonces
q= participar en la convocatoria de una beca para especializacin.Pero,no
q=participar en la convocatoria, si reprob el
r= curso de Fundamentos de Administracin y no aprob
s= el curso de Finanzas. Si Andrs no reprob
r= el curso de Fundamentos de Administracin o aprob
s= el curso de Finanzas, entonces
q= participar en la convocatoria de una beca para especializacin.Porlo tanto,
q=participar en la convocatoria si y solo si
t= evidencia un promedio de 4,3 en todos sus estudios.

(p=>q) ^ ((~r ^~s) =>~q ) ^ (((r v s)=>q )=> (q<=>t))

Tabla de verdad 2n = 25=32

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

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

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

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

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

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

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

r
s v
s

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

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

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

p
>
q

((~r ^~s)
=>~q )

(p=>q) ^
((~r ^~s)
=>~q )

(r v s)
=>q

q
<=>
t

(((r v s)
=>q )
=>
(q<=>t))

(p=>q) ^
((~r ^~s)
=>~q ) ^
(((r v s)=>q
)=>
(q<=>t))

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

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

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

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

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

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

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

El resultado de la tabla es una contingencia ya que contiene valores verdaderos y

falsos

Conclusiones
Los conectores lgicos matemticos dan sentido al problema de lgica
matemtica, pero deben ser utilizados correctamente
Para definir una tabla en contingencia, contradiccin u tautologa no
depende de los valores de verdad de las proposiciones simples.
Para el desarrollo de las tablas de verdad se debe resolver del parntesis o
proposicin ms pequea hacia afuera.
El diagrama de Venn facilita la comprensin de un problema lgico
matemtico ya que representa la relacin entre dos conjuntos.

Bibliografa
Angela Rendon(2011) Tautologias,Contradiccion y Contingencia disponible
en https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologiascontradiccion-y-contingencia-2/(19/04/2016)
Aneyitas(2013) Tablas de Verdad disponible en aneyitas.blogspor.com.co
/2013/01/resumen-tablas-de-verdad.html?m=1(20/04/2016)
Ecured tablas de verdad disponible en www.ecured.cu/tablas_de_la_verdad
(20/04/2016)
Eduteka tablas de verdad disponible en www.eduteka.org
/herramientas/39/1 (20/04/2016)