Proposiciones

Proposición)
Una proposición es una unidad semántica que, o sólo es verdadera o sólo es
falsa.

Los elementos fundamentales de la lógica son las proposiciones las oraciones

que no son falsas ni verdaderas, las que son falsas y verdaderas al mismo
tiempo, o las que demuestran algún tipo de imprecisión (carecen de sentido),
no son objeto de estudio de la lógica

Oraciones que son proposiciones:

 Todos los números enteros son positivos.
 Vicente Rocafuerte fue Presidente del Ecuador

Usualmente, las primeras letras del alfabeto español en minúscula se usan

para representar proposiciones.

Representación simbólica de proposiciones.

5 es un número primo puede ser representada por la letra a, de la forma:

a: 5 es un número primo
Oraciones que no son proposiciones.

Lava el auto, por favor.

Hola, ¿cómo estás?

¡Apúrate!

La conceptualización cambia lo absurdo en azul.

x + 5 = 9.

¡Mañana se acabará el mundo!

 Las primeras cuatro oraciones no son proposiciones porque no se puede

establecer su valor de verdad, las oraciones imperativas, exclamativas e
interrogativas no son proposiciones.

Valor de Verdador de verdad)

El valor de verdad de una proposición es la cualidad de veracidad que describe
adecuadamente la proposición. Éste puede ser verdadero o falso.

Usualmente al valor verdadero se lo asocia con: 1, V, T, True; mientras que

el valor falso se lo asocia con: 0, F, False. Se podría utilizar cualquiera de

ellas, pero la convención a seguir en el texto será el uso de 0 y 1, tomando

como referencia el sistema de numeración binario.

Verdad y falsedad pueden considerarse simplemente como los valores lógicos

de la unidad semántica descriptiva con sentido completo. Ese valor es lo que
más nos interesa sobre una proposición

TABLA DE VERDAD
(Tabla de verdad)
Una tabla de verdad es una representación de los posibles valores deverdad que podría
tomar una proposición.

Tablas De Verdad.

La cantidad de combinaciones (filas de la tabla de verdad) depende de la

cantidad de proposiciones presentes en la expresión lógica.

Operadores Lógicos
Proposiciones que no son simples.

• No te encontré en tu casa.

• Fui al banco y estaba cerrado.

• Tengo una moneda de cinco centavos o una de diez centavos.

• El carro de Juan o es azul o es negro.

• Si me gano la lotería, entonces me compro una casa.

Surge la necesidad de definir los nexos de estas proposiciones a los cuales se

denominan conectores u operadores lógicos. Gramaticalmente, estos nexos, en
su mayoría, son denominados partes invariables de la oración.

Negación
Sea a una proposición, la negación de a, representada simbólicamente por ¬a, es una
nueva proposición, cuyo valor de verdad está dado por la siguiente tabla de verdad:

Este operador lógico cambia el valor de verdad de una proposición: si a

es una proposición verdadera, a es falsa; si a es una proposición falsa, a
es verdadera. La negación se presenta con los términos gramaticales: “no”,
“ni”, “no es verdad que”, “no es cierto que”.

Negación de proposiciones.
Si se tiene la proposición:
a: Tengo un billete de cinco dólares.
La negación de a es:
¬a: No tengo un billete de cinco dólares´

Conjunción
Sean a y b proposiciones, la conjunción entre a y b, representada simbólicamente por
a∧b, es una nueva proposición, cuyo valor de verdad está dado por la siguiente tabla
de verdad:

Este operador lógico relaciona dos proposiciones para formar una nueva, en la
cual la proposición resultante será verdadera solamente cuando el valor de
verdad de ambas proposiciones es verdadero. En español, la conjunción
copulativa se presenta con los términos gramaticales: “y”, “pero”, “mas”, y
signos de puntuación como: la coma, el punto, y el punto y coma

Conjunción de proposiciones.
Si se tienen las proposiciones:
a: Obtengo buenas notas.
b: Gano una beca.
La conjunción entre a y b es:
a∧b: Obtengo buenas notas y gano una beca

Disyunción
Sean a y b proposiciones, la disyunción entre a y b, representada simbólicamente por
a∨b, es una nueva proposición, cuyo valor de verdad está dado por la siguiente tabla
de verdad:
Este operador lógico relaciona dos proposiciones para formar una nueva, enla
cual la proposición resultante será falsa solamente cuando el valor de verdad
de ambas proposiciones es falso.

En español, la disyunción se presenta con el término gramatical “o”.

