LÓGICA MATEMÁTICA

LIZETH MAYERLY ESPITIA AGUILERA

YEIMY MABEL ESPITIA AGUILERA

UNIVERSIDAD MANUELA BELTRÁN

MAESTRÍA TECNOLOGÌAS APLICADAS A LA EDUCACIÓN
PLATAFORMAS DIGITALES
Bogotá D. C.
Un conjunto es un “muchos” que puede ser pensado como uno.

Georg Cantor
 INTRODUCCION
Este módulo está concebido para hacer una introducción al apasionante mundo de la
lógica Matemática.

Para leer el módulo sólo se necesitan los conceptos de conjuntos numéricos, y

operaciones algebraicas como destrucción de signos de agrupación, factor común,
ecuaciones e inecuaciones de primer grado que pueden ser recordados de manera
simultánea
La intención es que el estudiante pueda aprender por sí mismo.

En el primer capítulo, se analizará las diferentes operaciones entre conjuntos, tales

como unión, intersección y complemento, entre otras operaciones, que nos permitirán llegar
a la compresión de los conectivos lógicos usados en el lenguaje natural, partiendo de una
representación gráfica. Logrando desarrollar destrezas lógico matemáticas, a partir de la
solución de problemas cotidianos.

El segundo capítulo permite adquirir habilidades para comprender conceptos como

los conectivos lógicos usados de manera habitual en el lenguaje diario, lo que permitirá
diseñar frases cada vez más complejas sin que se pierda la coherencia en la construcción
gramatical.
 OBJETIVO GENERAL
Estudiar, analizar y aplicar los conceptos fundamentales de la teoría de
conjuntos, básicos para llegar a la comprensión de los conectivos lógicos
y su relación con el lenguaje natural, con el fin de dar solución a
problemas cotidianos.

OBJETIVOS ESPECÍFICOS
• Identificar las clases y relaciones entre conjuntos.
• Representar gráficamente los conjuntos.
• Realizar diferentes operaciones entre conjuntos.
• Resolver problemas con conjuntos.
 Contenido
Capitulo 1 Teoría de conjuntos

 Representación gráfica
 Formas para determinar un conjunto
 Conjuntos Finitos
 Conjuntos especiales
 Relaciones entre conjuntos
 Operaciones entre conjuntos
 Álgebra de conjuntos

Capitulo 2 Principios de Lógica

 Historia y clasificación
 Clasificación de la lógica
 Conceptualización
 Lógica y lingüística
 Simbolización
 Proposiciones
 Conectivos Lógicos
 Proposiciones simples
 Proposiciones Compuestas
 Tablas de verdad
 Leyes de la lógica
 Leyes del álgebra de proposiciones
 Cuantificadores
Conjunto y de elemento son ideas primitivas que se presentan en forma intuitiva. Los
conjuntos están relacionados con el proceso de contar y por lo tanto permiten resolver
problemas que involucran el concepto de cantidad.

Se puede afirmar que un conjunto es una colección de objetos, símbolos o entidades bien
definidas, que reciben el nombre de miembros o elementos del conjunto.

Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la
utilización de esquemas gráficos llamados circulos de Euler o diagramas de Venn.
Estos esquemas están compuestos por una región cerrada del plano (generalmente un
rectángulo), la cual representa el conjunto universal, y por uno o varios círculos que
representan los conjuntos a graficar.

Generalmente, los conjuntos se identifican con letras mayúsculas y sus elementos con
minúsculas.

 Para indicar que un elemento es un miembro de un conjunto,

se utiliza el símbolo “” (se lee pertenece a) y

 para indicar que no esta en el conjunto se utiliza el símbolo

“” (se lee no pertenece a).

Esta es la representación gráfica correspondiente:

Básicamente existen dos formas para determinar un conjunto, éstas son:

1. Por extensión:
Un conjunto está determinado por extensión cuando se describe el conjunto nombrando
cada uno de sus elementos. Por ejemplo:

A = {2, 4, 6, 8}
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C = {1, 3, 5, 7, 9, 11, 13, 17, 19,…}
D = {a, e, i, o, u }

2. Por comprensión:
Un conjunto está determinado por comprensión cuando se nombra una propiedad, una
regla o una característica común a los elementos del conjunto. Por ejemplo:

C = {Números impares menores que 10}

D = {Vocales}
B = {Dígitos}

