UNIDAD: III CALCULO PROPOSICIONAL

Todos los lenguajes están construidos a partir de combinaciones de signos

que reciben el nombre de expresiones. Pero no cualquier combinación es
válida, sino que dicha combinación debe realizarse de acuerdo con una
serie de reglas gramaticales (morfológicas, sintácticas).

Cuando una expresión del lenguaje natural es gramaticalmente correcta y

tiene un sentido completo recibe el nombre de oración.

Hay muchos tipos de oraciones en los lenguajes naturales: enunciativas,

desiderativas, de posibilidad, dubitativas, exhortativas, interrogativas,
exclamativas. Aquí interesan las oraciones enunciativas, también
llamadas enunciados o proposiciones
QUE ES UN ENUNCIADO O PROPOSICIÓN?

Una oración declarativa puede ser verdadera o falsa. Pero no ambas cosas a
la vez. Los enunciados dicen de las cosas y, consecuentemente, pueden ser
verdaderos o falsos. No son enunciados las expresiones lingüísticas
interrogativas, dubitativas, desiderativas, exclamativas o imperativas
CLASIFICACION DE UNA PROPOSICIÓN:

Proposiciones simples: son aquellas que constan de una sola proposición

María es ingeniero
La urbe es privada
2+5=8
Maracaibo es la capital del estado Zulia

Proposiciones compuestas: son aquellas que constan de dos o más

proposiciones

María es ingeniero y abogado

Dos es un numero primo y par
Si José estudia ingeniería entonces trabajara en PDVSA
Llueve si solo si no hay sol
VARIABLES PROPOSICIONALES

son aquellas letras minúsculas del alfabeto que representan a las

diferentes proposiciones u oraciones que tienen un valor de verdad, estas
son: “p”, “q”, “r”, “s”, “t”.

Si consideramos representar la proposición “la Universidad Dr. Rafael

Belloso Chacín es privada” conviene representarla con la con la letra p y
decimos

p: la Universidad Dr. Rafael Belloso Chacín es privada;

si la proposición es compuesta por ejemplo: Venezuela es un país bonito

y productor de petróleo, esta proposición conviene representarla
primeramente con p y luego q

p: Venezuela es un país bonito y

q: Venezuela es productor de petróleo.

Cada una de ellas representa un orden si tenemos una sola proposición se

inicia con p si tenemos dos proposiciones se inicia primero con p y luego
con q tal cual se presento en el ejemplo anterior.
CONSTANTES LÓGICAS, OPERADORES O CONECTORES

Son símbolos que denotan relaciones y operaciones lógicas.

Sirven para establecer conexiones entre los enunciados, por lo que se

denominan conectores o conectivas.

En las lenguas naturales esta función conectiva es desempeñada por las

conjunciones. Puesto que el tipo de relación que cada partícula conectiva
establece es fijo, los símbolos correspondientes son denominados constantes
lógicas.

Las constantes lógicas más usuales en la Lógica proposicional son las

siguientes

Maracaibo es la capital del estado Zulia y fue fundada en el siglo XVI

El conector es “y” para

p: Maracaibo es la capital del estado Zulia,
q: fue fundada en el siglo XVI
tenemos (p y q)
 El profesor Leowardo es ingeniero o licenciado

El conector es “o” para

p: El profesor leowardo es ingeniero,
q: licenciado,
quedando (p o q)

Si José estudia ingeniería entonces trabajara en PDVSA

el conector es “entonces” para
p: Si José estudia ingeniería,
q: trabajara en PDVSA, (p entonces q)

No es cierto que llueva hoy No es cierto que llueva hoy

el conector es “no” para p: es cierto que llueva hoy.
Los conectores lógicos hay que tomar en cuenta que se clasifican en diádicos y
monádicos;

los diádicos:
Aquellos que tienen un solo alcance hacia la derecha este operador es la
negación

ejemplo no es cierto que llueva hoy

El negador (~):
Es la única constante que se aplica a un solo enunciado cambiándole su valor
veritativo, y equivale a la negación del lenguaje natural.

Así, si p es verdadera, ¬p es falsa, y viceversa.

Se lee: no, no es el caso que.

los monádicos:
son aquellos que tienen doble alcance hacia la derecha y hacia la izquierda
estos son “si solo si”, “entonces”, “y”, “o”, por ejemplo:
José estudia ingeniería entonces trabajara en PDVSA
La conjunción(v):
Corresponde a la conjunción “y” del lenguaje natural, lo que hace es dar lugar
a una proposición molecular que es verdadera solamente cuando son verdaderas
las proposiciones atómicas que la componen.

La disyunción( ):
Corresponde a la conjunción “o” del lenguaje natural y lo que hace es dar
lugar a una proposición molecular que es verdadera cuando una de las
proposiciones atómicas que la componen o ambas son verdaderas.

La implicación (ͻ):
Corresponde a la expresión “entonces” del lenguaje natural y lo que hace es
afirmar que si el primero de los enunciados (antecedente) es verdadero, el
segundo (consecuente) necesariamente también lo es (es decir, lo que no puede
darse es el caso de que el antecedente sea verdadero y el consecuente falso).

La fórmula a que da lugar será verdadera siempre que no ocurra que el

antecedente sea verdadero y el consecuente falso
El bicondicional o equivalencia(↔):

Corresponde a la expresión “si sólo si” entonces del lenguaje natural y lo

que hace es afirmar que si el primero de los enunciados es verdadero, el
segundo también lo es, y que si el primero de los enunciados es falso, el
segundo también lo es. La fórmula a que da lugar sólo será verdadera siempre
que las proposiciones que la componen tengan el mismo valor de verdad
(ambas verdaderas, ambas falsas)
LAS TABLAS DE VERDAD
Una vez formalizado una proposición resulta mucho más fácil operar con ella. Lo
primero es averiguar en qué casos es verdadera y en qué casos no.

La Semántica es aquella parte del lenguaje que se ocupa de la relación entre los
símbolos y su significado, a la Lógica no le interesa el significado empírico de las
proposiciones; lo único que le interesa de su significado es su valor veritativo: su
verdad o falsedad.

Como la verdad de las proposiciones complejas depende del valor veritativo de

sus proposiciones simples (variables) y del tipo de relación que las une (constantes
o conectores), la Lógica usa un método para demostrar semánticamente una
fórmula cualquiera: el método de las tablas de verdad.

Este método consiste en calcular en qué casos una proposición compleja es

verdadera y en qué casos es falsa.
Interpretar un símbolo consiste en darle un significado. La Lógica
proposicional, como la mayoría de los tipos de lógica, es una lógica
bivalente, quiere decir que cada proposición simple o variable sólo puede
tener dos interpretaciones o significados: verdadero (1) o falso (0).

Un caso es una posible combinación de tales valores en sus variables, de

forma que mientras más variables tenga una fórmula más casos posibles
habrá.
Así, en una fórmula que contenga una única variable (p → p) sólo hay
dos casos posibles:
que “p” sea verdadera o que sea falsa, mientras que en una que contenga
dos variables (p → q) hay cuatro casos posibles:

1)que ambas sean verdaderas;

2) que ambas sean falsas;
3)que “p” sea verdadera y “q” falsa;
4)que “p” sea falsa y “q” verdadera.
P
En una fórmula de tres variables hay ocho posibles casos; en una de
cuatro, dieciséis, y así, sucesivamente. Hay una fórmula para hallar el V
número de casos (x) de una proposición molecular: x = 2n, donde n es el
número de variables F
Dos variables

P q Tres variables
V v
V f p q r
F v
v v v
F f
v v f
v f v
v f f
f v v
f v f
f f v
f f f
SEMÁNTICA DE LOS CONECTORES DE LA LÓGICA
PROPOSICIONAL
-El negador (~) se usa para simbolizar expresiones del lenguaje natural
tales como “no”, “no es el caso que”, “es falso que”, “no es posible que“,
“es imposible que”,…

Cuando afecta a una proposición simple se pone simplemente delante de

ella, pero cuando afecta a una proposición compleja, ésta debe ir entre
paréntesis y el negador delante del mismo. Además, existen ocasiones en
las que un negador puede afectar a otro negador. Ejemplos:

Cristóbal colon nació en caracas = p

Cristóbal colon no nació en caracas = ~ p

Pedro es un buen estudiante = p

Pedro no es buen estudiante= ~p
Lo siguiente se puede expresar por medio de la
tabla de la verdad

La proposición molecular: x = 2n en todo caso

seria21=2

p (~p)

v F

f V
conjuntor (•)

se usa para simbolizar la conjunción “y” del lenguaje natural lo que

hace es afirmar que los dos enunciados que conecta son verdaderos.

Por eso, hay además otras conjunciones del lenguaje natural (“pero”,
“aunque”, “también”, “además”, “ni”) que poseen su mismo valor
lógico, por lo que también pueden sustituirse por el mismo símbolo.

Ejemplos:

Juan camina y Pedro descansa = p • q

Los tejados son de pizarra y las puertas de madera = p • q

Me van bien en los estudios pero no apruebo = p• ~ q

No es cierto que me vaya a marchar y no quiera verte ni acordarme de

ti = ~ [p • (~q • ~ r)]
La proposición molecular: x = 2n en todo
caso seria2 **2 =4

p q (p • q)

v v v

v f f

f v f

f f f
coimplicador o equivalencia(↔)

corresponde a la expresión “si y sólo si… entonces” del lenguaje natural (y a

otras equivalentes como “... es igual a...”, “… es lo mismo que...”, “... equivale
a...”, etc.) y lo que hace es afirmar que ambos enunciados tienen el mismo valor
veritativo: si el primero es verdadero, el segundo también lo es, y si es falso,
también lo es el segundo.

Ejemplos:

Sólo estudiaré si tú lo haces también = p ↔ q