Disyunción de proposiciones.
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Álgebra.
La disyunción entre a y b es:
a∨b: Tengo un libro de Trigonometría o uno de Álgebra.
Como se podrá notar en este ejemplo, existe la posibilidad de poseer ambos
libros, razón por la cual esta disyunción recibe el nombre de disyunción
inclusiva.
En el lenguaje español suelen presentarse situaciones que son mutuamente
excluyentes entre sí. La expresión “o estoy en Quito o estoy en Guayaquil” denota
la imposibilidad de estar físicamente en Quito y Guayaquil al mismo tiempo

Disyunción exclusiva
Sean a y b proposiciones, la disyunción exclusiva entre a y b, representada
simbólicamente por a b, es una nueva proposición, cuyo valor de verdad está dado
por la siguiente tabla de verdad:

Este operador lógico relaciona dos proposiciones para formar una nueva, en

la cual la proposición resultante será verdadera cuando solamente

una de ellas sea verdadera.

La disyunción exclusiva a b puede expresarse como:

(a ∨ b) ∧ ¬(a ∧ b)
En español, la disyunción exclusiva se presenta con el término gramatical
“o”, “o sólo”, “o solamente”, “o..., o...”.

Disyunción exclusiva de proposiciones.

Si se tienen las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyunción exclusiva entre a y b es:
a b: O estoy en Quito o estoy en Guayaquil
 Condicional
Sean a y b proposiciones, la condicional entre a y b, representada

simbólicamente por a→b, es una nueva proposición, cuyo valor de

verdad está dado por la siguiente tabla de verdad:

Este operador lógico también se denomina enunciación hipotética o

implicación. En la proposición a→b, a es el antecedente, hipótesis o premisa; b
es el consecuente, conclusión o tesis; y la proposición resultante será falsa
solamente cuando el valor de verdad del antecedente sea verdadero y el valor
de verdad del consecuente sea falso.

Ejemplo - Condicional de proposiciones.

Si se tienen las proposiciones:
a: Juan gana el concurso.
b: Juan dona $ 10 000.
La condicional entre a y b es:
a→b: Si Juan gana el concurso, dona $ 10 000.
Parafraseando la condicional, tenemos:
• Juan gana el concurso sólo si dona $ 10 000.
• Juan dona $ 10 000 si gana el concurso.
• Si Juan gana el concurso, entonces dona $ 10 000.
• Juan dona $ 10 000 puesto que gana el concurso.
• Juan dona $ 10 000 debido a que gana el concurso.
• Juan dona $ 10 000 siempre que gane el concurso.
• Cuando Juan gane el concurso, dona $ 10 000.
• Juan dona $ 10 000 porque gana el concurso.

Existen otras proposiciones relacionadas con la condicional a→b, las cuales

se denominan: recíproca, inversa y contrarrecíproca (o contrapositiva).
La Recíproca, es representada simbólicamente por: b→a.
La Inversa, es representada simbólicamente por: ¬a→¬b.
La Contrarrecíproca, es representada simbólicamente por: ¬b→¬

Ejemplo -Variaciones de la condicional.

A partir de la proposición:
“Si es un automóvil, entonces es un medio de transporte”.
La Recíproca sería:
“Si es un medio de transporte, entonces es un automóvil”.
La Inversa sería:
“Si no es un automóvil, entonces no es un medio de transporte”.
La Contrarrecíproca sería:
“Si no es un medio de transporte, entonces no es un automóvil”.

Cabe anotar que una proposición puede ser reemplazada por su

contrarrecíproca sin que se afecte su valor de verdad, lo cual no se cumple
con la recíproca o la inversa.

Variaciones de la condicional.
A partir de la proposición:
“Si un número es divisible para 6, entonces es divisible para 3”.
La Recíproca sería:
“Si un número es divisible para 3, entonces es divisible para 6”.
La Inversa sería:
“Si un número no es divisible para 6, entonces no es divisible para 3”.
La Contrarrecíproca sería:
“Si un número no es divisible para 3, entonces no es divisible para 6”.
Relacionadas a la enunciación hipotética, surgen las nociones de condición
necesaria y condición suficiente, y puede afirmarse con propiedad que
mucha gente tiene integrada estas nociones a su lenguaje cotidiano, tal
como se ilustra en el siguiente caso.
Ejemplo
Un profesor presenta este problema a sus estudiantes:
“Un hacendado tiene un cierto número de reses, de tal
forma que: si las agrupa de 2 en 2, le sobra 1, si las agrupa
de 3 en 3, le sobra 1, pero si las agrupa de 4 en 4, no le
sobran. Entonces, ¿podría indicar usted el número de reses
que tiene el hacendado?”.
El razonamiento que presentaron los estudiantes a este problema, fue:
“Si el hacendado las agrupa de 2 en 2, sobra 1, por lo tanto
no es múltiplo de 2. Si las agrupa de 3 en 3, sobra 1, por lo
tanto no es múltiplo de 3. Pero si las agrupa de 4 en 4, no
le sobran, por lo tanto es múltiplo de 4.
Mmmmm…, pero algo anda mal, porque si el número de
reses es múltiplo de 4, también debe ser múltiplo de 2
debido a que 4 es múltiplo de 2. Luego, el problema está
mal planteado”.