Lenguaje:
E = {x R / 0 ≤ x < 9}, en este caso se utiliza un lenguaje muy específico, el cual se lee así:

E igual al conjunto de todos los números reales tales que (o que verifican que) cero (0) es menor o
igual a x, y, x a su vez es menor que 9, esta notación se usa con mucha frecuencia para describir
intervalos, para escribir la solución de una inecuación o para representar el dominio de una función
real.

Existen conjuntos como por ejemplo:

A = {x  R / 0 ≤ x < 9} ó Z = {x  N / x es par}
 Que no se pueden expresar por extensión debido a que nunca se terminaría de escribir la
lista de los números reales que pertenecen al conjunto A, o, los naturales que pertenecen a
Z, este tipo de conjuntos, reciben el nombre de INFINITOS;

Mientras que otros, como por ejemplo:

C = {x / x es vocal} ó D = {x / x es dígito par}

Que están formados por cierto número de elementos distintos, reciben el nombre de
conjuntos FINITOS.

¿Todos los conjuntos que se nombran por comprensión, se pueden escribir por extensión?

El análisis anterior, permite dar respuesta a esta pregunta, se sugiere buscar más ejemplos
que justifiquen la respuesta para que sean analizados con el tutor y luego socializados en
los equipos de trabajo.

Un conjunto que carece de elementos se denomina conjunto vacío y se simboliza así:

U

{ } ó  A A = 






Figura No. 2.
Naturalmente el conjunto  forma parte de cualquier conjunto A, por lo cual se puede
afirmar que:

A
¿El conjunto Ф (vacío) es un subconjunto de todo conjunto?

Si D = {x  N / x  x ), obviamente D es un conjunto que carece de elementos, puesto

que no existe ningún número natural que sea diferente a sí mismo.

Se denomina conjunto unitario al conjunto formado por un sólo elemento.

El único número que cumple las dos condiciones (ser primo y a la vez par) es el número 2,
por lo tanto E = {2} se llama unitario.

Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza de

sus elementos, por ejemplo:

Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a, e, i,
o, u}, es decir, A  V, este conjunto V constituye el universo del conjunto A, por esta razón
se dice que V es un conjunto Universal.

Similarmente, si A = {x  N / x es primo} sus elementos son elementos del conjunto de los

números naturales “N”, A  N y en este caso, N se constituye en el conjunto universal.
Generalmente, el conjunto universal se simboliza con la letra U.

Si A es un conjunto, el conjunto de partes de A, escrito como P(A) está formado por todos
los subconjuntos que se pueden formar del conjunto A.

Ejemplo 1.
Si A = {1, 3, 5}, entonces el conjunto de partes de A esta formado por los siguientes
subconjuntos:

P (A) = {{1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}, }.

  P(A) y 2n subconjuntos

Note que:
Como ya habíamos analizado, el conjunto vacío está en todo conjunto y este caso no es la
excepción, por esta razón   P(A). Además, cave anotar que los elementos del conjunto
A son a su vez conjuntos, por lo que se dice que el conjunto P(A) constituye una familia de
conjuntos.

El número de elementos del conjunto P(A) depende del número de elementos de A; en el

ejemplo, A tiene 3 elementos y P(A) tiene 8 = 23 elementos, en general, “Si A tiene n-
elementos se pueden formar 2n subconjuntos del conjunto A”.

¿Cuántos y cuáles son los subconjuntos que se pueden formar de un conjunto

A = { 1,3,5} ?

Ejemplo 2.
Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos elementos de
B son conjuntos y otros no. Para que el conjunto B fuera un conjunto de partes o una familia
de conjuntos debería estar expresado de la siguiente forma:

B = { {2}, {1,3}, {4}, {2,5} }.

 Un conjunto A es un subconjunto de un conjunto B, si todo elemento del conjunto A
también es elemento del conjunto B.

Simbólicamente esta relación se expresa así:

A  B (se lee A esta contenido en B)
si todo elemento x que está en el conjunto A entonces
x también está en B, es decir;
A  B si todo x  A, entonces x  B

Si A = {x / x es dígito par} y B = {x / x es dígito}, claramente A  B ya que todo

dígito par es dígito. Por extensión la situación se expresa así:

A = {2, 4, 6, 8} y B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Entonces A es un subconjunto de B.

Un resultado muy útil e importante acerca de la contenencia entre conjuntos es el

