Pensamiento lgico y matemtico

Paso 2. Uso de las tablas de verdad

Por:
Nelson Julian Carvajal Ramrez
1.098.623.959

Grupo
200611_277

Presentado a:
Delfina Reyes
Pensamiento lgico y matemtico

Universidad Nacional Abierta y a Distancia - UNAD

03/04/2017
 Objetivos

1. Focalizar y asemejar las tendencias de operaciones de los argumentos para la toma de

decisiones estructurando las tablas de verdad para conocer la veracidad de los mismos.
2. Direccionar el contexto lgico y matemtico hacia los problemas de la vida real, creando
una mente ms estructural y asertiva en la toma de decisiones.
3. Abordar el silogismo y formas de estructuracin de argumentos, para descartar posibles
incongruencias en la veracidad de los hechos descritos.

4.
 Introduccin

En el trascurso del desarrollo de esta actividad se crea con gran fascinacin y necesidad del
aprendizaje sobre la resolucin de problemas por medio de la lgica y la matemtica para
resolver problemas, que, a simple vista, podra conducir a ineficaces soluciones, pero tomndolo
estructuralmente mediante la lgica y matemtica, se concluyen medios factibles tomando y
ajustando las tabla de verdad, para la decisin importante de una alternativa ms eficaz, as
mismo la importancia de cada palabra en los argumentos.
Tan solo una palabra se vuelve importante en la estructura de un argumento dndole la
credibilidad necesaria del caso o al contrario descalificndola en su intencin de convencimiento
hacia la audiencia sobre el tema especfico a tratar.
 1. Conceptualizacin

I. Tablas de verdad Conjuncin, disyuncin, implicacin y

bicondicional.

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y conocidos de la
lgica formar, pero al mismo tiempo tambin uno de los ms poderosos y claros. Entender bien
las tablas de verdad es, en gran medida, entender bien la lgica formal misma.

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas propiedades

lgicas y semnticas de enunciados del lenguaje natural o de frmulas del lenguaje de clculo
proposicional, siendo el procedimiento para construir una tabla de verdad es sencillo y
relativamente mecnico. Para aplicar le mtodo de tabla de verdad a un enunciado o proposicin,
por lo tanto, es necesario primero simbolizarlo, es decir determinar que frmula del leguaje
proposicional muestra su forma lgica y, luego, elaborar la tabla de verdad e dicha frmula.

Ejemplo: si p es una proposicin compuesta por las proposiciones simples p1, p2 y p3, entonces
la tabla de verdad de p deber recoger los siguientes valores de verdad.
p1 p2 p3
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

II. Conexin entre proposiciones

a. Negacin: ()

Dada una proposicin cualquiera, p, llamaremos negacin de p a la preposicin no p y la

notaremos p. ser verdadera cuando p sea falsa y falsa cuando p sea verdadera.

La tabla de verdad de esta nueva preposicin, p, es:

P P
V F
F V

De esta forma, el valor verdadero de la negacin de cualquier proposicin es siempre opuesto al

valor verdadero de la afirmacin original.
 b. Conjuncin: (^)

Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la proposicin

compuesta p y q y la notaremos p ^ q. Esta proposicin ser verdadera nicamente en el caso
de que ambas proposiciones lo sean.

Obsrvese que de la definicin dada se sigue directamente que, si p y q son, ambas, verdaderas
entonces p ^ q es verdad y que, si al menos una de las dos es falsa, entonces p ^ q es falsa. Por lo
tanto, su tabla de verdad vendr dada por,
p q P ^Q
V V V
V F F
F V F
F F F

Obsrvese tambin que el razonamiento puede hacerse a la inversa, es decir si p ^ q es verdad,

entonces p y q son, ambas, verdad y que si p ^ q es falsa, entonces una de las dos ha de ser falsa.

c. Disyuncin: (v)

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la proposicin

compuesta p o q y la notaremos p v q. Esta proposicin ser verdadera si al menos una de las
dos p o q lo es.

De acuerdo con la definicin dada se sigue que si una de las dos, p o q, es verdad entonces p v q
es verdad y que p v q ser falsa, nicamente si ambas lo son. Su tabla de verdad ser, por tanto,
p q PvQ
V V V
V F V
F V V
F F F

Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si p v q es verdad,