Esto significa que las condiciones se contradicen y el problema tiene

condiciones que no se pueden dar. Por lo tanto, no hay forma de determinar
el número de reses del hacendado.
Analizando este problema desde el punto de vista lógico y suponiendo que n
es un entero positivo bien definido, se tendrá la siguiente propiedad: “Si n es
múltiplo de 4, entonces n es múltiplo de 2”, la cual se puede expresar como
a→b, donde a: n es múltiplo de 4 y b: n es múltiplo de 2.
Al ser la proposición a→b verdadera, la condición “n es divisible para 4” es
suficiente para que “n sea divisible para 2”; es decir, que basta que n sea
divisible para 4 para que ese mismo n sea divisible para 2. Esto significa que
a es condición suficiente para b.
Por otro lado, la condición “n es divisible para 2” es necesaria para que “n
sea divisible para 4”; es decir, que se requiere que n sea divisible para 2
para que ese mismo n sea divisible para 4. Esto significa que b es condición
necesaria para a.
Una misma proposición puede ser condición suficiente para varias
proposiciones y viceversa. Una misma proposición puede ser condición
necesaria para distintas proposiciones

Condiciones necesarias y suficientes.

Las siguientes proposiciones son verdaderas:
“Si n es divisible para 16, n es divisible para 2”.
“Si n es divisible para 8, n es divisible para 2”.
“Si n es divisible para 16, n es divisible para 8”.
Parafraseando las proposiciones anteriores, se tiene:
“n es divisible para 16” es condición suficiente para que “n sea
divisible para 2”.
“n es divisible para 2” es condición necesaria para que “n sea divisible
para 8”.
“n es divisible para 8” es condición necesaria para que “n sea
divisible para 16”

Cuando la proposición a→b es verdadera, se puede parafrasear de la siguiente

manera: “basta a para que b”, “se necesita b para a”, “para que suceda a, es necesario
que suceda b”, “b con la condición de que a”.

Ejemplo. Identificación de condiciones necesarias y suficientes.

Si consideramos que la siguiente proposición es verdadera:
“Si estudias, aprobarás el curso”.
Podemos afirmar que es suficiente estudiar para aprobar el curso. Así
mismo, es necesario aprobar el curso como consecuencia de haber
estudiado.

Identificación de condiciones necesarias y suficientes.

Si ahora suponemos que la siguiente proposición es verdadera:
“Aceptaré el trabajo con la condición de que me traten bien”.
Podemos afirmar que es suficiente que me traten bien para aceptar
el trabajo. Por otra parte, es necesario aceptar el trabajo como
consecuencia de que me traten bien.

Bicondicional
Sean a y b proposiciones, la bicondicional entre a y b, representada
simbólicamente por a↔b, es una nueva proposición, cuyo valor de
verdad está dado por la siguiente tabla de verdad:
Este operador lógico también se denomina doble implicación. La proposición a↔b
será verdadera cuando los valores de verdad de ambas proposiciones sean
iguales. También se puede observar que la proposición a↔b será falsa cuando los
valores de verdad de ambas proposiciones sean diferentes. En español, la
proposición a↔b se puede encontrar con los siguientes términos gramaticales: “a si y
sólo si b”, “a si y solamente si b”, “a implica b y b implica a”, “a cuando y sólo cuando
b”.

Ejemplo 1.19 Bicondicional de proposiciones.

Dadas las proposiciones:
a: Un triángulo es equilátero.
b: Un triángulo es equiángulo.
La bicondicional entre a y b es:
a↔b: Un triángulo es equilátero si y sólo si es equiángulo

Proposiciones simples y compuestas

Proposiciones simples son aquellas que no poseen operador lógico
alguno. Las proposiciones compuestas están formadas por otras
proposiciones y operadores lógicos.

Ejemplo 1.20 Traducción al lenguaje simbólico.

