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.

Ejemplos
1. Todos los perros tiene cuatro patas. (Verdadero)
2. Una gallina es un perro. (Falso)
3. La gallina tiene cuatro patas. (Falso)
4. 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.

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.

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.

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.

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

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.

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.

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.

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.

Contexto desde la lógica de predicados

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.

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.

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.

Ejemplo

1. Si los españoles son europeos y Alejandro Sanz es español,

entonces, Alejandro Sanz es europeo.
2. 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.

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
representados por variables o valores numéricos o complejos.
¿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.

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.

Ejemplo
o es un enunciado abierto. (La variable es una incógnita)
o Ella es muy bella. (“Ella” es una incógnita)
o El grupo esta 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.
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.

Proposición simple o atómica

Las proposiciones simples o atómicas son aquellas proposiciones que tienen un sujeto y
predicado.

Ejemplo

o Lima es la capital de Perú.

o La lógica proposicional estudia los valores de verdad de las
proposiciones.
o 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.

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.

Ejemplo
 o “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“.
o “Mi perro tiene orejas y cola“, se puede separa en “Mi
perro tiene orejas” y “Mi perro tiene cola“.
o “Lucho es gracioso o sarcástico“, se puede separar en
“Lucho es gracioso” y “Lucho es sarcástico“.
o “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
como se representan simbólicamente las proposiciones lógicas.
Ahora ya sabes lo que es una proposición compuesta.

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.

Ejemplos
o pp: mi loro es verde.
o qq: mi perro tiene cuatro patas.
 o rr: mi loro es verde y mi perro tiene cuatro patas. En este caso
podemos escribir como r=p y qr=p y q

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.

Ejemplo

o Aquellas aves tiene alas y los pingüinos no vuelan.

(Conjunción)
o Los perros tienen cuatro patas o el gato tiene cola. (Disyunción
lógica)
o O estoy con frío o estoy con calor. (Disyunción exclusiva)
o Si los perros tiene cuatro patas, entonce es cuadrupedo.
(Condicional)
o xx es par si y solo si x≠2n+1x≠2n+1. (Bicondicional)
o Los gatos no son peces. (Negación)

Solo las proposiciones compuestas admiten los conectivos

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

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 verdaderaF,si pn es falsaf(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 ff de PP a VV.

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.

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.

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.

Ejemplo
 o pp: Los seres humanos tiene dos pies (Verdadero).
∼p∼p: Los seres humanos no tiene dos pies (Falso).
o qq: el sistema operativo Ubuntu no es de
Microsoft (Verdadero).
∼q∼q: el sistema operativo Ubuntu es de Microsoft (Falso) .

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.

Ejemplos

 pp: Los perros tiene 2 orejas.

qq: Los perros tiene 4 patas.
p∧qp∧q: Los perros tienen 2 orejas y 4 patas.
 rr: Los números pares son números naturales.
ss: Los números primos son números naturales.
r∧sr∧s: Los números pares y primos son números naturales.

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.

Ejemplos
 o pp: Los peros tienen 2 patas.
qq: Los perros tienen 4 patas
p∨qp∨q: Los perros tienen 2 patas o 4 patas.
o rr: Los números pares son números naturales.
ss: Los números primos son números naturales.
r∨sr∨s: Los números pares o primos son números naturales.

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.

Ejemplo

o pp: Rosa está fuera de casa.

qq: Rosa está dentro de casa.
p△qp△q: Rosa o esta fuera de casa o dentro de casa.
o rr: Es de día.
ss: Es de noche.
r△sr△s: O es de día o es de noche.

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
respectivamente, forman una nueva proposición de la
forma p→qp→q y se lee “si pp entonces qq”.

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.

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 pp y qq, la proposición
formada por la bicondicional es p↔qp↔q, se lee “pp si y solo
si qq”.
La proposición pp es premisa de la conclusión qq como también qq puede ser
premisa de la conclusión pp.

Ejemplo

o pp: El sol ha salido.

qq: Es de día.
1. p↔qp↔q: El sol ha salido si y solo si es de día.
2. q↔qq↔q: Es de día si y solo si el sol ha salido.
o rr: 88 es par.
ss: 88 es múltiplo de 22.
 r↔sr↔s: 88 es par si y solo si es múltiplo de 22.
s↔rs↔r: 88 es múltiplo de 22 si y solo si es par.

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.

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

pp qq p∨qp∨q
VV VV VV
VV FF VV
FF VV VV
FF FF FF
Disyunción Exclusiva
 pp qq p△qp△q

VV VV FF

VV FF VV

FF VV VV

FF FF FF
Condicional Lógica

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
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.

Ejemplo

o “El numero 4 es un numero par” es equivalente a “Es falso

que el numero 4 no sea par“.
o “Si hoy llueve, entonces el piso se mojará” es equivalente a “Si
el piso no se ha mojado, entonces hoy no ha llovido“.
o “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.

Algunas leyes lógicas

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
idempotencia
p∧p≡pp∧p≡p
p∨p≡pp∨p≡p
p∧q≡q∧pp∧q≡q∧p
Leyes
conmutativas
p∨q≡q∨pp∨q≡q∨p
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 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↔r)(p↔q)↔r≡p↔(q↔r)
p∧(q∨r)≡(p∧q)∨(p∧r)p∧(q∨r)≡(p∧q)∨(p∧r)
Leyes distributivas 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)
p↔(q∧r)≡(q↔q)∧(p↔r)p↔(q∧r)≡(q↔q)∧(p↔r)
Leyes de Morgan ∼(p∧q)≡∼p∨∼q∼(p∧q)≡∼p∨∼q
∼(p∨q)≡∼p∧∼q∼(p∨q)≡∼p∧∼q
Leyes
condicionales
p→q≡∼p∨qp→q≡∼p∨q
∼(p→q)≡p∧∼q∼(p→q)≡p∧∼q
Leyes
bicondicionales
p↔q≡(p→q)∧(q→p)p↔q≡(p→q)∧(q→p)
p↔q≡(p∧q)∨(∼p∧∼q)p↔q≡(p∧q)∨(∼p∧∼q)
Leyes de
absorción
p→q≡∼q→∼pp→q≡∼q→∼p
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.

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 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.

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.
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<7x<7. no sabemos si el valor de xx 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 xx.

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