siguiente:

Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto de C;

simbólicamente este enunciado se escribe así:
Así como las operaciones suma, resta, multiplicación y división están definidas sobre los
números reales, también existen operaciones definidas entre los conjuntos como la unión,
intersección, complemento, diferencia, diferencia simétrica y producto cartesiano; éstas se
estudiarán en las siguientes secciones.

Si A y B son dos conjuntos no vacíos, se define la unión entre A y B como el conjunto de

todos los elementos que pertenecen al conjunto A o al conjunto B.

Simbólicamente la unión se define así:

A  B = {x / x  A,, x  B}, donde el símbolo “” se lee “o”.

Para representar gráficamente una operación entre conjuntos, se debe tener en cuenta la
relación que exista entre ellos, según los siguientes casos:

Caso 1. Que los conjuntos no tengan ningún elemento en común. (conjuntos disyuntos).

La parte subrayada representa la unión entre los conjuntos A y B.

La figura No.3 permite apreciar que el único dígito que es a la vez par y primo es el
número 2; esto conlleva a la formulación de la siguiente operación entre conjuntos:

Se define la intersección entre dos conjuntos A y B como el conjunto formado por todos
los elementos que pertenecen simultáneamente al conjunto A y al conjunto B.

Simbólicamente la intersección se expresa así:

A  B = {x / x  A,  ,x  B}
el símbolo “” se lee intersección y el símbolo “” se lee y.

Caso 1. Que los conjuntos no tengan ningún elemento en común. (conjuntos

disyuntos).
La parte subrayada representa la unión entre los conjuntos A y B.
U
A 8 B
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 6 7
B = {5,6,7}
1 4 5
9
A  B={}

Figura No. 14.

Se puede observar que cuando dos conjuntos son diferentes, su intersección es vacía y
los conjuntos se llaman disyuntos, como ya se había mencionado;
 Esto permite afirmar que si A  B, entonces. A  B = A; análogamente se puede inferir
que si B  A, entonces, A  B = B.

A continuación se realiza la demostración analítica para el caso 3 de la figura No. 16, la otra
situación si B  A, entonces, A  B = B, se deja como ejercicio complementario (se
encuentra al final del capítulo), esta demostración es muy similar a la que se hará a
continuación, sin embargo la puede consultar en el libro, Teoría de conjuntos de Seymour
Lipschutz.

Si A  B, por definición de contenencia entre conjuntos se puede afirmar que todo elemento
x  A, entonces x  B; por definición de intersección, éstos elementos x forman el conjunto
A  B y como todos estos son elementos de A, se puede concluir que A  B = A.

Ejemplo 1.
Dados los conjuntos:
M = {x  N / x es múltiplo de 2}
N = {x  N / x es múltiplo de 3}
P = {x  N / x es impar}
Se pueden analizar las siguientes intersecciones:

1. M  N = {6, 12, 18, 24, 36,…}, escrito por comprensión es:

M  N = {x  N / x es múltiplo de 6}.
2. M  P = , no existe ningún número natural que sea múltiplo de 2 y a la vez impar.
3.   M =, El conjunto vacío está contenido en cualquier conjunto, en particular en
M, esto es   M, luego se puede concluir que   M = .

Lógica y lingüística

Por su origen y desarrollo natural, han sido reconocidos dos tipos básicos de lenguajes: los
lenguajes naturales y los lenguajes formales o artificiales.

Los lenguajes naturales no se establecieron a través de ninguna teoría, entre ellos están el
castellano, el francés y el inglés. Las teorías y gramáticas de lenguajes naturales, fueron
establecidas a posteriori, es decir después de que el lenguaje ya había madurado.

Los lenguajes formales como las matemáticas y la lógica, fueron desarrollados,

generalmente, a partir del establecimiento de una teoría, la cual da las bases para que a
través de dichos lenguajes se pueda desarrollar la misma teoría.

Los lenguajes naturales y formales tienen puntos en común, en principio, se tiene la

existencia de un conjunto finito llamado alfabeto, el cual esta constituido de símbolos simples
llamados comúnmente letras. En los lenguajes naturales se tienen como ejemplos los
alfabetos: latino, griego y árabe-persa, entre otros. En los formales como la lógica se tiene
el léxico del cálculo proposicional y de predicados.