Traduzca al lenguaje simbólico la proposición:
“Si la seguridad privada es efectiva, disminuyen los índices de asalto en
la ciudad y el turismo se desarrolla. Los índices de asalto no disminuyen,
pero la seguridad privada es efectiva. Entonces, el turismo no se
desarrolla”.
Solución:
Se pueden identificar las siguientes proposiciones simples:
a: La seguridad privada es efectiva.
b: Los índices de asalto disminuyen en la ciudad.
c: El turismo se desarrolla.
Los operadores lógicos que se encuentran presentes en esta proposición
compuesta son la condicional, la conjunción y la negación.
La traducción es:
[(a→(b∧c))∧(b∧a)]→(c)
Ejemplo 1.21 Determinación de valores de verdad.

Bajo la suposición de que los valores de verdad de las proposiciones

simples a, b, c y d son respectivamente 0, 0, 1, 1, indique el valor de

verdad de cada una de las siguientes proposiciones compuestas:

a) ¬(a∨b)→(c∧¬d)

b) ¬(c↔a) (b∧d)

Solución:

a) ¬(0∨0)→(1∧0)

¬(0)→0

1→0

El valor de verdad de esta proposición es falso.

b) ¬(1↔0) (0∧1)

¬(0) 0

10

El valor de verdad de esta proposición es verdadero

Ejemplo 1.22 Determinación de valores de verdad.

Determine el valor de verdad de las proposiciones a, b, c si la proposición

[(a∧¬b)→c] es FALSA.

Solución:

El operador principal de esta proposición compuesta es la condicional.

Dado que esta implicación tiene un valor de verdad falso únicamente

cuando el antecedente es verdadero y el consecuente es falso, se

obtiene que: (a∧¬b) debe ser verdadero; y, c debe ser falso.

Estos valores lógicos se obtienen si y sólo si a es verdadero, b es falso

y c es falso, con lo cual quedan determinados los valores de verdad.

Formas Proposicionales
p constituye una variable proposicional cuando puede representar
a una proposición simple o compuesta. El valor de verdad de p será
desconocido mientras no se especifique el valor de verdad de las proposiciones
involucradas.
Usualmente las últimas letras en minúscula del alfabeto español p, q, r, etc.,
se usan para representar variables proposicionales
Formas Proposicionales
( )
Se denominan formas proposicionales a las estructuras constituidas por
variables proposicionales y los operadores lógicos que las relacionan.

Tabla de verdad de una forma proposicional.

Dada la siguiente forma proposicional:

A: [(p∧q)→(r∨¬p)]∧r

Debido a la presencia de las 3 variables proposicionales p, q y r, existirán

23 proposiciones posibles en la tabla de verdad de A.

Cuando las variables proposicionales p, q y r toman los valores de verdad 1,

0 y 1, respectivamente, se puede apreciar que la proposición resultante es
verdadera.

Tautología, Contradicción, Contingencia)

(
Dada la estructura lógica de una forma proposicional:
Si se tienen solamente proposiciones verdaderas para todos los
valores de verdad de las variables proposicionales, se dice que es
una TAUTOLOGÍA.
Si se tienen solamente proposiciones falsas para todos los valores
de verdad de las variables proposicionales, se dice que es una
CONTRADICCIÓN.
Si se tienen algunas proposiciones verdaderas y otras falsas para
los valores de verdad de las variables proposicionales, se dice que
es una CONTINGENCIA

(Implicación lógica)
Sean A y B dos formas proposicionales, se dice que A implica lógicamente
a B, denotado por A⇒B, si y sólo si A→B es una tautología.

La forma proposicional tautológica: p⇒(q→p), se puede traducir al

lenguaje común como “si se tiene p, de cualquier manera q se seguirá
teniendo p”.

Equivalencia lógica
Sean A y B dos formas proposicionales, se dice que A es equivalente

lógicamente a B, denotado por A⇔B, si y sólo si A↔B es una tautología.

Cuando se requiere sustituir una estructura por otra que sea equivalente,

alternativamente el símbolo ⇔ se lo reemplaza por ≡.

La forma proposicional: (p→q)⇔(q→p),se puede traducir al lenguaje

común como “cada vez que se tiene p, se tiene q”, y es lógicamente
equivalente a “cuando no se tiene q, entonces no se tiene p”.

Propiedades de los operadores lógicos

Las operaciones lógicas definidas entre las formas proposicionales y algunas
de sus más importantes propiedades se incluyen en las denominadas Leyes
del Álgebra de Proposiciones o Leyes Lógicas. A continuación se presentan
las de uso más frecuente