Qué son las tablas de la verdad

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y
conocidos de la lógica formal, pero la mismo tiempo también uno de los más
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender bien a la lógica formal misma.

P Q ^Q

1 1 1

1 0 0

0 1 0

0 0 0

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

propiedades lógicas y semánticas de enunciados del lenguaje natural o de
fórmulas del lenguaje del cálculo proposicional:
1. . Sin son tautológicas, contradictorias o contingentes
2. . Cuáles son sus condiciones de verdad
3. . Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y
de qué otras proposiciones se siguen lógicamente.
Las tablas de la verdad
Estas tablas pueden construirse haciendo una interpretación de los signos lógicos
como: no, o, y, si…entonces, sí y sólo si. La interpretación corresponde al sentido
que estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deducción
lógico matemática. En consecuencia, las tablas de verdad constituyen un método
de decisión para chequear si una proposición es o no un teorema. Para la
construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0
(cero) a una proposición falsa.
 Negación: El valor de verdad de la negación es el contrario de la
proposición negada.
 La conjunción sirve para indicar que se cumplen dos condiciones
simultáneamente, por ejemplo:
La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben
ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.
 Disyunción: La disyunción solamente es falsa si lo son sus dos
componentes.
Con la disyunción a diferencia de la conjunción, se representan dos expresiones
que afirman que una de las dos es verdadera, por lo que basta con que una de
ellas sea verdadera para que la expresión p ∨ q sea verdadera.
 Condicional: El condicional solamente es falso cuando el antecedente es
verdadero y el consecuente es falso. De la verdad no se puede seguir la
falsedad.

P Q PVQ

1 1 1

1 0 1

1 1 1

0 0 0

 Bicondicional :El bicondicional solamente es cierto si sus componentes

tienen el mismo valor de verdad.

P Q P®Q

1 1 1

1 0 1

1 1 1

0 0 1

Se denomina tautología una proposición que es cierta para cualquier valor de

verdad de sus componentes. Por tanto, la última columna de su tabla de verdad
estará formada únicamente por unos. Contradicción es la negación de una
tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de
sus componentes. La última columna de la tabla de verdad de una contradicción
estará formada únicamente por ceros.

Notación y representación de conjuntos

Los objetos que forman un conjunto son llamados miembros o elementos. Por
ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede
escribir así:

{ a, b, c, ..., x, y, z}

Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:

El conjunto { a, b, c } también puede escribirse:

{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teoría de conjuntos se acostumbra no repetir a los elementos por ejemplo:

El conjunto { b, b, b, d, d } simplemente será { b, d }.

Los conjuntos se denotan por letras mayúsculas: A, B, C,... por ejemplo:

A={ a, c, b }

B={ primavera, verano, otoño, invierno }

SUBCONJUNTO

Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }

En este caso decimos que B esta contenido en A, o que B es “subconjunto” de A.

En general si A y B son dos conjuntos cualesquiera, decimos que B es un
subconjunto de A si todo elemento de B lo es de A también.

UNIVERSO O CONJUNTO UNIVERSAL

El conjunto que contiene a todos los elementos a los que se hace referencia recibe
el nombre de conjunto Universal, este conjunto depende del problema que se
estudia, se denota con la letra U y algunas veces con la letra S (espacio muestral).

Por ejemplo si solo queremos referirnos a los 5 primeros números naturales el

conjunto queda:

U={ 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:

Conjunto de números naturales (enteros mayores que cero) representados por la

letra N donde
N={ 1, 2, 3, .... }

Conjunto de números enteros positivos y negativos representados por la letra Z

donde
Z={..., -2, -1, 0, 1, 2, ... }
Conjunto de números racionales (números que se representan como el cociente
de dos números enteros {fracciones}). Estos números se representan por una Q
Conjunto de números irracionales (números que no puedan representarse como el
cociente de dos números enteros) representados por la letra I.
Conjunto de los números reales que son los números racionales e irracionales es
decir todos, representados por R.

Todos estos conjuntos tienen un número infinito de elementos, la forma de

simbolizarlos por extensión o por enumeración es de gran utilidad cuando los
conjuntos a los que se hace referencia tienen pocos elementos para poder trabajar
con ellos se emplean la notación llamada comprensión.

Por ejemplo, la denotar el conjunto de los números naturales menores que 60.
Aquí U es el conjunto N y se tiene una propiedad que caracteriza a los elementos
del conjunto: ser menores que 60.

1. CONCEPTO Y PROPÓSITO DE LOS CONJUNTOS. Un conjunto es una

colección de objetos que tienen algo en común; acada objeto de un conjunto, se
le
denomina elemento. La teoría de conjuntos, es uno de los fundamentos de la
matemática y de los procesos
del ser humano.
Para este caso, de los términos y principios de la teoría de los conjuntos, se
utilizarán para construir
proposiciones matemáticas, de manera más clara y precisa. En síntesis, un
conjunto es una colección bien definida de objetos de cualquier clase.
1.1. DETERMINACIÓN DE UN CONJUNTO
Los conjuntos se pueden determinar de dos formas:
1.1.1 Por Extensión ó Forma Tabular: Un conjunto se determina por extensión, o
sea por enumeración, cuando se listan los elementos del conjunto.
1.1.2. Por comprensión o Forma Constructiva
Un conjunto se determina por comprensión, cuando se da una propiedad, que la
cumplan todos los
elementos del conjunto.
Ejemplo 1
A = {a, e, i, o, u} B = {0, 2, 4, 6, 8} C = {c, o, n, j, u, t, s}
En un conjunto determinado por extensión no se repite un mismo elemento.
Ejemplo 2 (Tomado de Curso Lógica matemática
http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)
A = {x/x es una vocal}
B = {x/x es un número par menor que 10}
C = {x/x es una letra de la palabra conjuntos}
Observe el siguiente cuadro comparativo de determinación de conjuntos:
Por Extensión Por comprensión
A = { a, e, i, o, u } A = { x/x es una vocal }
B = { 0, 2, 4, 6, 8 } B = { x/x es un número par menor que 10 }
C = { c, o, n, j, u, t, s } C = { x/x es una letra de la palabra conjuntos }
D = { 1, 3, 5, 7, 9 } D = { x/x es un número impar menor que 10 }
E = { b, c, d, f, g, h, j, . . . } E = { x/x es una consonante }
2. TIPOS DE CONJUNTOS
2.1. CLASES DE CONJUNTOS
Conjunto Finito: Es aquel conjunto que tiene un número de elementos distintos y
determinado. Cuando no
se puede llegar al final en el conteo de los elementos, el conjunto es infinito.
Conjuntos Iguales: Dos o más conjuntos son iguales, cuando tienen los mismos
elementos, tanto en
número como en tipo. La igualdad se denota A = B. En la igualdad, el orden de
los elementos de cada
conjunto no importa.
Conjunto Vacío: Conjunto vacío o nulo, es aquel que no tiene?????. Se denota
por el símbolo ø o {}.
Ejemplo 3 (Tomado de Curso Lógica matemática
http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)
N = {0, 1, 2, 3, 4, 5, 6, 7, 8, ...} Conjunto infinito
P = {x / x es una ciudad de Colombia} Conjunto finito
V = {3, 6, 9, 12, 15, 18, 21, 24, 27, ... } Conjunto infinito
Ejemplo 4
A = {3, 9,17, 22} y B = {22, 9, 3, 17} A = B
X = {Consonantes de la palabra MERCURIO} y Y = {M, R, C} X= Y
Ejemplo 5
A = { Los caimanes que vuelan } A = { } A = Ø
B = { x / x es un mes que tiene 53 días} B = { } B = Ø
C = { x / x 3 = 8 y x es impar } C = { } C = Ø
D = { x / x es un día de 90 horas } D = { } D = Ø
Conjunto Unitario: Es el conjunto que solo tiene un elemento.
Conjunto Universal: Es el conjunto que contiene a todos los elementos del espacio
muestral existente. Se
denota por la letra U.
Conjunto Potencia: Todos los subconjuntos de un conjunto M, se llaman conjunto
potencia de M, y se
denota como 2M.
Conjuntos Disyuntos: Cuando dos o más conjuntos no tienen ningún elemento en
común, entonces son
disyuntos.
Ejemplo 6(Tomado de Curso Lógica matemática
http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)
A = {5}
B = {números pares entre 16 y 20} = {1 8 }
C = {la capital del Perú} = {Lima}
Ejemplo 7 (Tomado de Curso Lógica matemática
http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)
Sean los conjuntos:
A = {Aves], P = {Peces}, M = {Mamíferos}, D= [Reptiles]. Existe un conjunto que
incluye a los conjuntos A, P, M y D. Y
este es el conjunto U = {animales}, o conjunto universal.
Gráficamente se representa por un rectángulo tal como se observa a continuación
Ejemplo 8 (Tomado de Curso Lógica matemática
http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)
a) M = { 1, 2 }
2 M = { {1}, {2}, {1, 2}, ø}
El conjunto M tiene 2 elementos entonces 2 2 = 4 elementos
Si un conjunto M es finito con "n" elementos, entonces su conjunto potencia 2M
tendrá 2n elementos.
Ejemplo 9 (Tomado de Curso Lógica matemática
http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)
Conjuntos disyuntos Conjuntos no disyuntos
A = { 2, 4, 6 } M = { o, p, q, r, s }
B = { 1, 3, 5 } N = { s, t, v, u }
A y B son disyuntos. M y N no son disyuntos.

Diagramas de árbol en probabilidad

Construir un diagrama de árbol es de algún modo dibujar un análisis de las posibles
situaciones que pueden darse al intentar calcular la probabilidad de un suceso,
especialmente cuando las posibilidades se multiplican unas a partir de otras.

¿Te ha resultado un poco compleja ésta última afirmación? Quédate tranquilo, como
siempre te explicaré con total claridad a partir de un ejemplo sencillo sobre el cuál
iremos haciendo análisis y construyendo el diagrama de árbol a la vez.