enunciado, por ejemplo:
 o ¿Cual es el valor de xx?
o Hallar el valor de xx.
o Averiguar el valor de xx.
o ¿Cual sería el valor de xx?

Tomemos como ejemplo al siguiente enunciado x<7x<7, esta es

una oración aseverativa que afirma que xx es menor que 77.
Estas afirmaciones son dudosas porque no hay más datos que
reafirman que el valor de xx sea menor que 77, simplemente no
se sabe si es verdadero o falso.
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.

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.
 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.
Referencias
 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.

Detalles Del Capitulo

Nombre Del Articulo

Proposiciones lógicas
Descripción
En matemáticas llamamos proposición o variable proposicional aquel enunciados que pueden ser
verdadero o falso y podemos diferenciarlo entre proposiciones simples y compuestas, donde estas ultimas
están formadas por mas de una proposición simple por medio de conectivos lógicos y son la negación,
conjunción, disyunción inclusiva, disyunción exclusiva, condicional y bicondicional.
Autor
Sergio Cohaguila
Nombre De La Organización
Ciencias Básicas
Logotipo

LÓGICA PROPOSICIONAL

1. Proposiciones Lógicas

2. Negación lógica

3. Conjunción Lógica

4. La Disyunción Lógica

5. Condicional Lógica
6. La Bicondicional

7. Tabla de verdad de una proposición

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

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

13. Circuitos Lógicos

14. Ejercicios Resueltos de Lógica Proposicional

Share on facebook
Share on google
Share on twitter
Share on pinterest

Politica de privacidad

Politica de c

¿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:

Definición de negación lógica

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.

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

otra niega 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
por pp 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.

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.

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 VV significa que la proposición es verdadera
y FF significa que la proposición es FF.
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
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)=FV(p)=F
o V(∼p)=VV(∼p)=V
o V(∼(∼p))=FV(∼(∼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.

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.

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
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 deteoría de conjuntos.
Pero en la sección actual hago un pequeño esbozo al final del
tema actual de este punto.

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.

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
llamafunciones 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.

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:

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.

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

p
Negación ~, ¬, ~p no Sergio no es flaco V
F
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.
Detalles Del Capitulo

Nombre Del Articulo

Negación Lógica
Descripción
La negación lógica es una operador capaz de cambiar el valor de verdad de una proposición o
variable proposicional.
Autor
Sergio Cohaguila
Nombre De La Organización
Ciencias Básicas
Logotipo

ue 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 Pablo tambié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.

Definición de conjunción lógica

La conjunción lógica con símbolo ∧∧ es un conectivo lógico que conecta dos
proposiciones ppy qq formando una nueva proposición p∧qp∧q tal que su validez
resulta ser verdadera si las proposiciones pp y qq son verdaderas y falsa si por lo
menos una de estas proposiciones son verdaderas.
Las proposiciones del tipo p∧qp∧q de ahora en adelante lo
llamaremos proposició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.

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.

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)=VV(p∧q)=V
Y para el enunciado 2, sería falsa, simbólicamente:

V(pwedgeq)=FV(pwedgeq)=F.
Tabla de verdad de la conjunción lógica

Con los ejemplos anteriores, queda claro el comportamiento de

los conectivos conjuntivos y de estos podemos diseñar
una tabla de verdad segú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
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.

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.

Ejemplo
o Todos somos libres y felices.
o Ella es hermosa y debería ser modelo.
 o Todos son criminales pero con trastorno bipolar.
o Vamos a la playa y luego a comer.
o 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 lascomas 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.
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 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.

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í:
Si quieres saber mas sobre este operador, visita mi sección
de teoría de conjuntos llamadooperaciones 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.

Detalles
Revisor

Sergio Cohaguila
Fecha de Revision
2017-08-13
Nombre De La Entrada
La conjunción lógica
Clasificación

LÓGICA PROPOSICIONAL

1. Proposiciones Lógicas

2. Negación lógica

3. Conjunción Lógica

4. La Disyunción Lógica

5. Condicional Lógica

6. La Bicondicional

7. Tabla de verdad de una proposición

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

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

13. Circuitos Lógicos

14. Ejercicios Resueltos de Lógica Proposicional

Share on facebook
Share on google
Share on twitter
Share on pinterest

Politica de privac