Mediante la concatenación de las letras del alfabeto se forman los monemas, fonemas o
palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se
considera como un conjunto infinito de oraciones o enunciados que se forman con palabras
del diccionario.

En los sistemas formales los enunciados del lenguaje consisten en una lista de símbolos,
(lógicos o matemáticos) sujetos a diversas interpretaciones. En un lenguaje formal, las
palabras y las oraciones están perfectamente definidas, una palabra mantiene el mismo
significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto,
necesariamente exentos de cualquier componente semántico fuera de sus operadores y
relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes formales
pueden ser usados para modelar una teoría de la ingeniería de sistemas, mecánica,
eléctrica, entre otras.

La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento básico de análisis a la proposición, que no es otra cosa que una oración del
lenguaje cotidiano con un significado mucho más limitado, en tales condiciones, se puede
considerar una proposición como una excepción lingüística que tiene la propiedad de ser
verdadera o falsa, y para simplificar la escritura de argumentos lógicos complicados; crea
un lenguaje simbólico artificial, en donde establece un conjunto de reglas claras, bien
definidas y que no presentan las ambigüedades ni vaguedades del lenguaje corriente.

Es importante tener en cuenta que las proposiciones representan oraciones declarativas,

las cuales contienen un sujeto perfectamente definido o dado por el contexto, un predicado
y una conjugación del verbo ser.

Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del

alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables
proposicionales, de esta forma, el lenguaje proposicional se hace más simple y exacto que
el lenguaje natural.

Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:

 p : Hoy es sábado.
 q : Estudio ingeniería de sistemas.
 r : New York es llamada la capital del mundo.
 s : 1 no es un número primo.
 x : 4 + 3 = 10.

Es decir, se puede establecer una relación biunívoca entre el lenguaje natural y el lenguaje
formal. Estas proposiciones generalmente se llaman frases.

En el lenguaje cotidiano se encuentran expresiones como por ejemplo:

 Las rosas son rojas y tienen espinas.

 ¿La selección Colombia ganó o perdió?
 En el país no hay violencia.
 Si estudio lógica matemática entonces seré un destacado ingeniero de sistemas.
 4 es un número par si y sólo si se puede dividir por 2.

Estas expresiones se denominan oraciones y para su formación se utilizaron las letras y, o, no, si …
entonces, sí y sólo si, que sirvieron para unir o enlazar los enunciados.
Estos términos de enlace reciben el nombre de Conectivos lógicos y al igual que a las
proposiciones, también se les asignan un lenguaje simbólico, así:

LENGUAJE NATURAL LENGUAJE FORMAL

y Λ

o ν

No ~

Si … entonces 

Sí y sólo si 

Vemos varios ejemplos de notación simbólica de las proposiciones: p : Las

rosas son rojas.

q : Las rosas tienen espinas.
p Λ q : Las rosas son rojas y tienen espinas.

r: La selección Colombia ganó?.

s: La selección Colombia perdió?.
r ν s : La selección Colombia ganó o perdió?.

t : En el país hay violencia.

~ t : En el país no hay violencia.

x : Estudio lógica matemática

y : Seré un destacado ingeniero de sistemas
x  y : Si estudio lógica matemática seré un destacado ingeniero de sistemas.

u : 4 es un número par.
v : 4 es divisible por 2.
 u  v : 4 es un número par si y sólo si es divisible por 2.

En lógica se consideran y se simbolizan dos clases de proposiciones: atómicas o simples

y moleculares o compuestas, veamos:

Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos

lógicos.
Estos son algunos ejemplos:

p : El eclipse es un fenómeno natural.

q : La luna es un satélite de la tierra.
r : 2 es el inverso multiplicativo de –2.
s: -3 es el inverso aditivo de 3.

El valor de verdad de una proposición simple puede ser verdadero (V) o falso (F), pero no
los dos valores al mismo tiempo, pues dejaría de ser proposición.

Las proposiciones compuestas son aquellas que se obtienen combinando dos o más
proposiciones simples mediante términos de enlace.

Estos son algunos ejemplos de proposiciones compuestas:

p : Está lloviendo.
q: El sol brilla.
p Λ q: Está lloviendo y el sol brilla.

x : Quieres café?.
y : Quieres té?.
x ν y : quieres café o té?.

s : Llueve.
r : Hace frío.
s  r : Si llueve entonces hace frío.

