Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Antes de profundizar en este sentido, conviene tener muy claro que las
proposiciones cuentan, casi siempre, con la palabra ‘es’ o ‘está’ para hacer referencia a un
estado de situación permanente o provisoria.
Existen proposiciones universales (en las que se generaliza un estado para todo elemento
que cumpla con una característica) y existen proposiciones particulares (cuando el sujeto
está tomado de su extensión particular).
Tanto las universales como las particulares podrán ser negativas o positivas, expresando
un estado de situación o la ausencia misma de ese estado, que también constituye una
proposición. Esto ya lo vimos anteriormente.
Las proposiciones simples o atómicas son aquellas que expresan un estado de situación
en su estado más sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo
‘es’. Existe tanto en el ámbito de la matemática como en el de otras disciplinas, e incluso
para cuestiones que no son relativas a ninguna de ellas. Se caracteriza por no tener ningún
término que condicione la proposición de ninguna manera.
Ejemplos de proposiciones simples son:
- Esa lata es azul.
- Todo es importante.
- Los humanos carnívoros se alimentan de verduras. (Proposición falsa)
- Mi casa es sucia.
- Mi hermano estudia en la universidad.
Las variables son los enunciados simples que no pueden descomponerse en otros más
simples y se representan mediante las letras minúsculas: p, q, r, s, t....., etc.
Así, por ejemplo, a continuación escribimos proposiciones que simbolizamos por las
variables “p” y “q” y en el segundo caso se usa un conectivo “así como”:
a) Isabel es bonita.
p
A continuación ves una tabla que despliega todas las conectivas lógicas que ocupan a la
lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos
que se utilizan para representarlas.
Expresión
en el Símbolos
Conectiva Ejemplo Símbolo
lenguaje alternativos
natural
Negación no No está enfermo.
Conjunción y Está enfermo y está sano.
Disyunción o Está enfermo o está sano.
Condicional Si está sano, entonces es
si… entonces
material fuerte.
Está fuerte si y sólo si sale
Bicondicional si y sólo si
a jugar fútbol.
Negación
ni… ni Ni está fuerte ni está débil.
conjunta
Disyunción O bien está fuerte, o
o bien… o bien
excluyente bien está débil.
Símbolos auxiliares
Otros símbolos que tenemos en lógica son los símbolos auxiliares, que sirven para
organizar las proposiciones. Estos son paréntesis, (, ),corchetes [,], y llaves {,}. Gracias a
ellos podemos organizar proposiciones más complejas como la siguiente:
Si Juan viene o María llama por teléfono entonces Lucas y Pepa van a estar contentos
p q r s
p= Juan viene
q= María llama por teléfono
r= Lucas va a estar contento
s= Pepa va a estar contento
(p q) (r s)
Por ejemplo:
- Proposición: “No soy millonario”.
p
- Simbolización: ¬ p
p ¬p p ¬p
1 0 V F
0 1 F V
Disyunción: La disyunción solamente es falsa si lo son sus dos proposiciones; y cuando
una de las proposiciones es verdadera, o cuando ambas lo son, se constituye en verdadera.
Por ejemplo:
- Proposición: “Juan es trabajador o es exitoso”.
p q
- Simbolización: p ∨ q
p q p∨q p q p∨q
1 1 1 V V V
1 0 1 V F V
0 1 1 F V V
0 0 0 F F F
Por ejemplo:
- Proposición: “El voleibol es un deporte y las damas chinas es un juego”.
p q
- Simbolización: p ∧ q
p q p∧q p q p∧q
1 1 1 V V V
1 0 0 V F F
0 1 0 F V F
0 0 0 F F F
Condicional: El condicional solamente es falso cuando primera proposición es
verdadera y la segunda es falsa (de la verdad no se puede seguir la falsedad). Y es
verdadero en cualquier otro caso.
Por ejemplo:
- Proposición: “Si se mete a la piscina entonces se ahogará”.
p q
- Simbolización: p → q
p q p→q p q p→q
1 1 1 V V V
1 0 0 V F F
0 1 1 F V V
0 0 1 F F V
Por ejemplo:
- Proposición: “Te ha mentido si y sólo si ella es la profesora”.
p q
- Simbolización: p ↔ q
p q p↔q p q p↔q
1 1 1 V V V
1 0 0 V F F
0 1 0 F V F
0 0 1 F F V
Disyunción excluyente: La disyunción excluyente solo es verdadera cuando los valores de verdad de sus
proposiciones son opuestos
Por ejemplo:
p q p q p q p q
1 1 0 V V F
1 0 1 V F V
0 1 1 F V V
0 0 0 F F F
Negación conjunta: La negación conjunta solo es verdadera si los valores de verdad de sus dos
proposiciones son ambos F.
Por ejemplo:
p q p q p q p q
1 1 0 V V F
1 0 0 V F F
0 1 0 F V F
0 0 1 F F V
Dimensiones del Saber - Hacer
Actividades
1. Completa el siguiente cuadro de dominio con la información solicitada.
Expresión
en el
Conectiva Ejemplos Símbolo
lenguaje
natural
1. _____________________________
_____________________________
Conjunción y 2. _____________________________
_____________________________
1. _____________________________
_____________________________
Disyunción o 2. _____________________________
_____________________________
1. _____________________________
_____________________________
Negación no 2. _____________________________
_____________________________
1. _____________________________
_____________________________
Bicondicional si y sólo si 2. _____________________________
_____________________________
1. _____________________________
_____________________________
Condicional Si…
2. _____________________________
material entonces
_____________________________
1. _____________________________
_____________________________
Negación
Ni… ni… 2. _____________________________
conjunta
_____________________________
1. _____________________________
_____________________________
Disyunción O bien… o
2. _____________________________
excluyente bien
_____________________________
2. Sean las proposiciones atómicas p= “hace frío” y q= “está lloviendo”. Traduce a lenguaje natural
las proposiciones moleculares siguientes:
p
p∧q
p∨q
q→p
p→ q
p∧ q
Veremos el método acumulativo para construir una tabla de verdad con tres o más variables
seguiremos los siguientes pasos:
Observa el ejemplo. Vamos a formular una proposición y hallar su tabla de verdad correspondiente.
Tenemos la proposición “Si su padre viene de viaje María estará en casa y su hermano Juan también”
1) Identificamos las proposiciones atómicas y asignamos variables a cada una
p= su padre viene de viaje
q= María estará en casa
r= Su hermano juan estará en casa
2) Fórmula lógica: P (q r)
3) Preparamos la tabla
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
4) Introducimos las columnas necesarias para cada una de las sub-fórmulas y asignamos los valores de
verdad según las tablas correspondientes atendiendo a los valores de las variables
p q r q r
V V V V
V V F F
V F V F
V F F F
F V V V
F V F F
F F V F
F F F F
5) Finalizamos con la formación de una columna con la fórmula dada para identificar sus valores de
verdad de acuerdo a los valores hallados previamente
p q r q r P (q r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V
Otro ejemplo:
Actividades
1. Formula las siguientes proposiciones identificando sus variables y las operaciones realizadas
PROPOSICIÓN FÓRMULA
Los más virtuosos tocan el violín o el piano p (q r)
p= los más virtuosos
q= tocan el violín
r= tocan el piano
Operaciones?: implicación, disyunción
Mi hija y tus hijos estudian en primaria, y son alumnos de Juan
p= mi hija estudia en primaria
q= tus hijos estudian en primaria
r= alumnos de juan
Operaciónes?:
Si quienes jugar futbol debes traer tus botas y tu propia polera
p=
q=
r=
Operaciónes?:
Si no te gusta la carne o el pollo, no vas a disfrutar en mi
restaurante
p=
q=
r=
Operaciónes?:
No es verdad que Claudia viva con su tía pero va a visitarla
cada semana y come con ella
p=
q=
r=
Operaciónes?:
Si usted no cometió el crimen entonces ni es un delincuente ni
merece ser encarcelado
p=
q=
r=
Operaciónes?:
Fórmula: (P q) r
p q r P q (P q) r
Fórmula: P (q r)
p q r q r P (q r)
Fórmula: (p q) r
p q r r p q (p q) (p q) r
p (q r)
p q r p q r p (q r)
p (q r)
p q r p q r p (q r)
LÓGICA DE CLASES
Se le llama en lógica “clase” al conjunto posible de individuos agrupados según una propiedad común,
tengan estos existencia efectiva o no. La clase por tanto es una abstracción de la propiedad, por eso se
dice que puede darse el caso de que no haya ningún individuo que forme parte de ella. Así, por ejemplo,
la clase formada por “los estudiantes becados en Bolivia” sí tiene un número concreto de individuos que
la conforman, pero la clase formada por “los caballos alados” es una clase vacía.
Cada clase es determinada por un concepto abstracto, el concepto mamífero por ejemplo determina la
clase de todos los individuos que tienen la propiedad de ser mamíferos. También podemos decir el
conjunto de todos los mamíferos.
Ejemplos de conjuntos:
Si prestas atención a los ejemplos verás que hay diferentes tipos de conjuntos, y que la existencia en el
mundo conocido no es requisito para que haya el concepto del mismo y por tanto se considere la clase.
Además, verás que hay conjuntos que por su propia definición no pueden tener ningún individuo que
forme parte, que los hay finitos e infinitos. Podemos destacar dos tipos:
1. La clase universal: es la clase formada por todos los individuos de una categoría dada. Por
ejemplo si tenemos la clase de los baloncestistas, la clase de los futbolistas, la de los nadadores,
atletas, gimnastas… podemos afirmar que hay una clase que abarca a todas ellas: sería la clase
de los deportistas
2. La clase vacía: es la clase que no tiene ningún elemento. Por ejemplo podemos enunciar la clase
de habitantes de seres vivos que viven eternamente, pero no podremos encontrar ningún
elemento que la componga.
La teoría de conjuntos es obra del matemático Jorge Cantor. Es una de las teorías más importantes para
las matemáticas. Permite además las operaciones de la lógica.
Para nombrar las clases utilizamos las letras mayúsculas del alfabeto latino: A,B, C… Y se las representa
gráficamente a través de los diagramas de Venn.
A
En el ejemplo anterior hemos representado la clase formada por todos los ciudadanos de Bolivia dentro
de la clase universal ciudadanos del mundo. La notación que hemos utilizado es la siguiente:
A={x / x es una vocal del alfabeto latino}, que se lee: el conjunto A formado por todos los elementos “x”
tal que “x es una letra del alfabeto latino”. Esta forma de definir una clase se llama definición
intensional. En sí, tenemos dos formas de definir los elementos que pertenecen a una clase:
1. Definición intensional: es aquella que da las condiciones necesarias y suficientes para que un
elemento pertenezca a ese conjunto.
Por ejemplo: A={x / x es vocal del alfabeto latino español}, B={x / x es número par}, C={x / x es
días del año que son feriados}
2. Definición extensional: es aquella que presenta los elementos del conjunto.
Por ejemplo: A={a, e, i, o, u}, B={2, 4, 6, 8, 10…}
Cuando un individuo forma parte de una clase se dice que pertenece a ella. Se simboliza: e ∈ A. Y se lee:
e es un elemento del conjunto A.
Por el contrario, cuando un individuo no forma parte, se dice que no pertenece. Se simboliza: z ∉ A.
Y se lee: z no es un elemento del conjunto A.
OPERACIONES CON CLASES
1. Conjunto complementario
El conjunto complementario de otro
2. Intersección conjunto dado, o clase
U complementaria de otra, es aquella
-A 3. Unión de e
4. Subconjunto formada, por todos aquellos
5. Diferencia individuos que pertenecen a la clase
A universal pero no pertenecen al
primer conjunto.
En el caso del diagrama que presentamos, el complementario de A (que se escribe -A) es el formado por
todos los elementos que no forman parte de A.
Por ejemplo si A={x / x es nacido en Bolivia} y B={x / x es mujer}, A ∩ B ={x / x es mujer boliviana}
3. Conjunto diferencia
U
Dados dos conjuntos A y B, el conjunto diferencia,
4. Inclusión
La inclusión identifica un conjunto como parte de
U otro conjunto. Cada elemento de B es también
elemento de A.
Por ejemplo, si definimos el conjunto A={x / x es
B número natural}, y B={x / x es número impar},
A
podemos decir que B está incluido en A. Que se
representa B ⊂ A.
Actividades
1. Representa la relación entre los siguientes conjuntos mediante un diagrama de Venn:
LÓGICAS PLURIVALENTES
Hasta ahora hemos mantenido siempre dos valores de verdad: V, verdadero, y F, falso.
Se le llama por esto lógica bimodal. El principio para este tipo de lógica es el de tercero
excluido, que rechaza justamente la posibilidad de una tercera opción para poder
fundamentar todas las leyes de la lógica que permiten operar como hemos visto. Sin
embargo ni todas las culturas admiten tal principio ni la física más actual lo considera
como inamovible.
Desde el punto de vista físico, Werner Heisenberg enunció a principios del siglo XX el
principio de indeterminación. Según este principio el sistema de referencia utilizado
para conocer y determinar la posición de un elemento (en este caso se trata de una
partícula electrón) es justamente lo que lo modifica, por lo que en la observación del
mismo siempre se introduce un error imposible de salvar. Se dice por tanto que la
observación es aproximada y hay un margen de indeterminación.
A partir del reconocimiento de esta indeterminación es que surge en lógica el afán de
incluir la posibilidad de un tercer valor intermedio entre V y F. De manera que un
enunciado puede tener al menos tres valores: 1, 0 y ½. Habiendo admitido esto, la
lógica plurivalente define las tablas de valores de verdad para las operaciones lógicas.
Desde una lógica que considera tres valores de verdad, la tabla de verdad de la negación
tendría ahora la siguiente forma: