LÓGICA PROPOSICIONAL

1. Proposiciones Lógicas

Holas queridos amigos, esta es la primera sección del capítulo

de lógica proposicional o lógica de enunciados. Esta sección
será dedicada al estudio de las proposiciones lógicas.

La proposición tienen muchos conceptos según el enfoque de

estudio, incluso en un curso completo de lógica y filosofía
resulta ser un tema muy extenso, pero para este capítulo
de álgebra de proposiciones, el estudio de una proposición es
un tema muy sencillo y elemental.

Tenga en cuenta que la lógica proposicional es un curso

completamente informal, ya que el estudio de la lógica de
manera formalizada define sus conceptos con la teoría de
conjuntos, coexisten entre si y no es posible desvincularlos (te lo
digo por experiencia). Sin más que decir, comencemos con el
concepto de proposición.

 1 ¿Que es una proposición?

En matemática y lógica llamamos proposición o variable
proposicional aquel enunciado que puede ser verdadero o falso,
pero no los dos a la vez.

Si bien es cierto que los ejemplos que mostraremos en breve son

puramente literales, la lógica proposicional no tiene en cuenta
la estructura del argumento, sino de los valores de verdad que
en ellas reside.

Es cosa nuestra averiguar si el argumento es verdadero o falso y

eso es lo único que estudia la lógica proposicional, por esta
razón, las proposiciones en matemáticas se simbolizan con
letras minúsculas sin importar el tipo de argumento estudiado,
pero esto lo veremos mas adelante. Veamos los siguientes
ejemplos proposicionales de manera literal.

o 1.1 Ejemplos
 Todos los perros tiene cuatro patas. (Verdadero)

1
  Una gallina es un perro. (Falso)
 La gallina tiene cuatro patas. (Falso)
 Si los perros tiene cuatro patas y la gallina es un perro, entonces
la gallina tiene cuatro patas. (Verdadero) en el apartado
del contexto lógico explico el valor de verdad de esta
extraña incongruencia.

En lingüística, estas proposiciones se les conoce

como oraciones aseverativas, sin embargo, el concepto de
proposición es completamente diferente en la teoría lingüística,
también podemos presentar distintos enfoques del concepto
de proposición según el área de estudio, comenzaremos por el
contexto etimológico.

 2 Contexto etimológico
La proposición viene del latín “propositio” y literalmente
hablando significa a favor o acción de proponer, al parecer,
indica una propuesta de algo a alguien.
 3 Contexto coloquial
En este contexto, una proposición puede referirse a la idea
misma para expresar una situación que previamente habíamos
pensado, es decir, decidido, ¿Pero con que objetivo?, tenemos
dos casos alternos:

 Para indicarle una posibilidad o alternativa de aceptación

voluntaria a una segunda persona.
 O una propuesta a notros mismos, es decir, fijarnos un
determinado fin.

 4 Contexto gramatical
 En gramática, una proposición es una oración con sujeto y
predicado, con la capacidad de lograr otros significados
similares o distintos si le añadimos o quitamos palabras
(complementos) sin que pierda su significa particular.
 De hecho, puede relacionarse con otras proposiciones para
formar una oración mas grande, es decir, oraciones
compuestas.

o 4.1 Ejemplo

2
 Sea la proposición gramatical: “La mayoría de mis amigos se van
de paseo al cuzco en un tren que resulta ser súper rápido y acampar
allí para comer tallarín verde junto con sus madres”. De esta
oración, podemos extraer otras proposiciones más:

o La mayoría de mis amigos se van del paseo.

o Mis amigos se van de paseo.
o Mis amigos se van acampar allí
o Un tren que resulta ser super rápido.
o Mis amigos comerán junto con sus madres.
o Comerán tallarin verde junto con sus madres.

 5 Contexto lógico
 Siendo este tipo de proposición el tema central de la
sección actual, decimos entonces que una proposición es
un enunciado que puede ser verdadero o falso.
 Por tal razón, una proposición debe tener una estructura
bien formalizada que de cuenta de la lógica de la realidad
como la lógica de lo abstracto (como las matemáticas)
incluso si entre ellas mismas se contradicen.

o 5.1 Ejemplo
Si decimos que todos los números pares son de color verdes,
entonces el numero 4 es de color verde, en el contexto de la
realidad es ilógico pensar que los números se pueden
clasificar por colores, pero en lo abstracto, la lógica de la
conclusión es verdadera.
 6 Contexto filosófico
 En el contexto filosófico, una proposición es un juicio de
valor que expresa algo (predicado) sobre un sujeto de la
oración, en otras palabras afirma o niega algo. Ojo, no se
ha dicho nada si la negación o afirmación es verdadera o
falsa.
 En este caso, la proposición no es mas que una emision de
información de un juicio por medio de una oración sea
verbal o escrita. Por ultimo, es criterio de nosotros indicar
si resulta ser verdadera o falsa.

 7 Contexto desde la lógica de predicados

3
  En la lógica de primer orden o lógica de predicados no
solo se toma en cuenta el valor de verdad de una
proposición, sino también al sujeto y predicado de los
argumentos aseverativos, sin embargo, desde este
contexto también toma en cuenta los enunciados abiertos,
estos son llamados funciones proposicionales y se les
asigna un valor especifico para transformarlos en
variables proposicionales es decir, proposiciones lógicas.
 La lógica de primer orden realiza un estudio mas
profundo de la lógica de un argumento, le interesa como
esta escrito el argumento y existen una serie de conceptos
que incluye de manera obligatoria y necesaria a la teoría
de conjuntos.

 8 Valor de verdad de una proposición

 En lógica proposicional no se toma en cuenta
al sujeto y predicado, por lo menos no de manera
simboliza (ya te explicaré mas adelante el porque), aunque
para estudiar el valor de verdad de una proposición, es
necesario resaltar tanto al sujeto y predicado. Un estudio
mas formal del sujeto y predicado se puede estudiar en un
curso de lógica de primer orden.
 El sujeto es la variable y el predicado es el juicio de la
variable, y el valor de verdad de un enunciado depende
de lo que dice el predicado de la variable. Si el sujeto es
una variable conocida, entonces el enunciado es
una proposición, si el sujeto es una variable desconocida,
entonces este tipo de enunciados se les llama enunciados
abiertos.

o 8.1 La lógica de valor de verdad

El valor de verdad de una proposición no necesariamente
“habla” de la realidad en que vivimos y el sentido común y
corriente de nuestro entorno palpable, también puede ser
abstracto, incluso si dicha abstracción es ilógica para aquellas
proposiciones que habla sobre la realidad.
 8.1.1 Ejemplo

4
 
Si los españoles son europeos y Alejandro Sanz es español,
entonces, Alejandro Sanz es europeo.
 Si los números pares son de color verde, entonces el numero 4 es
de color verde.

La proposición 1 habla sobre una realidad palpable, sin

embargo, la lógica proposicional no toma en cuenta el
argumento, sino el valor de verdad que nosotros le asignemos,
en este caso, la semántica de los argumentos en lógica
proposicional queda sobreentendida.

La proposición 2 es incongruente con la realidad, los números

no se pueden clasificar en colores, son entes intangibles, sin
embargo, al tomar de manera abstracta la lógica de la premisa
como verdadera (los números pares son verdes), la conclusión
resulta ser correcta y lógica.

o 8.2 No toda proposición tiene sujeto

Esto solo aplica aquellas proposiciones con escritura gramatical
y no desde el lenguaje matemático, un ejemplo de una
proposición sin sujeto según sea la circunstancias del caso
pueden presentarse según los siguientes ejemplos:

o “Es de día“. Puede ser verdadero según la circunstancias,

por ejemplo, puedes determinar su valor de verdad en el
momento que estas leyendo estos párrafos, dime tu ¿Es de
día o es de noche?.
o “Hoy llueve“. puede ser verdadero si resulta ser cierto o
falso si no es el caso.

Sin embargo, en matemáticas es muy necesario la existencia de

sujetos en las proposiciones ya que estas pueden ser
representadas por variables o valores numéricos o complejos.
 9 ¿Que es un enunciado abierto?
 Llamamos enunciado abierto cuando el sujeto es una
variable desconocida para el predicado de un enunciado
dado, en otras palabras, no sabemos si puede ser
verdadera o falsa.

5
 Los enunciados abiertos también llamadas funciones
proposicionales representan incertidumbre ya que no tenemos
datos del sujeto y simplemente no sabemos si son verdaderos o
falsos.

El predicado solo afirma o niega algo del sujeto, un sujeto

incógnito o indefinido. Pero cuando el sujeto admite un valor
fijo, el enunciado abierto se transforma en una
proposición donde este puede ser falso o verdadero.

Sin embargo, no es necesario que los sujetos de las enunciados

abiertos les asignemos un valor dado para transformarlo en
proposiciones, a este tipo de enunciados se les puede agregar
unas frases especiales que tiene un símbolo especial llamadas
cuantificadores, esto lo estudiaremos en las ultimas secciones
de lógica proposicional.

o 9.1 Ejemplo
 es un enunciado abierto. (La variable es una incógnita)
 Ella es muy bella. (“Ella” es una incógnita)
 El grupo está muy contento. (“Grupo” es una incógnita)

En estos ejemplos, la variables xx, Ella y Grupo son incógnitas,

lo que implica que los enunciados dados son enunciados
abiertos.
 10 Proposiciones simples y compuestas
Generalmente las proposiciones se pueden catalogar en
proposiciones simples y compuestas, una contiene a la otra,
aunque también se les llama proposiciones particulares y
universales respectivamente, pero en el transcurso del curso de
lógica proposicional esta distinción resulta muy poco útil y solo
es meramente reverencial, ya se darán cuenta a medida que
desarrollemos el curso.
o 10.1 Proposición simple o atómica
Las proposiciones simples o atómicas son aquellas
proposiciones que tienen un sujeto y predicado.
 10.1.1 Ejemplo
 Lima es la capital de Perú.

6
  La lógica proposicional estudia los valores de verdad de las
proposiciones.
 Los peces viven en el mar.

Las palabras en color rojo son los sujetos, y en verde los

predicados. Como vemos que estas proposiciones tienen a lo
mas un sujeto y predicado, entonces son proposiciones simples
o atómicas, también son llamados proposiciones particulares.
Ahora ya sabes lo que es una proposición simple.

Nota: Para la lógica formal, el predicado en el primer ejemplo

resulta ser “es la capital de” y los sujetos son “Lima” y “Perú”.
La razón es muy sencilla, la lógica formal generalmente estudia
variables, es decir, enunciados abiertos, ya que el enunciado 1
puede escribirse como “xxes la capital de yy” donde xx e yy son
los sujetos del enunciado.
o 10.2 Proposición compuesta o molecular
 Las proposiciones compuestas o moleculares son aquellas
proposiciones que tiene por lo menos dos sujetos o dos
predicados.
 Una propiedad de las proposiciones compuestas, también
llamadas proposiciones universales, es que se pueden
separar en proposiciones atómicas.

 10.2.1 Ejemplo

“Ana y María son abogadas“, son dos proposiciones
compuestas y se pueden separar en dos proposiciones
atómicas: “Ana es abogada” y “María es abogada“.
 “Mi perro tiene orejas y cola“, se puede separa en “Mi
perro tiene orejas” y “Mi perro tiene cola“.
 “Lucho es gracioso o sarcástico“, se puede separar en
“Lucho es gracioso” y “Lucho es sarcástico“.
 “Si xx es un numero par, entonces xx es un numero entero“, se
puede separar en “xx es un numero par” y “xx es un numero
entero“.

Las palabras en color lila son conectores lógicos, importantes

para unir proposiciones, pero antes de tratar con ellas, veamos

7
 como se representan simbólicamente las proposiciones lógicas.
Ahora ya sabes lo que es una proposición compuesta.

 11 Representación matemática de las proposiciones

La lógica de proposiciones a nivel simbólico es pobre porque no
hay un análisis matemático de la estructura de los argumentos
como lo hace la lógica de primer orden, la lógica proposicional
solo se limita a estudiar las propiedades de los conectores
lógicos.

Otro punto en contra es que la simbolización de las

proposiciones es limitante ya que no realiza ninguna distinción
entre una proposición simple y compuesta. Veamos algunos
ejemplo de como podemos representar simbólicamente las
proposiciones.

o 11.1 Ejemplos
 p: mi loro es verde.
 q: mi perro tiene cuatro patas.
 r: mi loro es verde y mi perro tiene cuatro patas. En este caso
podemos escribir como r=p y q
o 11.2 Tipos de proposiciones lógicas
Existen solo 6 tipos de proposiciones lógicas y se clasifican
según el conector lógico que estas admitan, veamos 6
ejemplos que diferencian a este tipo de proposiciones.
 11.2.1 Ejemplo
 Aquellas aves tiene alas y los pingüinos no vuelan.
(Conjunción)
 Los perros tienen cuatro patas o el gato tiene cola. (Disyunción
lógica)
 O estoy con frío o estoy con calor. (Disyunción exclusiva)
 Si los perros tiene cuatro patas, entonce es cuadrupedo.
(Condicional)
 xx es par si y solo si x≠2n+1x≠2n+1. (Bicondicional)
 Los gatos no son peces. (Negación)

Solo las proposiciones compuestas admiten los conectivos

lógicos, la proposición simple no admite ninguna.

8
 o 11.3 Relación proposición-valor de verdad
Si tenemos 4 proposiciones pp, qq, rr y ss donde pueden ser
verdaderas VV y falsas FF, podemos encontrar una relación
“proposición-valor de verdad”, esto es, una correspondencia
entre proposiciones y sus valores de verdad tal como se
muestra en el siguiente diagrama.

Si existe un conjunto de proposiciones de

proposiciones P={p1,p2,p3,…pn}P={p1,p2,p3,…pn} y un conjunto de
valores de verdad V={V,F}V={V,F}, la relación entre PP y VV es:

f(pn)={V,si pn es verdadera F,si pn es falsa(pn)={V,si pn es

verdaderaF,si pn es falsa
Donde pnpn puede ser verdadera o falsa, pero no ambas a la vez. Esto es lo que llamas
correspondencia de f de P a V.
 12 Conectivas lógicas de las proposiciones
Existen 6 conectivas lógicas y son la conjunción, disyunción
inclusiva, disyunción exclusiva, condicional, bicondicional y la
negación, esta ultima no es exactamente un conectivo lógico,
resulta un operador que afecta a una sola proposición. Veamos
cada una de ellas.
o 12.1 Negación lógica
 La negación lógica a nivel lingüístico cambia el valor de
verdad de una proposición, también es capaz de cambiar
una afirmación a una negación o viceversa.

9
  El símbolo de la negación lógica es “∼∼” y si tenemos una
proposición pp, la negación de dicha proposición
sería ∼p∼p.
 12.1.1 Ejemplo
 pp: Los seres humanos tiene dos pies (Verdadero).
∼p∼p: Los seres humanos no tiene dos pies (Falso).
 qq: el sistema operativo Ubuntu no es de
Microsoft (Verdadero).
∼q∼q: el sistema operativo Ubuntu es de Microsoft (Falso) .
o 12.2 Conjunción lógica
La conjunción lógica es una conectiva lógica que une dos
proposiciones, si las dos proposiciones son verdaderas,
entonces la conjunción es verdadera, si por lo menos una de
ellas es falsa, entonces la conjunción es falsa.

La letra “y” es la conjunción lógica con símbolo “∧∧”, si

tenemos dos proposiciones pp y qq, la conjunción entre estas
proposiciones es p∧qp∧q.
 12.2.1 Ejemplos
 p: Los perros tiene 2 orejas.
q: Los perros tiene 4 patas.
p∧q: Los perros tienen 2 orejas y 4 patas.
 r: Los números pares son números naturales.
s: Los números primos son números naturales.
r∧s: Los números pares y primos son números naturales.
o 12.3 Disyunción lógica
También se le llama disyunción inclusiva, generalmente se
representa por la letra “o” y simbólicamente se escribe “∨∨”. Si
tenemos dos proposiciones pp y qq, la proposición formada por
la disyunción lógica seria p∨qp∨q.
El valor de verdad de la disyunción lógica es falsa si las dos
proposiciones que las forman es falsa y la disyunción lógica es
verdadera si por lo menos una proposición es verdadera.

 12.3.1 Ejemplos

10
  p: Los peros tienen 2 patas.
q: Los perros tienen 4 patas
p∨q: Los perros tienen 2 patas o 4 patas.
 r: Los números pares son números naturales.
s: Los números primos son números naturales.
r∨s: Los números pares o primos son números naturales.
o 12.4 Disyunción exclusiva
La disyunción exclusiva es un conectivo lógico representado
por el símbolo △△ que tiene como propiedad incluir solo
aquellas proposiciones donde una y sola de las dos
proposiciones debe ser verdadera para que la disyunción
exclusiva sea verdadera, en caso contrario siempre será falsa.
Si tenemos dos proposiciones pp y qq, la proposición formada
por la disyunción exclusiva se representa así p△qp△q.
Literalmente se representa por la letra “o” dos veces así
“o proposición 1 o proposición 2“, veamos los siguientes
ejemplos.
 12.4.1 Ejemplo
 p: Rosa está fuera de casa.
q: Rosa está dentro de casa.
p△q: Rosa o esta fuera de casa o dentro de casa.
 r: Es de día.
s: Es de noche.
r△s: O es de día o es de noche.
o 12.5 Condicional lógica
También se le llama condicional material y algunas veces se le
confunde con la implicación lógica cuando realmente tienen
significadores diferentes pero similares.

La condicional lógica trabaja tomando una

primera proposición como condición y una segunda
proposición como conclusión, pero solo se centra en el valor de
verdad mas no en su argumento.

Se simboliza con una flecha hacia la derecha así →→ tal que

para dos proposiciones pp y qq llamadas premisa y conclusión

11
 respectivamente, forman una nueva proposición de la
forma p→qp→q y se lee “si pp entonces qq”.

 12.5.1 Ejemplo
: Hoy llueve.
: El piso esta mojado.
: Si hoy llueve, entonces el piso esta mojado.

: Hoy sale el sol.

: Manuel saldrá de casa hoy.
: Si hoy sale el sol, entonces Manuel saldrá de casa.
o 12.6 Bicondicional lógica
La bicondicional lógica es una doble condicional, esto es, la
premisa y la conclusión pueden ser también la conclusión y la
premisa respectivamente.

Simbólicamente la bicondicional lógica se representa así ↔ tal

que para dos proposiciones p y q, la proposición formada por la
bicondicional es p↔q, se lee “p si y solo si q”.
La proposición pp es premisa de la conclusión q como
también qq puede ser premisa de la conclusión p.
 12.6.1 Ejemplo
p: El sol ha salido.
q: Es de día.
1. p↔q: El sol ha salido si y solo si es de día.
2. q↔p: Es de día si y solo si el sol ha salido.

r: 88 es par.
s: 88 es múltiplo de 22.
r↔s: 88 es par si y solo si es múltiplo de 22.
s↔r: 88 es múltiplo de 22 si y solo si es par.
 13 Tabla de verdad de los conectivos lógicos
 Aquí te presento un resumen de la tabla de valores de
verdad de todos los conectivos lógicos estudiados
brevemente hasta el momento. Cada una de estas tablas
lógicas nos indica el comportamiento de cada una de las
conectivas lógicas que mas adelante trataremos con mas
detalle.

12
  Negación Lógica

pp ∼p∼p
VV FF
FF VV
 Conjunción Lógica

pp qq p∧qp∧q
VV VV VV
VV FF FF
FF VV FF
FF FF FF
 Disyunción Inclusiva

p q p∨q
V V V
V F V
F V V
F F F
 Disyunción Exclusiva

pp qq p△qp△q

VV VV FF

VV FF VV

FF VV VV

FF FF FF
 Condicional Lógica

13
 pp qq p→qp→q
VV VV VV
VV FF FF
FF VV VV
FF FF VV
 Bicondicional Lógica

pp qq p↔qp↔q
VV VV VV
VV FF FF
FF VV FF
FF FF VV

 14 Proposiciones equivalentes
Las proposiciones lógicas se puede escribir de diferentes
maneras alterando solo sus conectivos lógicos tal que su valor
de verdad quede inalterado.

Por ejemplo, un proposición equivalente a “Los perros tiene

cuatro patas” es “No es cierto que los perros no tengan cuatro
patas”, la segunda proposición es una doble negación de la
primera y dicen exactamente lo mismo. Veamos mas ejemplos.

 14.0.1 Ejemplo
 “El numero 4 es un numero par” es equivalente a “Es falso
que el numero 4 no sea par“.
 “Si hoy llueve, entonces el piso se mojará” es equivalente a “Si
el piso no se ha mojado, entonces hoy no ha llovido“.
 “Si como mucho dulce, entonces me saldrá sarro” es
equivalente a “Es falso que coma mucho dulce o me saldrá
sarro“.

Con un poco de análisis mental, notarán que estas

proposiciones son completamente equivalentes.

 15 Algunas leyes lógicas

14
  Teniendo en cuenta las conectivas lógicas y las
proposiciones equivalentes, se puede inferir una serie
de leyes proposicionales, leyes lógicas o leyes de
simplificación lógica que las proposiciones (como
también los enunciados abiertos) pueden cumplir. Aquí te
mostraremos algunas leyes lógicas:

Nombre Esquema Molecular

Ley de
involución ∼(∼p)≡p∼(∼p)≡p

Leyes de p∧p≡p
idempotencia
p∨p≡p
p∧q≡q∧p
Leyes p∨q≡q∨pp∨q≡q∨p
conmutativas
p△q≡q△pp△q≡q△p
p↔q≡q↔pp↔q≡q↔p
(p∧q)∧r≡p∧(q∧r)(p∧q)∧r≡p∧(q∧r)
Leyes (p∨q)∨r≡p∨(q∨r)(p∨q)∨r≡p∨(q∨r)
asociativas
(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)≡(p∧q)∨(p∧r)p∧(q∨r)≡(p∧q)∨(p∧r)
p∨(q∧r)≡(p∨q)∧(p∨r)p∨(q∧r)≡(p∨q)∧(p∨r)
Leyes
p→(q∧r)≡(p→q)∧(p→r)p→(q∧r)≡(p→q)∧(p→
distributivas
r)
p↔(q∧r)≡(q↔q)∧(p↔r)p↔(q∧r)≡(q↔q)∧(p↔
r)
Leyes de ∼(p∧q)≡∼p∨∼q∼(p∧q)≡∼p∨∼q
Morgan
∼(p∨q)≡∼p∧∼q∼(p∨q)≡∼p∧∼q
Leyes p→q≡∼p∨qp→q≡∼p∨q
condicionales
∼(p→q)≡p∧∼q∼(p→q)≡p∧∼q
Leyes p↔q≡(p→q)∧(q→p)p↔q≡(p→q)∧(q→p)
bicondicionale p↔q≡(p∧q)∨(∼p∧∼q)p↔q≡(p∧q)∨(∼p∧∼q)

15
 s

Leyes de p→q≡∼q→∼pp→q≡∼q→∼p
absorción
p↔q≡∼q↔∼pp↔q≡∼q↔∼p
Estos son solo algunas de las leyes lógicas que podemos formar
con los conectivos lógicos. Existen otras leyes como la
Tautología, contradictoria, y contingencia, pero todo ello lo
veremos en otras secciones con sus definiciones y ejemplos
respectivos del curso de lógica.

 16 Semántica y sintáctica de una proposición

 Los enunciados semánticos tiene un carácter intuitivo, la
semántica de los enunciados refiere al significado, a la
interpretación que le asignemos a los enunciados
formados por símbolos y caracteres bien definidas de un
lenguaje lingüístico.
 Los enunciados que hemos estudiado en mayor
proporción son las proposiciones, estos adquieren una
semántica tal que puede ser determinadas por ser
verdaderos y falsos.
 Podemos estudiar la semántica desde 3 ángulos, estas son,
la semántica lingüística, la semántica lógica y la
semántica de las ciencias cognitivas (psicología).
Naturalmente esta sección se ha centrado en la semántica
lógica.
 Por ejemplo, supongamos que no supieras leer, por lo que
jamás podrías lograr entender estos párrafos, lo único que
verás es un conjunto de caracteres extraños sin
significado.
 Pero si me lees hasta aquí es porque sabes lo que estoy
diciendo, porque para que estas líneas sean inteligibles no
sólo debemos de proveer de un significado estandarizado
sino también deben tener un orden específico y también
estandarizado para su comprensión, sin embargo, hay
otros estándares que no lograrás comprender como el de
un programador, ya que usamos los mismos caracteres

16
 para realizar programas y/o crear páginas web por código

como esta imagen:

Este es un fragmento de código de la publicación del capítulo

de proposiciones que estás comenzando a leer ahora mismo.
Como puedes ver, usamos los mismos caracteres con algunos
símbolos más para estructurar esta entrada. Lo que hace luego
tu explorador web como Google Chrome, Mozilla, Opera o
cualquier otro navegador web es “renderizarlo” para que lo
puedas ver a tu idioma, tal como tu lenguaje lo entiendes.

17
 Podemos decir entonces que la semántica es lo que tu
interpretas según el lenguaje con que estás familiarizado, por lo
general, para que la comunicación sea fluida y compartida entre
todos, debe ser una semántica estandarizada.

En lógica proposicional es igual, tiene un estándar, aunque

limitado, pero sirve para entender como se comportan las
proposiciones por medio de los conectivos lógicos y los signos
de agrupación, por lo general, las proposiciones se simbolizan
con letras minúsculas como pp, qq y rr tal que pueden ser
determinados como verdaderos VV y falsos FF, estos valores de
verdad son los únicos valores semánticos formalizados en
lógica proposicional, en cuanto la semántica del significado de
los argumentos de las proposiciones dadas se toman de manera
intuitiva pero no son parte del estudio de la lógica
proposicional pero si del estudio de la lógica de predicados o
lógica de primer orden.
 17 Diferencia entre un enunciado y una proposición
Vamos a aclarar las diferencias entre un enunciado y
una proposición. Los enunciados son un acto de habla
expresado por medio de una oración y no son oraciones
propiamente dicha, los enunciados dependen en qué contexto
se hable, porque las oraciones son únicamente “un conjunto
de palabras que expresa un juicio (si es que existe) con sentido
completo y autonomía sintáctica”, es decir, un conjunto de
palabras que dicen algo y nosotros somos lo que le damos una
interpretación.

Una oración puede significar diferentes enunciados según el

contexto que esté, por ejemplo:

o La oración \( x < 7 \). no sabemos si el valor de \( x \) es

un número real, un número complejo, incluso un grupo de
personas, animales o cualquier otra cosa porque no se
especificó el valor de \( x \).

Y al revés, diferentes oraciones pueden significar el mismo

enunciado, por ejemplo:

18
 o ¿Cual es el valor de \( x \)?
o Hallar el valor de \( x \).
o Averiguar el valor de \( x \).
o ¿Cual sería el valor de \( x \)?

Tomemos como ejemplo al siguiente enunciado \( x < 7 \), esta

es una oración aseverativa que afirma que \( x \) es menor que
\( 7 \). Estas afirmaciones son dudosas porque no hay más
datos que reafirman que el valor de \( x \) sea menor que \( 7
\), simplemente no se sabe si es verdadero o falso.

 18 Función proposicional
Algunas veces los enunciados abiertos se le llama
también funciones proposicionales cuando se trabaja en otras
ramas de la matemática para alejarse del contexto lingüístico
gramatical y acercarse mas conceptos puramente matemáticos.

Una función proposicional no necesariamente se le debe asignar

un valor especifico para que sea una proposición, es posible
lograr tal transformación con los cuantificadores comúnmente
conocidos con las palabras “Para todo” y “Existe alguno”,
aunque existen otras categorías que transforman las funciones
proposicionales en proposiciones que podemos estudiar en un
tema mas avanzado de lógica llamado proposiciones
categóricas.

 19 Proposiciones en lógica de primer orden

La lógica de primer orden o la lógica de predicados es una
extensión de la lógica proposicional, estudia la estructura de los
argumentos, generalmente de los enunciados abiertos ya que
toma muy en cuenta al sujeto como variable, en esta rama de la
lógica matemática, se le suele llamar a estos enunciados como
funciones proposicionales y toma en cuenta lo siguiente:

 Variable: Puede representar un sujeto indeterminado, sin

embargo, también puede representar un predicado
indeterminado.

19
  Constante: Representa un valor definido de la variable de
una función proposicional, generalmente un valor
especifico del sujeto.
 Funciones: Son operadores aplicados a las variables sea
del sujeto o del predicado.
 Conectores lógicos: son operadores que vinculan
afirmaciones para formar otras afirmaciones.
 Cuantificadores (muy relacionado con las proposiciones
categóricas): Solo existen dos, el cuantificador universal y
existencial, son capaces de transformar las variables en
constantes sin necesidad de darle un valor especifico a las
variables. Un ejemplo es tomar en cuenta todos los
números pares sin importar cual sea, este argumento lo
estudia el cuantificador universal, en contraste, si una
propiedad cumple por lo menos con un numero par sin
importar que cumpla para todos (y sin importar quien
sea), esto lo estudia el cuantificador existencial.

Uno de los puntos fuertes de la lógica de primer orden es la

capacidad de formalizar la teoría de las demostraciones, con
ello, podemos desarrollar toda la matemática en la actualidad.

Para lograrlo, la clasificación que acabos de indicar hace un

momento se simbolizan matemáticamente para desarrollar un
argumento mas solido que la lógica proposicional es incapaz de
lograr, pero por su formalidad estricta de esta rama, la lógica de
predicados debe tomar muy en cuenta la sombolización de
los predicados, signos de puntuación y los signos
relacionales (el signo igual).

De esta manera, la lógica de primer orden es capaz de

diferenciar una proposición atómica de una molecular a nivel
simbólico, algo que no es capaz de hacer lógica de
proposicional, esta ultima también llamada lógica de orden cero
o lógica de enunciados.

o 19.1 Referencias

20
  Lógica – Matemática básica | novena edición – Ricardo
Figueroa.
 Nociones de lógica – Matemática básica | novena edición
– Moisés Lázaro
 Introducción de la lógica matemática – Lógica Matemática
| Carlos Ivorra.
 Lógica proposicional, proposición, enunciado abierto,
semántica – wikipedia y wikiversity.

2. Negación lógica

Hoy dedicaremos esta sección a la negación lógica con

símbolo del capítulo de lógica proposicional, este operador
tiene la propiedad de cambiar el valor de verdad de
las proposiciones o variables proposicionales, aunque también
es usado en enunciados abiertos, también llamados funciones
proposicionales.

En la sección de cuantificadores del capitulo de teoria de

conjuntos la negación es capaz de cambiar del cuantificador
existencial al universal o viceversa, también es usado como
complemento de un conjunto.

La sección actual es corta y no muestra muchos detalles con este

operador monádico. Sin mas que decir, comencemos.

 1 ¿Que es la negación lógica?

 Si bien, la negación lógica de una proposición no realiza
ninguna conexión lógica, es decir, no es un conectivo
lógico propiamente dicho,no deja de ser una proposición
compuesta luego de negar una proposición simple.
 Una proposición simple tiene como finalidad realizar un
juicio pero de manera afirmativa, si este juicio es una
negación, entonces sería una proposición compuesta.
Aclarando este punto, veamos el concepto de negación
lógica:

o 1.1 Definición de negación lógica

21
  En matemáticas, la negación lógica denotado con el
símbolo ∼∼ es un operador lógico que tiene la propiedad
de cambiar la validez de una proposición pp, esto es,
cambia de verdadero a falso y viceversa, la negación de
una proposición se escribe como ∼p∼p.
Aquí pp no hace ninguna referencia a una proposición simple o
compuesta, su única función es simplemente negar emitiendo
un valor de verdad opuesto a la validez de pp. Veamos como la
negación trabaja sobre una proposición simple.
 1.1.1 Ejemplo
Sea las proposiciones:

1. Los perros tienen 4 patas

2. Los perros no tienen 4 patas

Las dos proposiciones tiene algo en común, uno afirma y la

otraniega para un mismo sujeto y con predicados contrarios.

El enunciado 2 se puede escribir así:

o Los perros no tienen 4 patas = ∼∼ (Los perros tienen 4 patas)

… (I)(I)

Es decir, la proposición 2 es la negación de la proposición 1, por

cuestiones prácticas, las proposiciones 1 y 2 serán representados
porpp y qq respectivamente, de esta manera quedaría así:

o pp = Los perros tienen 4 patas

o qq = Los perros no tienen 4 patas

La proposición (I)(I) se puede escribir así:

o p=∼qp=∼q

Si bien pp es una proposición compuesta, la negación ∼∼ no es

un conector lógico o conectiva lógica porque no conecta con
otra proposición.
Naturalmente la proposición 1 es verdadero y la 2 es falsa por si
creían que me olvidaba.

22
Negación lógica de proposiciones simples:

o pp = El Tumi es de oro.
∼p∼p = El tumi no es de oro.
o qq = Los seres humanos no son de Ganimedes.
∼q∼q = Los seres humanos son de Ganimedes.
o rr = El tigre es un felino .
∼r∼r = El tigre no es un felino.

La negación de proposiciones compuestas:

o pp = Yo soy terricola y mortal.

∼p∼p = yo no soy terricola o no soy mortal.
o qq = la tierra no es cuadrada o circular.
∼q∼q = la tierra es cuadrada y circular.

Este tipo de negaciones para proposiciones compuestas lo

explicaremos con mayor claridad cuando lleguemos a las
secciones de la disyunción lógica.

Se pueden realizar otros ejemplos más complejos de la negación

de otros enunciados de estos tipos pero esto requiere de otros
conectivos lógicos que aún no hemos explicado, ya hemos visto
ejemplos similares como por ejemplo:

o Mi perro tiene patas y cola.

Su negación sería:

o Mi perro no tiene patas o no tiene cola.

Para explicar esta nomenclatura, requiere del estudio de la

conjunción y disyunción lógica.

Comúnmente se considera a la negación lógica como un

conectivo pero como operador monádico porque afecta solo a
una proposición, también toma el nombre de complemento
lógico.

23
 2 Tabla de verdad de la negación
 Como ya hemos indicado antes, lo único que hace este
operador lógico es cambiar la validez de las
proposiciones.

 Si una proposición es falsa, la negación de la proposición

es verdadera, de la misma manera, si una proposición es
verdadera, la negación de tal proposición es falsa.

 En la siguiente tabla de verdad muestro el cambio de la

validez de una proposición cualquiera.

pp ∼p∼p
VV FF
FF VV
 Donde V significa que la proposición es verdadera
y F significa que la proposición es FF.
 3 Algunas Leyes lógicas de la negación
Las propiedades relacionadas con las negación lógica lo puedes
encontrar en las principales leyes lógicas. Una clásica propiedad
común es la ley de la doble negación (o coloquialmente
mencionada como ley de la negación de la negación), por
ejemplo:

o Enunciado afirmativo: Los perros son carnívoros.

o Enunciado negado: ∼∼ (los perros son carnívoros) = los
perros no son carnívoros.
o Doble negación: ∼∼ ( ∼∼ (los perros son carnívoros))
= ∼∼ (los perros no son carnívoros) = los perros son carnívoros.

Como acaban de notar, la doble negación de una proposición

devuelve la misma proposición, simbólicamente se representa
así:

∼(∼p)=p∼(∼p)=p

24
 Otras propiedades relacionadas con otros conectivos lógicos lo
pueden encontrar en la sección de las principales leyes lógicas
que ya mencione hace pocos párrafos.

La representación simbólica de los valores de verdad para una

proposición pp dónde estamos suponiendo que es verdadera
junto con su negación y doble negación es:

o V(p)=VV(p)=V
o V(∼p)=FV(∼p)=F
o V(∼(∼p))=VV(∼(∼p))=V

Esto es para el caso que pp es falsa, tendríamos:

o V(p)=F
o V(∼p)=V
o V(∼(∼p))=F

Existen otras leyes lógicas como las leyes de Morgan que no

vamos a mencionar en esta sección porque están relacionadas
con otros conectivos lógicos que aún no hemos explicado, pero
son muy usados para encontrar relaciones entre conectivos
lógicos que ya tratamos en secciones posteriores del curso de
lógica.

o 3.1 Ejemplos
Todos los ejemplos de doble negación tiene la siguiente forma
lógica∼(∼p)=p∼(∼p)=p, veamos:

o No es cierto que mi perro no tiene cola = mi perro tiene cola.

o No es verdad que la tierra no es redonda = la tierra es redonda.
o Es falso que los gatos no comer carne = los gatos comer carne.

Por tanto, queda claro que el valor de verdad de una doble

negación de una proposición resulta ser la misma proposición.

 4 Negación de las proposiciones categóricas

La negación puede tener otras aplicaciones como en las
proposiciones categóricas, existen unas palabras especiales que

25
 se les añade al sujeto de un enunciado abierto para
transformarlo en proposiciones, este tipo de proposiciones se
les llama proposiciones categóricas y pueden ser justificadas de
manera general o particular al sujeto según el predicado que se
le asigne.

Las proposiciones categóricas son proposiciones que afirman o

niegan una cantidad del sujeto de una proposición, esto es, el
predicado afirma o niega para todos o algunos a una categoría
(en este caso, el sujeto). Las proposiciones categorías tiene la
siguiente forma:

1. Todo S es P
2. Ningún S es P
3. Algún S es P
4. Algún S no es P

Y aquí es donde entra la negación lógica, la negación de la

proposición categoría de 1 es 2 y la negación de 3 es 4 y
viceversa, es decir:

 La negación de “todo S es P” es “ningún S es P.

 La negación de “ningún S es P” es “Todo S es P.
 La negación de “algún S es P” es “algún S no es P”
 La negación de “algún S no es P” es “algún S es P”

Sin embargo, la negación de “algún S es P” debería ser “no todo

S es P” y que es completamente diferente de “algún S no es P”,
la explicación lo realizamos en la sección
de cuantificadores de teoría de conjuntos.

Pero en la sección actual hago un pequeño esbozo al final del

tema actual de este punto.

 5 La negación como función de verdad

Otra forma de crear oposición de los argumentos
proposicionales verbalmente hablando es con la frase “no es
verdad que” sin necesidad de introducir el adverbio “no” entre el
sujeto y predicado.

26
Esta palabra es suficiente para transformar una proposición
simple en compuestas como mencione anteriormente, si bien la
negación de una compuesta puede generar otra compuesta,
también nos puede dar también una proposición simple.

Sea la siguiente proposición como ejemplo:

o pp: La puerta no es de madera. (compuesta)

Su negación sería:

o ∼p∼p: No es cierto que la puerta no es de

madera. (compuesta)

Su equivalente sería:

o ∼p∼p: La puerta es de madera. (simple)

Cuando un operador lógico opera sobre una proposición con

ciertos posibles valores de verdad, también nos devuelven un
valor de verdad específico, estos operadores lógicos se les
llama funciones de verdad.

De hecho, todos los conectivos lógicos que presentaremos en

secciones posteriores también pueden tratarse como funciones
de verdad.

Para el caso de la negación lógica, hay que ser cuidadoso

cuando negamos una proposición cuando tratamos con
cuantificadores como “Algunos son” o “algunos no son”, ya
que una de ellas es la conclusión de la otra.

o 5.1 Modo correcto de usar la negación:

Veamos el siguiente ejemplo:

o pp = Algunos perros tiene cola.

Esta es una proposición categórica, y es obvio que algunos

perros tiene cola, debe existir otros perros que no los tenga,
obtenemos la siguiente proposición:

27
 o qq = Algunos perros no tiene cola.

Si se fijan bien, la negación de pp realmente no contradice

a qq ya que una de ellas se ha deducido de la otra. Y más que
una aparente contradicción, realmente una de ellas es la
conclusión de la otra.
Como dije en el apartado anterior, el adverbio “no” tiene
algunos inconvenientes al negar este tipo de proposiciones. La
manera correcta de negar la proposición “algunos perros tiene
cola” es:

o No es verdad que algunos perros tiene cola

Y es lo mismo que decir:

o Ningún perro tiene cola.

Estas corrección lo veremos en una sección

de cuantificadores en el curso de teoría elemental de conjuntos,
por lo pronto, tomar en cuentas estos pequeños detalles.

o 5.2 Resumen:
 Se pueden hacer muchas cosas con la negación lógica,
pero esto se vera cuando combinemos con el resto de los
conectivos lógicos, en la tabla siguiente te presento un
resumen de lo expuesto.

Conectivo Notación Aplicación Significado Ejemplo Tabla de verdad

p ~p
Sergio no
Negación ~, ¬, ~p no V F
es flaco F V
 De esta manera finalizó con la sección de la negación
lógica, la próxima sección nos dedicaremos a la
conjunción lógica.
 Y eso sería todo, nos vemos en la próxima sección, que
tengan un buen día, bye.

3. Conjunción Lógica

28
 Hola, como están amigos, de nuevo aquí en esta nueva y tercera
sección del capítulo de lógica proposicional. En esta
oportunidad discutiremos uno de los primeros conectores
lógicos junto con una definición clara y algunos ejemplos, esto
es, la conjunción lógica.

Es un conectivo lógico muy usado en teoría de conjuntos, en

especial, en la definición de la intersección entre conjuntos, se
puede decir que es un conectivo de condiciones ya que debe
cumplir ciertos requisitos simultáneos para considerar el valor
de verdad de un argumento. Vamos a explicarlo mucho mejor
en los siguientes apartados.

 1 ¿Que es la conjunción lógica?

La conjunción lógica tiene como propiedad sumar condiciones
obligatorias por medio del predicado aplicado al sujeto, por
ejemplo, si queremos que Pablo sea albañil, pero a su vez
queremos que Pablotambién sea un estudiante, usaremos el
conectivo lógico “y“, escribiendo así “Pablo es
un albañil y estudiante“.

En este caso, si se toman en cuenta estas dos condiciones para

“Pablo“, también debemos tomar en cuenta los valores de
verdad de dichas condiciones.

Es decir, si es verdadero que Pablo sea albañil y también

es verdadera que Pablo sea estudiante, por tanto, la proposición
“Pablo es albañil y estudiante” también es verdadera.

Ahora veremos el significado de la conjunción lógica por medio

de la siguiente definición en base a este ejemplo aclaratorio,
luego pasaremos a los ejemplos.

o 1.1 Definición de conjunción lógica

 La conjunción lógica con símbolo ∧∧ es un conectivo
lógico que conecta dos proposiciones pp y qq formando
una nueva proposición p∧qp∧q tal que su validez resulta
ser verdadera si las proposiciones ppy qq son verdaderas y

29
 falsa si por lo menos una de estas proposiciones son
verdaderas.
Las proposiciones del tipo p∧qp∧q de ahora en adelante lo
llamaremosproposición conjuntiva. En lógica proposicional,
omitiremos por lo general el significado de los argumentos de
las proposiciones, aunque se usan como ejemplos para explicar
la lógica de este conectivo, lo que impera mas son solo los
valores de verdad de las proposiciones y no el significado de
los argumentos de las proposiciones ya que es lo único que le
importa a la lógica proposicional.
Por tanto, la regla lógica de una conjunción siempre es
verdadera si las proposiciones que las conforman siempre son
verdaderas en caso contrario siempre es falsa.

Es por eso que el concepto de la conjunción lógica esta

relacionada con la intersección en teoría elemental de
conjuntos ya que debe cumplir simultáneamente dos
condiciones, si no cumple siquiera una condición, entonces no
existe intersección, si quieres saber mas de relación entre la
intersección y la conjunción lógica, puedes revisar la sección de
operaciones de conjuntos.

 1.1.1 Ejemplos

Sea los siguientes enunciados:

1. El gato es un felino y la paloma es un ave.

2. Los iPhone son celulares inteligentes y los fabrica Samsung.

Para el enunciado 1. Se puede desglosar así:

o El gato es un felino.
o La paloma es un ave.

Exactamente estas dos proposiciones simples son verdaderas y

por la definición de la conjunción lógica, decimos que el
enunciado 1 es verdadero, vayamos al siguiente enunciado.

30
 Para el enunciado 2. Lo podemos separar así:

o Los iPhone son celulares inteligentes.

o Los iPhone los fabrica Samsung.

La primera proposición simple es verdadera porque un iPhone

tiene todas las características de un smartphone que del inglés
significa teléfonos inteligentes, pero la segunda es falsa porque
los Iphone son fabricados por la compañía multimillonaria
Apple y no por Samsung.

Por tanto, por la definición de la conjunción lógica, basta que

una proposición componente sea falsa para que el enunciado 2
sea completamente falsa.

Los enunciados 1 y 2 de las proposiciones compuestas del

ejemplo ilustrativo 2 puede escribirse de la siguiente manera:

o p∧qp∧q

Donde el enunciado 1, puede considerarse.

o pp = El gato es un felino. (verdadero)

o qq = La paloma es un ave. (verdadero)

y para el caso del enunciado 2, sería:

o pp = Los iPhone son celulares inteligentes. (verdadero).

o qq = Los iPhone son de Samsung. (falso).

Según la definición de la conjunción lógica el valor de verdad

del enunciado 1 sería verdadera, simbólicamente:

V(p∧q)=V
Y para el enunciado 2, sería falsa, simbólicamente:

V(pwedgeq)=F

 2 Tabla de verdad de la conjunción lógica

31
  Con los ejemplos anteriores, queda claro el
comportamiento de los conectivos conjuntivos y de estos
podemos diseñar una tabla de verdadsegún la definición
dada para dos proposiciones pp y qq donde
encontraremos 4 combinaciones de sus valores de verdad
de p∧qp∧q. La tabla es:
pp qq p∧qp∧q
VV VV VV
VV FF FF
FF VV FF
FF FF FF

 3 Algunas leyes de la conjunción lógica

La conjunción lógica también contempla una serie propiedades
pero junto con el negador y el resto de los conectivos lógicos,
puedes ver estas propiedades en la sección de las principales
leyes lógicas.

Aquí solo presentaré algunas de estas leyes, veamos:

Sean las proposiciones pp, qq y rr, tenemos:

 Ley asociativa: p∧q∧r=p∧(q∧r)p∧q∧r=p∧(q∧r).

 Existencia del elemento neutro: V(p)∧V=VV(p)∧V=V.

 Ley conmutativa: p∧q=q∧pp∧q=q∧p.

 Existencia del elemento

complementario: V(∼p∧p)=FV(∼p∧p)=F. Significa que
una proposición no se puede contradecirse a si misma.

Por mencionar solo algunas.

32
 Otro punto importante, la negación de una conjunción no es
otra conjunción, es decir, la negación de p∧qp∧q no
es ∼p∧∼q∼p∧∼q, su negación resulta ser equivalente a una
proposición unida por una disyunción lógica, esto
es ∼(p∧q)=∼p∨∼q∼(p∧q)=∼p∨∼q, si quieres tener más
información entre entre estos dos conectivos lógicos, puedes
dirigirte en la sección de disyunción lógica.
o 3.1 Ejemplo
 Todos somos libres y felices.
 Ella es hermosa y debería ser modelo.
 Todos son criminales pero con trastorno bipolar.
 Vamos a la playa y luego a comer.
 Los perros tienen cola, patas y hocico.

Como podrán ver en estos ejemplos, tanto la la letra “y” como

la palabra “pero” e incluso las comas según sea el contesto,
pueden representarse por la conjunción lógica, para el ejemplo
del perro podemos escribirlo como p∧q∧rp∧q∧r.

 4 Diferencias del conjuntivo “y” en matemática y la teoría

lingüística
 El la teoría lingüística existen algunas diferencias en
cuanto su definición, por ejemplos, cuando tratamos
con oraciones subordinadas formadas por nexos que
también la incluyen en el dominio de la conjunción, estos
nexos son “como, cuando, que, porque, para que”.

 Tomemos el ejemplo de la wiki, “dijo que vendría”, aquí el

nexo es “que” para la lingüística esta es una conjunción,
para este caso, una conjunción subordinada, es decir, la
palabra “vendría” subordina a la palabra “dijo”, porque si
no vendría (sea quien fuese), tal vez no se hubiera dicho
(dijo) nada, ¿se entiende este punto?, esto es, una no existe
sin la otra.

 En cambio, la conjunción en el área de las matemáticas

que estamos tratando en la sección actual no tiene
ninguna relación semántica entre dos proposiciones

33
 unidas por una conjunción lógica del tema que estamos
tratando, es decir, no toma en cuenta el significado de los
argumentos como en la teoría lingüística, los únicos
valores que le importa a la lógica proposicional es el de
verdadero o falso.

 Tampoco toma en cuenta este tipo de conjunciones

subordinantes, para la lógica proposicional, simplemente
no es una conjunción.

 Pero existen otras variantes mas de la teoría lingüística,

por lo general se les llaman a estos
enunciados conjunciones, pero muchas de ellas no tiene
nada que ver en lógica proposicional.

 5 La conjunción en teoría de conjuntos

 Los conectivos lógicos pueden construir los aspectos
elementales de la teoría de conjuntos, como es la unión,
intersección, etc. en este caso, la conjunción lógica en el
ámbito de los conjuntos representa a la intersección.

 Por ejemplo, si un elemento xx se encuentra en el

conjunto AA simbolizado por x∈Ax∈A, pero también se
encuentra en el conjunto BB simbolizado
por x∈Bx∈B, usamos el símbolo de la conjunción lógica
“∧∧” para indicar que se encuentra simultáneamente en
a AA y BB, así:
 x∈A∧x∈Bx∈A∧x∈B
 Pero a nivel de teoría de conjuntos, su símbolo es “∩∩”, y
se representa así:
 x∈A∩Bx∈A∩B
 Pero para unificar tanto la conjunción como la intersección
en un mismo enunciado, lo escribiremos así:

 A∩B={x|x∈A∧x∈B}A∩B={x|x∈A∧x∈B}
 Gráficamente se representa así:

34
 

 Si quieres saber mas sobre este operador, visita mi sección

de teoría de conjuntos llamado operaciones entre
conjuntos.

 De esta manera finalizamos la teoría básica de la

conjunción lógica, la próxima sección discutiremos la
disyunción lógica y su variante, la disyunción exclusiva.

 Y eso es todo amigos, nos vemos en la próxima sesión, bye

4. La Disyunción Lógica

Hola gente, aquí otro nuevo contenido del curso de lógica

proposicional, en esta sección, me concentraré desarrollar un
conectivo lógico interesante, esto es, la disyunción lógica o
simplemente disyunción.

Me dedicaré a explicar con algunos ejemplos donde veremos un

pequeño inconveniente con el razonamiento disyuntivo y como
solucionar este problema definiendo dos tipos de
proposiciones, esto es, la proposición inclusiva y la proposición
exclusiva.

 1 ¿Que es la disyunción lógica?

 También se le conoce como la suma lógica, en este tipo
de proposicionesnos da la alternativa o posibilidad de
escoger la validez de una o varias de sus proposiciones

35
 simples en cuanto a sus valores de verdad, me refiero a
la disyunción lógica.

 Entre todos los conectivos lógicos que se conoce, la

disyunción tiene doble significado y en matemáticas es
necesario diferenciarlo simbólicamente, se les puede
diferenciar como disyunción inclusiva y exclusiva.

 Veamos un ejemplo para entender qué es la disyunción

lógica y su variantes, sutiles pero identificables.

o 1.1 Ejemplo de la disyunción de primer tipo

La proposición disyuntiva del tipo “Samanta es hombre o mujer”
es una proposición selectiva, por que podemos seleccionar que
proposición simple es verdadera. La proposición se puede
desglosar de la siguiente manera:

o Samantha es mujer
o Samantha es hombre

Podemos decir sin equivocarnos que Samantha no es un

nombre unisex, que estamos tratando con una persona del sexo
femenino.

Pero como el conectivo “o” nos da la posibilidad de elegir entre

una de las dos, elegimos “Samantha es mujer“. Decimos entonces
lo siguiente:

o Samantha es mujer ( es verdadera)

o Samantha es hombre (es falso)

Por tanto “Samanta es hombre o mujer” es una proposición

verdadera por una cuestión de elección.

En el ejemplo anterior vimos una proposición compuesta donde

se tenía la posibilidad de elegir cualquiera de las proposiciones
simples con al menos una validez verdadera para que toda la
proposición sea verdadera, esto es, solo podía elegirse una
única opción entre las dos opciones disponibles.

36
 El siguiente ejemplo trataremos con otro tipo de disyunción
donde tenemos la posibilidad de elegir las dos a la vez sin
contradicción alguna, si tenemos la posibilidad AA y otra BB,
puede elegirse cualquiera de ellas incluso elegir
simultáneamente las dos, veamos:
o 1.2 Ejemplo de la disyunción de segundo tipo

La proposición “Mi gato es un felino o es un animal“, es un

enunciado en la que también se puede seleccionar cualquiera de
las dos alternativas, desglosamos la proposición.

o Mi gato es un felino.
o Mi gato es un animal.

¿Que opción podemos elegir para determinar que nuestra

proposición compuesta es verdadera?, como podemos ver, las
dos proposiciones simples son verdaderas.

Entonces podemos elegir las dos, y con esto concluye que

nuestra proposición “Mi gato es un felino o es un animal” también
es verdadera.

Estos tipos de proposiciones que a pesar de ser similares, tiene

algunas diferencias, vamos a explicarlos en los siguientes
apartados.

 2 La disyunción inclusiva
Este tipo de disyunción hace referencia al ejemplo ilustrativo 2
y tiene la propiedad de poder de elegir cualquier proposición
con validez verdadera que la componen (si es que existe) para
determinar que nuestra proposición que la forman sea válida,
aquí su definición:
o 2.1 Definición de la disyunción inclusiva
 La disyunción inclusiva con símbolo ∨∨ es un conectivo
lógico que une dos proposiciones pp y qq formando una
nueva proposición p∨qp∨qde tal manera que su valor de
verdad es falsa si las proposiciones ppy qq resulta ser
falsas, en caso contrario resulta ser verdadera si al menos
una de sus proposiciones componentes es verdaderas.

37
Por lo general, a la disyunción inclusiva también se le llama
disyunción lógica, de ahora en adelante toda proposición
formada jerárquicamente por una disyunción inclusiva se le
llamará proposición inclusiva.

Según la definición que acabamos de proponer para el

significado del símbolo ∨∨ (que literalmente se escribe con la
vocal “o”), una proposición inclusiva deben tener 3 posibles
elecciones para indicar que es verdadera y una que nos puede
dar como falsa. Veamos algunos ejemplos.
 2.1.1 Ejemplo
 El número 2 es real o entero.
 Los gatos tiene cuatro patas o tienen cola.
 Leo un libro usando una gorra o sentado.

Para cualquiera de estos ejemplos es posible que cualquiera de

las proposiciones simples de estas proposiciones inclusivas se
puedan realizar simultáneamente como también elegir solo
una de ellas.

o 2.2 Tabla de verdad de La disyunción inclusiva

 En base a estos ejemplos confeccionamos la siguiente tabla
de valores de verdad de la disyunción inclusiva.

pp qq p∨qp∨q
VV VV VV
VV FF VV
FF VV VV
FF FF FF

o 2.3 Algunas leyes lógicas de la disyunción inclusiva

De la misma manera que la conjunción lógica, la disyunción
inclusiva también posee una serie de propiedades y leyes
lógicas importantes, aquí la enumeramos.

38
Sean las proposiciones pp, qq y rr tenemos:

o Ley asociativa: (p∨q)∨r=p∨(q∧r)(p∨q)∨r=p∨(q∧r)

o Existencia del elemento
neutro: V(p)∨F=V(p)V(p)∨F=V(p)
o Ley conmutativa: p∨q=q∨pp∨q=q∨p
o Leyes distributivas de la disyunción inclusiva y la
conjunción:
p∨(q∧r)=(p∨q)∧(p∨r)p∧(q∨r)=(p∧q)∨(p∧r)p∨(q∧r)=(p∨q)
∧(p∨r)p∧(q∨r)=(p∧q)∨(p∧r)
o Existencia del elemento
complementario: V(∼p∨p)=VV(∼p∨p)=V
o La negación de una disyunción resulta una
conjunción: ∼(p∨q)=∼p∧∼q∼(p∨q)=∼p∧∼q

Para ver otras leyes de la disyunción lógica, puede ver la

sección de lasprincipales leyes lógicas de los conectivos lógicos.

o 2.4 La disyunción inclusiva y la relación con la unión

 En teoría de conjuntos, la disyunción inclusiva puede ser
representado por la unión entre dos conjuntos, por
ejemplo, tenemos un elemento que puede pertenecer a dos
conjuntos distintos, pueden ser y , para representar que el
elemento pertenece a cualquiera de los conjuntos y o
ambos, se escribe así:

 Esto es lo mismo que escribir:

 También se puede definir de la siguiente manera:

 Podemos ilustrarlo gráficamente con los diagramas de

Venn de la siguiente manera:

39
 

 Este diagrama significa que el elemento puede estar en

cualquiera de estas 3 regiones delimitadas.

 Si quieres saber sobre la relación que hay entre la

disyunción inclusiva y la unión entre conjuntos, visita la
sección de operaciones entre conjunto

 3 La disyunción exclusiva
Este tipo de disyunción es más estricto y hace referencia al
ejemplo ilustrativo 1 donde no es posible que en una
proposición compuesta sea verdadera si las dos son verdadera,
como máximo solo es posible elegir una proposición verdadera
para que la proposición compuesta sea verdadera.

o 3.1 Definición de la disyunción exclusiva

La disyunción exclusiva con símbolo es un conectivo lógico que
une dos proposiciones y formando una nueva proposición de tal
manera que su validez es falsa si las proposiciones y tienen el
mismo valor de verdad, en caso contrario, resulta ser verdadera
si las proposiciones y tienen valores de verdad opuesto.

Como hemos visto, existe dos tipos de disyunción, una es la

disyunción inclusiva o débil y la otra es la disyunción exclusiva

40
o fuerte y las dos usan literalmente la letra “o” pero de formas
distintas.

Estas diferencias son necesarias porque existen situaciones

donde podemos ver que no siempre la misma validez de sus
proposiciones que la componen nos puede dar siempre una
misma validez general de la proposición matriz, es decir, un
enunciado puede ser verdadero o falso con los mismos valores
de verdad de sus variables proposicionales que la componen.

Una proposición formada jerárquicamente por una disyunción

exclusiva de ahora en adelante lo llamaremos proposición
exclusiva.

Si encontramos la definición de disyuntiva en algún diccionario

gramatical, encontramos conceptos semejantes entre ellas como:

 Alternativa entre dos o más opciones por las cuales hay

que decidirse.
 Alternativa entre dos cosas por el cual hay que optar por
una.
 Alternativa entre dos cosas opuestas de las que debemos
optar.

La primera hace referencia a la disyunción inclusiva, y las dos

últimas a la disyunción exclusiva.

Describo este punto para que pueda entenderse la disyunción y

su significado, finalidad y razonamiento. Por lo general, cuando
tratamos simplemente de la disyunción lógica, hacemos
referencia a la disyunción inclusiva.

3.1.1 Ejemplo

Aquí tenemos algunos ejemplos de una proposición exclusiva.

o O estas enfermo o estás saludable.

o O bien es falso o bien es verdadero.

41
 o O estas en inmóvil o estás en movimiento.

Estas proposiciones tiene un limite, sólo son verdaderas si y

solo si una única variable proposicional (proposición simple)
que la compone es verdadera.

o 3.2 Tabla de verdad de La disyunción exclusiva

 Existe otra simbolización lógica de este tipo de
disyunción, pues, resulta ser opuesta a la bicondicional
lógica (↔)(↔), por ello, también podemos representarlo
con este símbolo ↮↮, la tabla de verdad de la
disyunción exclusiva es:
pp qq p△qp△q

VV VV FF
VV FF VV
FF VV VV
FF FF FF

o 3.3 Algunas leyes de la disyunción exclusiva

Veamos algunas propiedades de la disyunción exclusiva, Sean
las proposiciones pp, qq y rr, tenemos:

 Ley asociativa: (p△q)△r=p△(q△r)(p△q)△r=p△(q△r).

 Ley conmutativa: p△q=q△pp△q=q△p.
 Ley distributivas con la conjunción
lógica: p∧(q△r)=(p∧q)△(p∧r)p∧(q△r)=(p∧q)△(p∧r)

Si bien, en en la sección de las principales leyes lógicas no

mostramos ninguna propiedad de la disyunción exclusiva, por
lo menos esbozamos una propiedad en relación con la
bicondicional, con la condicional material y la conjunción y
disyunción inclusiva en la sección de loscircuitos lógicos.

42
Espero que con estos ejemplos, definiciones, propiedades y
algunas leyes lógicas logres entender el significado de la
disyunción y sus dos únicas variantes necesarias.

Por último, este conectivo lógico en conjuntos es usado para

explicar el concepto de unión de dos conjuntos y sus principales
propiedades, veamos esta relación en el siguiente apartado.

o 3.4 La disyunción exclusiva y los conjuntos disjuntos

 Un elemento puede pertenecer a un conjunto u otro o
ambas, pero si tales conjuntos no tiene elementos en
común, entonces dicho elemento puede pertenecer a uno y
solo uno de los conjuntos.

 La disyunción exclusiva puede remediar este punto, por

ejemplo, si tenemos un elemento xx donde puede estar
contenida solo en el conjunto AA o solo en el
conjunto BB pero no en ambas, se representa así:
 x∈A△x∈Bx∈A△x∈B
 Su equivalente sería:

 x∈A+Bx∈A+B
 Si queremos fusionar estas dos interpretaciones, se
expresa de la siguiente manera:

 A+B={x|x∈A△x∈B}A+B={x|x∈A△x∈B}
 Ahora veamos como se representa gráficamente:

43
  Ten en cuenta que no existe términos en común entre los
conjuntos AA y BB, esto se representa con el símbolo de
intersección “∩∩”, así A∩B=ϕA∩B=ϕ, el símbolo
“ϕϕ” significa que no existen elementos y se
llama conjunto vació.
 Llegamos al final del tema, espero que les haya sido de
mucha ayuda. En la siguiente sección explicaré uno de los
conectores lógicos muy importantes después de la
disyunción, me refiero a la condicional material.

 Gracias por llegar hasta aquí, que tengan un buen día y

hasta pronto.

5. Condicional Lógica

Hola a todos, esta es la continuación de la sección anterior de

ladisyunción lógica, en esta oportunidad discutiremos un
nuevo conectivo lógico, me refiero a la condicional lógica.

Hay que recordar que una proposición condicional puede estar

formada incluso de enunciados abiertos y no necesariamente
de proposiciones.

La condicional obliga no extrictamente que una

proposición A dependa de otra proposición B formando
la proposición condicional, que no es nada más que otra
proposición compuesta de estas dos.

Y digo no estrictamente porque este tipo de condicionales tiene

una dependencia muy débil, su antecedente no siempre le da la
razón a su consecuente.

En vista de la debilidad de este tipo de condicional existe otro

condicional más firme o estricto y es la implicación lógica, todo
ello lo veremos en breve.

 1 ¿Que es la condicional lógica?

o 1.1 Definición formal de la condicional lógica

44
  1.1.1 Ejemplos

 2 ¿Que problema hay con la condicional material?

o 2.1 Un ejemplo peculiar

 3 Tabla de verdad de la condicional

 4 La controversia de la condicional material
o 4.1 Ejemplos ilógicos que la condicional material toma como
verdaderas
 5 Tipos de proposiciones condicionales
o 5.1 Proposición recíproca
 5.1.1 Definición de proposición reciproca
 5.1.1.1 Ejemplo
o 5.2 Proposición inversa
 5.2.1 Definición de proposición inversa
 5.2.1.1 Ejemplo
o 5.3 Proposición contrarrecíproca
 5.3.1 Definición de proposición contrarrecíproca
 5.3.1.1 Ejemplo
 6 Diferencia entre implicación y condicional material
o 6.1 Ejemplo
 7 Falacia de la condicional material: negación del consecuente
 8 Representación simbólica de la implicación
 9 Propiedades de la condicional material
 10 Similitudes y diferencias de la condicional con la gramática y
las matemáticas
o 10.1 Modo condicional

6. La Bicondicional

Hola a todos amigos, hoy les traigo la siguiente sección del

capitulo delógica proposicional, es la continuación de la sección
llamada condicional lógica, en esta ocasión discutiremos un
nuevo conector lógico y la última de las operadores, nos
referimos a la bicondicional lógica.

El concepto matemático de la bicondicional es de doble filo,

aquellas donde dos proposiciones siempre van de la mano, una

45
 depende de la otra y viceversa, es un concepto intuitivo que
vamos a tratar en breve.

También está relacionado con la condicional, la conjunción,

disyunción lógica y se pueden usar como definiciones
alternativas, esto lo veremos al final de la entrada.

 1 ¿Que es la bicondicional lógica?

o 1.1 Definición de la bicondicional
 1.1.1 Ejemplo
o 1.2 Relación con la condicional y conjunción lógica
 2 Tabla de verdad de La bicondicional Lógica
o 2.1 Relación entre la disyunción exclusiva
 3 Algunas leyes lógicas de la bicondicional
 4 Diferencias entre la bicondicional y equivalencia lógica
o 4.1 Mas ejemplos

7. Tabla de verdad de una proposición

Hola amigos, en esta oportunidad del curso de lógica

proposicionalestudiaremos la tabla de verdad de los conectivos
lógicos, estas sirven para tener un mejor panorama de las
posibles combinaciones de la validez de las proposiciones.

La negación y cada uno de los conectivos tienen un

comportamiento diferente cuando lo plasmamos en tablas de
verdad, aunque la implicación tiene un comportamiento
diferente que la condicional lógica.

Tenga en cuenta que en todas las ramas de la lógica matemática

excepto la lógica proposicional, el uso de las tablas de valores
lógicas es innecesaria, en este capitulo se usa por cuestiones
básicas de entendimiento al lector y dar a conocer todas todos
los rincones de la lógica en todos sus aspectos.

 1 ¿Que es una tabla de verdad?

o 1.1 Valor de verdad de una proposición
o 1.2 Representación esquemática
 2 Tabla de verdad de los conectivos lógicos
o 2.1 La negación

46
 o 2.2 La conjunción lógica
o 2.3 Disyunción inclusiva
o 2.4 Disyunción exclusiva
o 2.5 Condicional material
o 2.6 Bicondicional
 3 Implicación
 4 Combinaciones de variables proposicionales
 5 Inconveniente al desarrollar una tabla de verdad
 6 Como realizar una tabla de verdad de un esquema molecular
o 6.1 Tipos de tablas de verdad
 6.1.1 Contingencia
 6.1.2 Tautológia
 6.1.3 Contradictoria

8. Teoría de la demostración matemática

Hola amigos, hoy les traigo una nueva entrada y una de las más
importantes. Esta sección esta dedicada a la teoría de la
demostración matemática donde estudiaremos los fundamentos
de la demostración como también sus inconvenientes y
paradojas que esta presenta, también resaltaremos una solución
indeseable pero aceptado hasta la actualidad.

 1 Demostraciones ambiguas
 2 El problema de la formalización
 3 El desarrollo de las demostraciones matemáticas
 4 Razonamiento deductivo como método de demostración
 5 Razonamiento inductivo como método de demostración
 6 La paradoja del cuervo
 7 Sherlock Holmes y el problema de la infinitud
 8 La necesidad de tener una teoría más formal
 9 Pero vino Gödel y lo estropeó todo
o 9.1 Punto final

9. Signos de agrupación en lógica proposicional

10. Equivalencia, implicación y la inferencia lógica

11. El Método Abreviado Y Las Principales Leyes Lógicas

12. Métodos De La Demostración Matemática

47
13. Circuitos Lógicos

14. Ejercicios Resueltos de Lógica Proposicional

48