p : Un triángulo es equilátero.
q: Un triángulo tiene sus tres lados iguales.
p  q : Un triángulo es equilátero si y sólo si tiene sus tres lados iguales.

La veracidad o falsedad de una proposición compuesta, depende del valor de verdad de cada una de las proposiciones simples
que la conforman y de la forma como estén combinadas
 Como ya se dijo en la sección anterior, los símbolos que sirven para enlazar dos o más
proposiciones simples, se llaman conectivos lógicos, estos son: la conjunción, la disyunción,
la negación, el condicional y el bicondicional.

Sean p y q dos proposiciones simples. La proposición compuesta p y q simbolizada por

“p Λ q“, se denomina la conjunción de p y q.

Ejemplos de conjunción:
Ejemplo 1
La proposición compuesta r Λ s : 6 es número par y entero positivo, está formada
por:

r : 6 es un número par.
Λ:y
s : entero positivo.

Ejemplo 2
p Λ q : Termino de escribir mi programa de computación y luego jugaré tenis
p: Termino de escribir mi programa de computación.
Λ: y
q: jugaré tenis.

Para establecer el valor de verdad de la conjunción, surgen las siguientes posibilidades:

1. Que p y q sean verdaderas.
2. Que p sea verdadera y q sea falsa.
3. Que p sea falsa y q verdadera.
4. Que p y q sean falsas.

A continuación se analizan estas posibilidades para el ejemplo 1, el análisis del ejemplo 2

se deja como ejercicio.

1. r: Verdadera. 6 es un número par.

s: Verdadera. 6 es un entero positivo.
r Λ s : Verdadera (V)

2. r: Verdadera. 6 es un número par. s:

Falsa. 6 no es un entero positivo. r Λ s
: Falsa (F).

3. r: Falsa. 6 no es un número par.

 s: Verdadera. 6 es un entero positivo. r Λ
s :Falsa (F).

4 r : Falsa. 6 no es un número par.

s: Falsa. 6 no es un entero positivo.
r Λ s: Falsa (F).

Sean p y q dos proposiciones simples. La proposición p o q, simbolizada “p v q” se llama

disyunción de p y q.

El operador “o” se puede usar de dos formas: como “o incluyente” o como “o excluyente”.
En el primer caso (“o” incluyente) hace que el valor de verdad de una de las dos
proposiciones simples repercuta en el valor verdadero de la proposición disyuntiva; mientras
que en la segunda forma (“o” excluyente) el valor de verdad de una proposición excluye la
veracidad de la otra proposición, esto hace que la proposición disyuntiva tome el valor
verdadero.

Ejemplo 1. Uso del “o” incluyente

r v s: Juan estudia ingeniería o Paola estudia medicina.
r : Juan estudia ingeniería.
v:O
s: Paola estudia medicina.

Ejemplo 2. Uso del “o” excluyente.

x v y : Quieres helado o gaseosa.
x : Quieres helado.
v:O
y: Quieres gaseosa.

Ejemplo 3: Uso del “o” excluyente

p v q: Alexandra vive en Bogotá o en Barranquilla.
p : Alexandra vive en Bogotá.
 v:O
q : Alexandra vive en Barranquilla.

Sea p una proposición simple. Se define la negación de p mediante la proposición

compuesta no p simbolizada por: “~ p”.
Ejemplo 1.
p : 3 es un número entero primo.
~ p : 3 no es un número entero primo, también se puede leer.
es falso que 3 es un número entero primo.
Ejemplo 2.
q : El automóvil de Francisco es rojo.
~ q: El automóvil de Francisco no es rojo ,o, es falso que el automóvil de
Francisco es rojo.

Se dice que una proposición compuesta es condicional, si esta formada por dos
proposiciones simples enlazadas por la expresión “si…entonces”.

Si p y q representan dos proposiciones, la expresión “si p entonces q” se simboliza así :

p  q y se lee p implica q.

La proposición precedida por la expresión “si”, se llama antecedente o hipótesis y la proposición

precedida por la expresión “entonces”, se llama consecuente o conclusión de la implicación. En la
expresión p  q, el antecedente es p y el consecuente es q.

Las proposiciones condicionales se pueden enunciar de diferentes maneras así:

 Si p entonces q.
 p sólo si q.
 q si p.
 p es suficiente para q.
 q es necesaria para p.

