Proposición

Una proposición es un ordenamiento resultado de nuestra actividad pensante

donde expresamos, bien la posibilidad de la ocurrencia de un hecho, o la
necesidad de una acción, o una orden, un deber, una interrogante, etc.
Puede decirse que una proposición es una frase declarativa o juicio al que,
podemos asignarle un valor verdadero ya sea cierto o falso. Por ejemplo la frase
“El programa es de Soft”, es una proposición, a priori no puede decirse si esta
proposición tiene un valor cierto o falso, pero si se parte de un contexto en que se
establece unívocamente de qué programa se está hablando y además se conoce
que efectivamente este es de Soft, puede afirmarse que la proposición es cierta.
Esta proposición por su estructura simple es denominada elemental, pero existen
juicios que poseen una complejidad mayor, por ejemplo la proposición “Adobe
Photoshop es un programa de Soft y de Diseño”, está compuesta por los
elementos “Adobe Photoshop es un programa de Soft” y “Adobe Photoshop es un
programa de Diseño” los cuales se vinculan mediante “y”, la veracidad de este
juicio compuesto está determinada por la veracidad de las dos proposiciones
elementales que lo componen.
En la lógica proposicional se estudian las proposiciones, los operadores que
permiten construir proposiciones compuestas a partir de proposiciones simples, la
manera de obtener el valor verdadero de un juicio compuesto a partir de los
valores de las proposiciones que lo forman y de los operadores que vinculan a
estos, así como el modo de representar las proposiciones a través de fórmulas
matemáticas.
Es importante tener en cuenta que no toda expresión lingüística es una
proposición, por ejemplo, las preguntas o las órdenes no pueden considerarse
como tal pues no se le puede asignar un valor veritativo en ningún contexto.

Alfabeto del cálculo proposicional

El cálculo proposicional se encarga del estudio de las proposiciones como objetos
matemáticos, para ello lo primero que se define es un alfabeto compuesto por
símbolos de constantes, variables, operaciones y agrupación.
Los símbolos de constantes proposicionales son solo dos (0 y 1) pues solo dos
son los valores veritativos, el cero representa el valor falso, mientras el uno
representa el valor verdadero.
Las variables proposicionales identifican proposiciones de valor desconocido, para
representarlas se utilizan letras finales del alfabeto latino (p, q, r, s...), con
subíndices en los casos que sea necesario.
Los símbolos de operaciones del cálculo proposicional son:
1.Negación (¬). Representa el “no” del lenguaje natural, también expresiones
como “es falso que”, “no se cumple que”, etc.
2.Conjunción (ᴧ). Representa expresiones como: “y”, “pero”, “aunque”, “sin
embargo”, etc.
3.Disyunción (V). Representa expresiones como: “o”, “al menos uno”, etc.
4.Condicional (⇒). Representa expresiones como: “si A entonces B”, “cuando A,
B”, “B, siempre que A”, etc.
5.Bicondicional (⇔). Representa expresiones mas complejas, donde se expresa
que dos proposiciones tienen la misma veracidad.
Los símbolos de agrupación tales como paréntesis, llaves, corchetes, también
forman parte de este alfabeto.

Fórmulas del cálculo proposicional

A partir del alfabeto del cálculo proposicional se definen fórmulas del cálculo
proposicional (o simplemente fórmulas) de la siguiente manera:
1.Una constante proposicional es una fórmula.
2.Una variable proposicional es una fórmula.
3.Si A es una fórmula, entonces (A), {A} y [A] también son fórmulas.
4.Si A es una fórmula, entonces ¬ A es una fórmula.
5.Si A y B son fórmulas, entonces A ᴧ B, A ⅴ B, A ⇒ B, A ⇔ B también son
fórmulas.
6.Toda fórmula del cálculo proposicional obedece a las reglas de formación antes
expuestas.
Ejemplos:
0 es una fórmula según la regla 1
p es una fórmula según la regla 2
(p) es una fórmula según las reglas 3 y 2
¬(p) es una fórmula según las reglas 4, 3 y 2
p ᴧ q es una fórmula según las reglas 5, 4, 3 y 2
p + q no es una fórmula pues “+” no es admitido por ninguna de las reglas
expuestas.
Dada una proposición, expresada en lenguaje natural, siempre será posible
representarla mediante una fórmula del cálculo proposicional, una manera muy
simple de hacerlo se describe a continuación:
1.Se identifican las proposiciones elementales.
2.Se representa cada proposición elemental mediante una variable proposicional.
3.Se identifican las negaciones y se le aplica el operador negación a la proposición
afectada.
4.Se identifican las expresiones del lenguaje natural que relacionan a las
proposiciones elementales y se representan por sus correspondientes símbolos de
operaciones.
El siguiente ejemplo ilustra este proceso:
Se desea representar mediante una fórmula del cálculo proposicional la siguiente
proposición: “Iriam tiene PC, pero no la utiliza ”.
1.Se identifican dos proposiciones elementales.
a)“Iriam tiene PC”
b)“Iriam utiliza la PC”
2.Se representa la proposición “Iriam tiene PC” como a, y “Iriam utiliza la PC”
como b.
3.Se identifica que b está afectada por “no”, de modo que se le aplica la negación
a b (¬b).
4.Se identifica que a y¬ b están relacionadas por medio de “pero”, quedando la
fórmula a ᴧ¬ b.
Es importante tener presente que las acciones 1-4 enumeradas con anterioridad
no son pasos de un algoritmo, pues el orden no siempre puede cumplirse c.

Interpretación de fórmulas del cálculo proposicional

Toda proposición, puede ser representada por una fórmula del cálculo
proposicional, por lo que, si a las primeras se les puede asignar un valor veritativo,
es de esperar que a las segundas también.
Las fórmulas más simples son las que constan de solo un símbolo de variable o
constante proposicional (p, q, r, 1, 0, etc.), a estas se les llama atómicas. En el
caso de las fórmulas 0 y 1 sus valores veritativos serán siempre falso (0) y cierto
(1) respectivamente. Las variables por su parte, como su nombre lo indica, pueden
tomar cualquier valor (0 o 1). A manera de ejemplo, supóngase que la variable p
representa a la proposición “está lloviendo”, entonces p tomará valor 1 cuando
efectivamente esté lloviendo, mientras tomará valor 0 cuando esto no sea así.
Para determinar el valor veritativo de una fórmula no atómica, lo primero que se
necesita es asociar un valor a cada una de las variables que la forman. Pero con
esto no basta, se necesita de reglas de interpretación y de precedencia para las
operaciones.
Obsérvese la siguiente fórmula:
A: p ᴧ q
Directamente, no se le puede asociar un valor veritativo, pero para una asignación
de valores a sus variables (p = 1, q = 0) si se puede determinar el valor de la
fórmula. Para esto se utiliza la regla de interpretación de la conjunción, que
plantea que esta es verdadera solo si los dos operandos involucrados lo son, por
lo tanto, para la interpretación p = 1, q = 0, la fórmula A es falsa. A continuación se
presentan las reglas de interpretación para cada uno de los operadores lógicos.
Sean A y B fórmulas del cálculo proposicional, se cumple que:
A B AᴧB A B AⅴB
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1
A B A⇒B A B A⇔B
0 0 1 0 0 1
0 1 1 0 1 0
1 0 0 1 0 0
1 1 1 1 1 1
A ¬A
0 1
1 0
Obsérvese esta otra fórmula:
A: p ⅴ q ᴧ r
Si se tiene que p = 1, q = 1 y r = 0, solo haciendo uso de las reglas de
interpretación de la disyunción y la conjunción no se puede determinar el valor de
A, puesto que habría que aplicar una primero y otra después, pero no se sabe en
que orden. Si se aplica primero la disyunción, se tiene que p ⅴ q tiene valor 1 y
luego 1 ᴧ r seria 0, por lo que A tendría valor 0 o falso. Sin embargo si se aplica
primero la conjunción, se tiene que q ᴧ r tiene valor 0, y p ⅴ 0 es 1, teniendo A, de
esta manera, valor verdadero o 1. Es por esto que debe existir un orden
predeterminado para evitar este tipo de ambigüedades. El orden es el siguiente:
1. Operaciones entre signos de agrupación
2. Negaciones
3. Conjunciones
4. Disyunciones
5. Condicionales
6. Bicondicionales
Entonces la fórmula A cuando p = 1, q = 1 y r = 0, tiene valor 1.
Obsérvese el siguiente ejemplo:
(p ⅴ q) ⅴ q ᴧ r ⇒ s ⅴ p
Sea p = 1, q = 0, r = 0 y s = 1
primero las operaciones entre signos de agrupación
pⅴq=1
sustituyendo
1 ⅴ q ᴧ r 1⇒ s ⅴ p
entre ⅴ y ᴧ, el segundo tiene mayor precedencia
qᴧr=0
sustituyendo
1ⅴ0⇒sⅴp
1ⅴ0=1ysⅴp=1
sustituyendo
1⇒1=1
finalmente A = 1
Se hace evidente que el valor veritativo de una fórmula, depende de los valores de
las variables involucradas, a cada asignación de valores a las variables de una
fórmula, se le llama interpretación, de esta manera, la fórmula p ⅴ ¬q tiene 4
interpretaciones:
1. p = 0 q = 0 p ⅴ ¬q = 1
2. p = 0 q = 1 p ⅴ ¬q = 0
3. p = 1 q = 0 p ⅴ ¬q = 1
4. p = 1 q = 1 p ⅴ ¬q = 1
El conjunto de interpretaciones de una fórmula puede representarse mediante una
“tabla veritativa” o “tabla de la verdad” como la siguiente:
p q p ⅴ¬q
0 0 1
0 1 0
1 0 1
1 1 1
Como cada variable proposicional puede tener dos valores, el número de
interpretaciones de una fórmula con i variables será 2ⁱ.
Cuando una fórmula es verdadera para al menos una de sus interpretaciones, se
dice que es cumplible.
Cuando una fórmula tiene es verdadera para todas sus interpretaciones se dice
que es una tautología.
Cuando una fórmula es falsa para todas sus interpretaciones se dice que es una
contradicción.

Equivalencia e implicación lógica. Leyes de

equivalencia
Existen fórmulas que, aunque diferentes en su composición, son iguales en sus
interpretaciones, es decir, toman iguales valores para iguales valores de sus
variables. Obsérvese el siguiente ejemplo:
A- (p ⅴ q) ᴧ q B- q ⅴ (p ᴧ q)
p q A p q B
0 0 0 0 0 0
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 1 1 1
Cuando esto ocurre, se dice que son fórmulas equivalentes. Con respecto a la
equivalencia entre fórmulas, se cumple que:
Siendo A y B fórmulas del cálculo proposicional, A es equivalente a B, si y solo si
A ⇔ B es una tautología.
De lo analizado se desprende que para demostrar que dos fórmulas son
equivalentes, basta con construir sus respectivas tablas de la verdad, si son
iguales queda demostrada la equivalencia.
Hay fórmulas que sin llegar a ser equivalentes, cumplen cierta dependencia, tal
como ocurre en el siguiente ejemplo:
A- p ᴧ q B- q ⅴ p
p q A p q B
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1
Puede apreciarse que cuando A es 1, entonces B también lo es, en estos casos se
dice que A implica lógicamente a B, la implicación lógica cumple que:
Siendo A y B fórmulas del cálculo proposicional, A implica logicamente a B, si y
solo si A ⇒ B es una tautología.
Una equivalencia o implicación lógica, constituye de hecho una ley, a continuación
aparecen algunas de las leyes lógicas más comunes (A, B, C son fórmulas
cualesquiera):
L1. A ⅴ A equivalente a A Leyes de idempotencia
L2. A ᴧ A equivalente a A Leyes de idempotencia
L3. (A ⅴ B) ⅴ C equivalente a A ⅴ (B ⅴ C) Leyes asociativas
L4. (A ᴧ B) ᴧ C equivalente a A ᴧ (B ᴧ C) Leyes asociativas
L5. A ⅴ B equivalente a B ⅴ A Leyes conmutativas
L6. A ᴧ B equivalente a B ᴧ A Leyes conmutativas
L7. A ⅴ (B ᴧ C) equivalente a (A ⅴ B) ᴧ (A ⅴ C) Leyes distributivas
L8. A ᴧ (B ⅴ C) equivalente a (A ᴧ B) ⅴ (A ᴧ C) Leyes distributivas
L9. A ⅴ 0 equivalente a A Leyes de identidad
L10. A ᴧ 1 equivalente a A Leyes de identidad
L11. A ⅴ 1 equivalente a 1 Leyes de identidad
L12. A ᴧ 0 equivalente a 0 Leyes de identidad
L13. A ⅴ ¬A equivalente a 1 Ley del tercero excluido
L14. A ᴧ ¬A equivalente a 0 Ley de contradicción
L15. ¬(¬A) equivalente a A Ley de la doble negación
L16. ¬1 equivalente a 0 Ley de negación de una
tautología
L17. ¬0 equivalente a 1 Ley de negación de una
contradicción
L18. ¬(A ⅴ B) equivalente a ¬A ᴧ ¬B Leyes de D’Morgan
L19. ¬(A ᴧ B) equivalente a ¬A ⅴ ¬B Leyes de D’Morgan
L20. A ⇒ B equivalente a ¬A ⅴ B Definición de ⇒
L21. A ⇔ B equivalente a (A ⇒ B) ᴧ (B ⇒ A) Definición de ⇔
Las leyes constituyen poderosas herramientas para demostrar la equivalencia
entre fórmulas sin tener que recurrir a las tablas de la verdad, basta con
transformar una fórmula en otra por medio de leyes para demostrar su
equivalencia.

CONSTRUCCIÓN DEL CÁLCULO PROPOSICIONAL

OBJETO DEL CÁLCULO PROPOSICIONAL
El cálculo proposicional tiene como objetivo principal apoyar operaciones que se derivan de una
proposición y sus consecuencias.

Todo esto bajo un sistema que permite evaluar la veracidad o falsedad de una proposición y sus
implicaciones.
VARIABLES Y CONECTIVOS PROPOSICIONALES
SIMBOLOS
Son los símbolos que sustituyen las proposiciones o enunciados.
SÍMBOLOS DE AGRUPACIÓN
Los signos de agrupación definen el orden en el que se realizará la operación.
REGLAS DE FORMACIÓN
 PROPOSICIONES SIMPLES
Son aquellas que carecen totalmente de conectivos lógicos y que, por lo tanto, son inseparables.
PROPOSICIONES COMPUESTAS
Son aquellas que resultan de la combinación de varias proposiciones simples, unidas por uno o más
conectivos lógicos
DESIGNADO Y DENOTADO DE UN SIGNO
Los signos lingüísticos son los signos que constituyen un lenguaje.
El designado es el conjunto de características a que hace referencia el signo.
El denotado de un signo, es el conjunto de todas las entidades que poseen las características del
designado.
Sirven para relacionar las proposiciones entre sí. Se los conoce con el nombre de conectivas.
FORMA PROPOSICIONAL
Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no serán
consideradas proposiciones.
SIMBOLIZACIÓN DE ENUNCIADOS DEL LENGUAJE NATURAL EN EL CÁLCULO
PROPOSICIONAL

Los enunciados serán representados en el cálculo por medio de variables, designadas por letras
minúsculas del alfabeto a partir de la “p” .
VALOR VERITATIVO DE UNA PROPOSICIÓN MEDIANTE REGLAS DEL ÁRBOL Y USO
DE TABLAS DE VALORES DE VERDAD
Una expresión lógica, es decir, una proposición puede evaluarse mediante un árbol lógico para así
saber su valor veritativo.
Si tenemos la siguiente expresión: ¬A ^ B ν A ^ ¬B para crear un árbol lógico se empieza desde la
negaciones, luego las respectivas conjunciones de cada lada y se termina con la disyunción.
TAUTOLOGÍA
Es un caso especial de proposiciones lógicas caracterizadas por tener exclusivamente el valor
verdadero en la columna final de su tabla de verdad, independientemente del valor de las demás
proposiciones.
CONTRADICCIÓN
Es una proposición que siempre es falsa para todos los valores de verdad. Para cualquier valor de
verdad de las proposiciones, sea cual sea, el resultado de la fórmula lógica estudiada siempre va a
ser falso.
CONTINGENCIA
Es una proposición que no es ni verdadera ni falsa independientemente de los valores de verdad de
las proposiciones simples que la componen.