Sólo si no has tenido una experiencia traumática puedes ser feliz = ¬ p ↔ q

Si no es verdad lo que dices, entonces únicamente en el caso de que te retractes

te volveré a dirigir la palabra = ¬ p → (q ↔ r)
La proposición molecular: x = 2n en todo caso
seria2**2=4

P q (p ↔q)

V v v

V f f

F v f

F f v
Actividad 1

Para comprender mejor en los siguientes enunciados con dos

proposiciones, su traducción en la lógica de enunciados, y en
sus correspondientes tablas de verdad

Enunciado 1: “Sócrates escribió mucho y Platón también” 

=  “p ● q”

Enunciado 2:  “llueve y no llueve” =  “p ● ~ p”

Enunciado 3:  “Dios existe o Dios no existe”  =  “p ν ~ p”

La proposición molecular: x = 2n en todo
caso seria2**2=4
Enunciado 1 Enunciado 2 Enunciado 3

p Q (p ● q) ~ p (p ● ~ p) (p ν ~ p)

v V V f f v

v F F f f v

f V F v f v

f F F v f v
disyuntor (V) se usa para simbolizar la conjunción “o” del lenguaje natural (y
otras equivalentes como “bien”, “sea… sea”, “ya… ya”, etc.) y lo que hace es
afirmar que al menos uno de los dos enunciados que conecta es verdadero.
Ejemplos

• Se solicita abogado o contable = p V q

• Me entero de la situación política leyendo “El País” o “La Vanguardia” = p

Vq

• Hay que demostrar la proposición bien por el método directo bien por el

indirecto = p V q

• No es cierto que vaya a salir el jueves o el viernes = ~ (p V q)

• Ya sea porque no tuvieron suerte, ya sea por falta de ambición, perdieron el

La proposición molecular: x = 2n en todo caso seria

P q (p V q)

V v v

V f v

F v v

F f f
 implicador (ͻ) se usa para simbolizar la expresión “entonces” del lenguaje
natural (y otras equivalentes como “por lo tanto”, “en consecuencia”,
“luego”, etc.) y lo que hace es afirmar que en el caso de que el primero de
los enunciados (antecedente) sea verdadero, el segundo (consecuente)
necesariamente también lo será (no puede darse el caso de que el antecedente
sea verdadero y el consecuente falso).

• Si Colón descubrió América entonces los gusanos son invertebrados = p → q

• Cuando hay abundancia, nadie muere de hambre = p → ¬q

• Con tal de que me digas las preguntas, me prepararé las respuestas y no

suspenderé =

• p → (q Λ ¬ r)
P q (p → q)

V v v

V f f

F v v

F f v
proposición molecular: x = 2n en todo caso seria2**3=8
1. - [p→(q●r) ] 2. –p ν q ● r 3. -q↔p●r 4.-¬p ● q→r
Enunciados con cuatro proposiciones

Enunciado 1: “Si Pablo no atiende en clase o no estudia en casa, fracasará

en los exámenes y no será aplaudido”

Razonamiento lógico
lo primero es ubicar las variables que representan las proposiciones o
enunciados
p = Pablo atiende en clase
q = estudia en casa
r = fracasará en los exámenes
s = será aplaudido

construir las estructuras lógicas

1.-

construir la tabla de la verdad

La proposición molecular: x = 2n en todo caso seria
Al construir la tabla de verdad podemos comprobar que existen tres
tipos de fórmulas en función de su resultado

Consistencia (empírica):

Se denomina fórmula consistente o indeterminada cuando su tabla de verdad

presenta una combinación de valores de verdad (v) y de falsedad (f).

Esto significa que su valor veritativo depende de cada uno de los posibles
casos, por lo que depende de la experiencia, ya que en unos casos puede ser
verdadera y en otros casos falsa.

Ejemplo de una tabla de verdad donde todos sus valores son verdaderos y
falso: (p ↔ q)
p q (p ↔ q)

v v V

v f F

f v F

f f V
Contradicción:
Una fórmula es una contradicción cuando en todos los
casos su valor veritativo es “f”, es decir, es siempre
falsa, independientemente de los valores de verdad
de las variables que la constituyen, por lo que es
universalmente falsa.
Ejemplo de una tabla donde sus valores veritativos son
falsos
p q

v v v f f f

v f f v v f

f v f f v f

f f f v v f
Tautología:

Una fórmula es tautológica cuando su valor veritativo es siempre

“v”, es decir, cuando es verdadera en todos los casos.

Estas fórmulas son verdaderas a priori, es decir,

independientemente de la experiencia, universalmente válidas.
Las fórmulas tautológicas son verdades lógicas, no empíricas.

Ejemplo de una tabla donde sus valores veritativos son

verdaderos
FUNCIONES PRINCIPIA MATH. HILBERT SE LEE

NEGACION ~ No
CONJUNCION .
V
Y
DISYUNCION O
V V
IMPLICACION Si …
EQUIVALENCIA entonces

U Si y solo si