Los siguientes ejemplos ilustran los anteriores enunciados:

 Si un entero es múltiplo de 4 entonces es divisible por 2.

 Apruebo el semestre sólo si estudio.
  El algoritmo esta bien enunciado si el programa corre.
 Si dos rectas nunca se cortan necesariamente son paralelas.

Cuando una proposición condicional se escribe en una de las anteriores formas,

probablemente, en el lenguaje común habrá alguna que no se interprete como se desea,
pero como la lógica no permite ambigüedades, éstas se deben escribir según la definición
dada en la sección.

Existen varias formas de enunciar proposiciones condicionales así:

Implicación directa: pq

Implicación contraria: qp
Implicación recíproca: ~p ~q

Implicación contrarrecíproca: ~q ~p

Ejemplo 1.
Dadas las proposiciones p: 2m es divisible por 4
q: m es par
entonces:

La proposición directa es: p  q: Si 2m es divisible por 4 entonces m es par, la

contraria es: q  p: Si m es par entonces 2m es divisible por 4, la recíproca es: ~ p
 ~ q: si 2m no es divisible por 4, entonces m no es par y la contrarrecíproca es: ~ q ~
p : Si m no es par, entonces 2m no es divisible por 4.

Ejemplo 2.

Teniendo en cuenta la proposición directa: ~ p  q construir las otras formas de la

implicación:

Contraria: q~p
Recíproca: ~ (~ p)  ~ q
p ~ q
Contrarrecíproca: ~ q  ~ (~ p)
~ qp.
Ejemplo 3.

Proposición directa: ~p~ q

Contraria: ~q~ p
Recíproca: ~ (~ p)  ~ (~ q)
p q
Contrarrecíproca: ~ (~ q)  ~ (~ p)
q p
Se denomina bicondicional a la proposición formada por dos proposiciones simples
conectadas por la expresión “sí y sólo sí”.

Simbólicamente si p y q son proposiciones simples, la doble implicación p  q constituye

un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.

El bicondicional está formado por las implicaciones p  q y q  p, las cuales deben tener
el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia, se
dice que la proposición p es equivalente a la proposición q y se acostumbra a escribir p 
q.

La proposición bicondicional tiene varias formas de traducción más no de significación, éstas

son:
 p sí y sólo si q.
 q sí y sólo si p.
 si p entonces q y recíprocamente.
 si q entonces q y recíprocamente.
 p es una condición necesaria y suficiente para q.
 q es una condición necesaria y suficiente para p.

Ejemplo 1.
Dadas las proposiciones:

p: Un triángulo es rectángulo.
q: Un triángulo tiene un ángulo recto.

El bicondicional p  q se puede traducir de las siguientes formas:

 Un triángulo es rectángulo sí y sólo sí tiene un ángulo recto.

 Un triángulo tiene un ángulo recto sí y sólo sí es un triángulo rectángulo
 Si un triángulo es rectángulo entonces tiene un ángulo recto y si un triángulo tiene un ángulo
recto entonces es un triángulo rectángulo.
 Una condición necesaria y suficiente para que un triángulo sea rectángulo es que tenga un
ángulo recto.
 Una condición necesaria y suficiente para que un triángulo tenga un ángulo recto es que sea
un triángulo rectángulo.
 Un triángulo rectángulo es equivalente a un triángulo con un ángulo recto.

Definición
Una tabla de verdad es una representación esquemática de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas,
las cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.

En la elaboración de una tabla de verdad los términos de enlace tales como la negación
( “ ~ “), la disyunción ( “ ν “) y la conjunción ( “ Λ “) se consideran conectivos fundamentales;
por tal razón, sus valores de verdad constituyen base para establecer bajo qué condiciones
una proposición compuesta es verdadera o falsa.

p q ~p pΛq pνq pq pq

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

Para simbolizar los valores de verdad de una proposición, se utiliza el sistema binario,
mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla resume
los valores de verdad de los conectivos lógicos:

p q ~p pΛq pνq pq pq

1 1 0 1 1 1 1
1 0 0 0 1 0 0
0 1 1 0 1 1 0
0 0 1 0 0 1 1

Construcción de tablas de verdad

Para determinar el valor de verdad de una proposición compuesta es necesario elaborar la
correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian
los pasos a seguir:

Ejemplo 1.
Construir la tabla de verdad para la proposición ~ (p Λ q).