entonces una de las dos, al menos, ha de ser verdad y si p v q es falsa, entonces ambas han de ser
falsas. La palabra o se usa en el lenguaje ordinario de dos formas distintas. A veces se utiliza
en el sentido de p o q, o ambos, es decir, al menos una de las dos alternativas ocurre y, a
veces es usada en el sentido de p o q, pero no ambos es decir, ocurre exactamente una de las
dos alternativas.

Por ejemplo, la proposicin El ir a Madrid o a Bilbao usa o con el ultimo sentido. A este
tipo de disyuncin la llamaremos disyuncin exclusiva.
 d. Disyuncin exclusiva: ()

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a la

proposicin compuesta p o q, pero no ambos y la notaremos p q. Esta proposicin ser
verdadera si una u otra, pero no ambas son verdaderas.

Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q ser verdadera
cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. Su
tabla de verdad es, por tanto,
p q P Q
V V F
V F V
F V V
F F F

Haciendo el razonamiento contrario si p q es verdad, nicamente podemos asegurar que una

de las dos es verdad y si p q es falsa, solo podemos deducir que ambas tienen el mismo valor
de verdad.

Nota. Salvo que especifiquemos lo contrario, o ser usado en el primero de los sentidos. Esta
discusin pone de manifiesto la precisin que ganamos con el lenguaje simblico: p v q est
definida por su tabla de verdad y siempre significa p y/o q.

III. Preposiciones condicionales

a. Condicional o implicacin: ()

Dadas dos proposiciones p y q, a la proposicin compuesta si p, entonces q se le llama

proposicin condicional y se nota por p q.

A la proposicin p se le llama hiptesis, antecedente, premisa o condicin suficiente y a la q

tesis, consecuente, conclusin o condicin necesaria del condicional. Una proposicin
condicional es falsa nicamente cuando siendo verdad la hiptesis, la conclusin es falsa (no se
debe deducir una conclusin falsa de una hiptesis verdadera).

De acuerdo con esta definicin su tabla de verdad es,

p q P Q
V V V
V F F
F V F
F F V
Obsrvese que si p q es verdad no puede deducirse prcticamente nada sobre los valores de
verdad de p y q ya que pueden ser ambas verdades, ambas falsas o la primera falsa y la segunda
verdad. Ahora bien, si el condicional p q es falso, entonces podemos asegurar que p es
verdadera y q falsa.

Otras formulaciones equivalentes de la proposicin condicional p q son:

p solo si q.
q si p.
p es una condicin suficiente para q.
q es una condicin necesaria para p.
q se sigue de p.
q a condicin de p.
q es una consecuencia lgica de p.
q cuando p.

b. Preposicin bicondicional: ()

Dadas dos proposiciones p y q, a la proposicin compuesta p si y solo si q se le llama

proposicin bicondicional y se nota por p q

La interpretacin del enunciado es: p solo si q y p si q o lo que es igual si p, entonces q y si q,

entonces p, es decir, (p q) ^ (q p)

Por tanto, su tabla de verdad es:

p q P Q Q P P Q
V V V V V
V F F V F
F V V F F
F F V V V

Luego la proposicin bicondicional p q es verdadera nicamente en caso de que ambas

proposiciones, p y q, tengan los mismos valores de verdad.

Nota. Obsrvese que la proposicin condicional p q, se enunciaba Si p, entonces q siendo

una formulacin equivalente,

Una condicin necesaria para p es q y la proposicin condicional q p, se enunciaba Si q,

entonces p siendo una formulacin equivalente, Una condicin suficiente para p es q

Por tanto, una formulacin equivalente de la proposicin bicondicional en estos trminos, sera:
Una condicin necesaria y suficiente para p es q.
 2. Proceso operativo.

Anexo 1. Situaciones problmicas de la lgica proposicional. Numeral 5-