Imagina esta situación, de hecho, un problema clásico:

Tenemos una caja donde hay dos pelotas azules y dos rojas. La pregunta es ¿cuál
es la probabilidad de obtener una pelota de color rojo? Es un problema ideal para
representar a través de in diagrama de árbol que nos permitirá razonar. Éste podría
ser el diagrama de árbol en cuestión:
Es clara la conclusión a sacar: existen 3 casos favorables en un total de 4 posibles,
por tanto la probabilidad es 3/4, es decir 0,75.

Otros casos pueden ser más complejos y en ellos, del mismo modo, un diagrama
de árbol ayuda mucho. Por ejemplo imagina que ha habido elecciones en el Consejo
estudiantil de tu escuela y que cuatro son los finalistas del mismo; sus nombres son
Rita, Luis, Paul y Nancy. Pero los cargos a los que aspiran son sólo tres, a saber:
presidente, secretario y tesorero.

La pregunta podría ser… ¿cuáles son las probabilidades de que Paul sea el
presidente, Nancy la secretaria y Luis el tesorero? No es fácil de intuir sin la ayuda
de un diagrama de árbol que podría ser el siguiente, disponiendo los cargos en tres
columnas y escribiendo las diferentes posibilidades a partir de que cada uno de
ellos fuera presidente. Observa:

Allí queda señalada la posibilidad mencionada, y queda claro que es una sola en 24
posibles. Pero de aquí también podemos extraer una forma matemática de hacer el
cálculo: observa que 4 son las posibilidades diferentes de presidente (por que son
cuatro personas) y en cada una de ellas son 3 los posibles secretarios (los otros
tres postulantes) y a su vez, para cada uno de ellos, 2 podrían ser los posibles
tesoreros (los otros dos postulantes). Multipliquemos entre sí esos números y nos
dará el espacio muestral:
 4 x 3 x 2 = 24
Como puedes ver, los diagramas de árbol son un instrumento muy útil a la hora de
realizar cálculos de probabilidad. Te recomiendo hacerlos cada vez que tengas
dudas, o que simplemente no recuerdes las fórmulas que aprenderemos en pocos
días.

Diagrama de Euler

Un diagrama de Euler nonecesita mostrar todas lasposibles intersecciones.

Un diagrama de Vennmuestra todas las posiblesintersecciones.

Ejemplos de diagramas deVenn con regionessombreadas representandoconjuntos vacíos, fáci

lmentetransformables a diagramasde Euler.
Un diagrama de Euler es una manera diagramática de representar a los conjuntos y sus relac
iones. Son unarepresentación moderna de los círculos de Euler, los cuales deben su nombre a
su creador, Leonhard Euler.
Los diagramas de Euler normalmente consisten de simples curvas cerradas en el plano que so
n usadas paradescribir conjuntos. Las relaciones espaciales entre las curvas (superposición, c
ontención o ninguno) corresponden, respectivamente, a relaciones de intersección, subconjunt
o y disjuntes, de la teoría de conjuntos.
Estos diagramas son una generalización del bien conocido diagrama de Venn, el cual represe
nta todas lasposibles intersecciones entre los conjuntos presentes dados.
A la intersección del interior de una colección de curvas con el exterior del resto de curvas se l
e llama zona. Así, dado un conjunto de curvas, en los diagramas de Venn todas las zonas deb
en estar presentes, pero no así en undiagrama de Euler, donde algunas zonas podrían no esta
r.
En el sentido de la lógica, uno puede usar la semántica de un modelo teórico para interpretar l
os diagramas deEuler dentro de un dominio de discurso. En el ejemplo de la figura, el diagram
a de Euler representa que losconjuntos Animal y Mineral son disjuntos, porque las curvas corr
espondientes son disjuntas, y también que elconjunto Four Legs es un subconjunto del conjunt
o Animal. El diagrama de Venn que usa las mismas categoríasAnimal, Mineral y Four Legs no
encapsula esta información. Tradicionalmente, este vacío de un conjunto en losdiagramas de
Venn es descrito por un sombreado o achurado de la región. Los diagramas de Euler, en cam
bio, representan vacío ya sea por el sombreado o por la omisión de una de las zonas.
A menudo se impone un conjunto de condiciones bien formadas, que corresponden a restricci
ones topológicas ogeométricas impuestas a la estructura del diagrama. Por ejemplo, se puede
forzar la conectitud de las zonas, oprohibir la concurrencia de curvas o puntos múltiples como
forma de representar intersecciones tangenciales decurvas. En el diagrama de abajo, se obser
va la transformación secuencial de pequeños diagramas de Venn endiagramas de Euler; algun
os de los diagramas intermedios tienen concurrencia de curvas. Sin embargo, estasecuencia d
e transformaciones desde un diagrama de Venn con sombreado hasta un diagrama de Euler si
nsombreado, no es siempre posible. En efecto, existen ejemplos de diagramas de Euler con 9
conjuntos que no sondiagramables usando curvas cerradas simples y sin la creación de zonas
no deseadas, puesto que ellos tendríanque tener grafos duales no planares.