Paso 1.
Se hace un recorrido de izquierda a derecha teniendo en cuenta los paréntesis.

Paso 2.
Se identifica el conectivo que aparece dentro del paréntesis, en este ejemplo la
conjunción.
Paso 3.
Se precisa el término de enlace que precede al paréntesis, en el ejemplo la negación.
Paso 4.
Se elabora la tabla con el número de columnas determinado por:
 Proposiciones que intervienen
 Conectivos utilizados dentro del paréntesis
 Conectivo utilizado fuera del paréntesis.

La siguiente tabla ilustra el paso 4:

p q pΛq ~(pΛq)

Paso 5.
Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la
siguiente tabla

p q pΛq ~(pΛq)
1 1
1 0
0 1
0 0

Paso 6.
Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de
cada proposición simple. La finalización de la elaboración de la tabla de verdad es:

p q pΛq ~(pΛq) p q pΛq ~(pΛq)

V V V F 1 1 1 0
V F F V 1 0 0 1
F V F V 0 1 0 1
F F F V 0 0 0 1
Ejemplo 2.

Elaborar la tabla de verdad de la proposición: (p ν q) Λ (p Λ q).

Al realizar el recorrido de izquierda a derecha se observa que la proposición está

conformada por dos paréntesis conectados por la disyunción y dentro de cada paréntesis se
identifican la disyunción y la conjunción respectivamente; después de éste análisis se
elabora la tabla.

p q p ν q p Λ q (p ν q) Λ (p Λ q)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 0 0
Ejemplo 3

Elaborar la tabla de verdad para la doble negación, es decir, ~ (~ p)

p ~ p ~ (~ p) p ~ p ~ (~ p)
V F V 1 0 1
F V F 0 1 0

Este resultado permite concluir que la doble negación de una proposición es la misma
proposición.

Tablas de verdad para los conectivos lógicos La conjunción

p q pΛq
V V V
V F F
F V F
F F F

De la anterior tabla de verdad podemos concluir que la conjunción es verdadera únicamente

cuando las dos proposiciones simples son verdaderas, en cualquier otro caso la proposición
es falsa.

La disyunción
p q pvq
V V V
V F V
Tabla No.2 La disyunción.
F V V
F F F

La negación

El condicional
El bicondicional
 p ~p
Tabla No.3 La negación. V F
F V

p q pq
Tabla No.4 El condicional. V V V
V F F
F V V
F F V

p q pq
Tabla No.5 El Bicondicional
V V V
V F F
F V F
F F V

Implicación directa, contraria, recíproca y contrarecíproca

Tabla de verdad para las cuatro formas de la implicación,

p q ~p ~q pq qp ~p~q ~q~p

Directa Contraria Recíproca Contrarrecíporca
1 1 0 0 1 1 1 1
1 0 0 1 0 1 1 0
0 1 1 0 1 0 0 1
0 0 1 1 1 1 1 1
Tabla No. 6. Formas de la implicación.

Esta tabla permite analizar que los valores de verdad correspondientes a las columnas de
la directa y la contrarecípoca coinciden, al igual que los de las columnas de la contraria y de
la recíproca, por lo tanto estas implicaciones son equivalentes, es decir:

1. ( p  q )  (~ q  ~ p )

2. ( q  p )  (~ p  ~ q )
Se propone al estudiante construir la tabla de verdad para las anteriores equivalencias.
  COPI, Irving, COHEN, Carl. Introducción a la Lógica. Limusa, Mexico 2002.

 GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Matemática Digital. Mc Graw Hill.
Bogotá 1998.

 SCHEINNERMAN, Edward. Matemáticas Discretas. Thomsom-Learning. Mexico 2001.

 LIPSCHUTZ, Seymor. Teoría de Conjuntos. Mc Graw Hill. Bogotá 1980.

 SMITH, Kart. Introducción a la Lógica Simbólica. Iberoamericana. Mexico 1991.

 GALINDO, Nubia Janeth. Lógica Matemática. Unad. Colombia 1998.

 SUPPES, Patrick, HILL, Shirley. Introducción a la Lógica Matemática. Reverté. Colombia

1976.

 GUTIERREZ, Fabio. Lógica. Una síntesis didáctica. Fund. Universitaria de Boyacá.

Colombia 2001.

Direcciones de sitios web.

[Link]

[Link]

[Link]

[Link]
%C3%B3gica%[Link]

[Link]