Daniela e Isabella son hermanas y el fin de semana pasado ocurri un seceso del cual el pap y la
mam desean saber en realidad como pasaron las cosas; Isabella dio su versin a los padres; pero
luego Daniela comenta lo siguiente: Es falso cuando mi hermana dice que no es cierto que, ella
estuvo en cine con su amiga Lorena o estuvo en la biblioteca estudiando para el parcial, o que
estuvo en cine con Lorena o estuvo en el ensayo del coro de la iglesia. Isabella mi hermana dice
que estuvo en el ensayo del coro de la iglesia. Mauricio un poco confundido por lo que dicen sus
hijas, decide hacer algo que aprendi en su formacin como matemtico y trasforma en una
expresin proposicional simblica lo que dijo Daniela acerca de Isabella, para saber si es una
incoherencia (la tabla de verdad dara contingencia) o es falso (la tabla de verdad dira una
contradiccin) o si es verdad (la tabla de verdad dara una tautologa). a qu conclusin llega
Mauricio?

Solucin:

1. Declaracin de las proposiciones simples,

Variables proposicionales Variable
Daniela estuvo en el cine con su amiga P
Daniela estuvo en la biblioteca estudiando Q
Daniela estuvo en el ensayo del coro de la iglesia R

2. Declaracin de las proposiciones compuestas (lenguaje natural)

Es falso cuando mi hermana dice que no es cierto que, ella estuvo en cine con su amiga Lorena o
estuvo en la biblioteca estudiando para el parcial, o que estuvo en cine con Lorena o estuvo en el
ensayo del coro de la iglesia. Isabella mi hermana dice que estuvo en el ensayo del coro de la
iglesia.

3. Declaracin de las proposiciones compuestas (lenguaje formal)

[(p v q) v (p v r)] r
3
Cantidad de combinaciones: 2 = 8 posibles combinaciones
p q r p (p V q) (p V r) [(p V q) V (p V r)] r
V V V F F V V V V V V
V V F F F V V V V F V
V F V F F F F V V V V
V F F F F F F V V F V
F V V V V V V F V V V
F V F V V V V F F F V
F F V V V V F F V V V
F F F V V V F F F F V

Tautologa
Pantallazo tabla de verdad con el simulador TRUTH.

A qu conclusin llega Mauricio?

Si es verdad (la tabla de verdad dara una tautologa). Tautologa

 3. Representacin grfica del diagrama de Venn.
Anexo 2. Enunciados denominados silogismos. Numeral 3-
Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao 2012 pueden
acceder al crdito condonable dado por el estado.
Algunos jvenes de estrato tres no pueden acceder al crdito condonable.
Algunos jvenes de estrato tres no son bachilleres que hayan presentado PRUEBAS SABER 11
despus del ao 2012.
P1 - Universal afirmativa: (a)
Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao 2012 pueden
acceder al crdito condonable dado por el estado.
P2 - Particular negativo: (o)
Algunos jvenes de estrato tres no son bachilleres que hayan presentado PRUEBAS SABER 11
despus del ao 2012.
C - Particular negativo: (o)
Algunos jvenes de estrato tres no pueden acceder al crdito condonable.

Silogismo categrico: aoo -1

Trmino mayor: Bachilleres (P)
Termino menor: Jvenes estrato tres (S)
Trmino medio: Crdito condonable (M)

P es M
S es M
S es P
 Representacin grafica

P: Bachilleres

S: Jvenes estrato tres

M: Crdito condonable

X
Conclusin

1. Mediante la realizacin de esta actividad se increment los fundamentos esenciales de la

lgica matemtica aplicada a los argumentos de los sucesos diarios del vivir del
individuo.
2. Se crea la expectativa de que no simplemente se ejerce el pensamiento normal, sino que
al contario es una cadena de informacin almacenada detalladamente para la utilizacin
lgica en el momento determinado en que sea necesaria su utilizacin.

1.
Referencias

1. Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado de

http://erenriquez.net/largoty/Ova01MD/
2. Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse -
Grupo Editorial Patria. (pp. 19 - 29). Recuperado de: http://hdl.handle.net/10596/6551
3. Chvez, C. P. (2000). Compendio de lgica. Larousse - Grupo Editorial Patria. (pp. 151-
162). Recuperado de: http://hdl.handle.net/10596/6552
4. Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la educacin
media. Bogot, CO: Educar Editores S.A. (pp. 151 -162) Recuperado de:
http://hdl.handle.net/10596/6541
5. Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las
lgebras de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 63-81). Recuperado de:
http://hdl.handle.net/10596/7959