VARIABLES Y OPERADORES

PROPOSICIONALES
1.1. Las variables proposicionales:
Son un conjunto de símbolos para representar proposiciones simples. Para ello usaremos las
siguientes letras minúsculas:

Por ejemplo, Ayabaca es una provincia de Piura podemos representarla simbólicamente por la variable “p”.
Entonces lo sucesivo lo expresamos como lo siguiente:
Ayabaca es una provincia de Piura = p

P, q, r, s, …….

1.2. Operadores proposicionales: Los operadores proposicionales son los símbolos que
representan lo términos de enlace o conectividad lógicas. A continuación, los símbolos
respectivos para cada tipo de conectivas.
 EJEMPLO
EJEMPLO CON CON
CONECTORES
SÍMBOLO QUIERE DECIR LENGUAJE LENGUAJE
LOGICOS
ORDINARIO SIMBOLIC
O
~ No, nunca, no es cierto que, Fido no es un gato.
NEGACIÓN no ocurre que, no es verdad ~P
que, ni, tampoco, etc.
⋀ Y, además, pero, sin Calos y Luis son
CONJUNCIÓN embargo, aunque e, a la vez, buenos amigos P⋀Q
etc.
⋁
⋁ 0,
0, 0
0 bien,
bien, u
u Iré
Iré al
al cine
cine oo al
al
DISYUNCIÓN
DISYUNCIÓN teatro P⋁
P ⋁Q Q
teatro
Si…
Si… entonces,
entonces, suponiendo
suponiendo SiSi estudio
estudio mucho
mucho
que,
que, aa condición
condición de,
de, es
es entonces
entonces aprobaré
aprobaré
CONDICIONAL
CONDICIONAL condicional suficiente para, con 20 matemática
condicional suficiente para, con 20 matemática PQ
es
es condición
condición necesaria
necesaria para,
para, II
cuando,
cuando, entonces
entonces
Si, y sólo si, cuando, y sólo Probare el postre
BICONDICION Si, y sólo si, cuando, y sólo Probare el postre
BICONDICION cuando. si, y sólo si, es de PQ
AL cuando. si, y sólo si, es de
AL limón
limón
LENGUAJE LÓGICO
El lenguaje corriente, que está lleno de imprecisiones, es susceptible de ser traducido
a un lenguaje lógico. Dicho lenguaje consta de dos elementos básicos: letras
proposicionales y conectivos. Las primeras expresan proposiciones y son variables;
los segundos son símbolos que expresan relaciones entre proposiciones. Ambos son
elementos del lenguaje lógico.
LENGUAJE LÓGICO
El lenguaje lógico, para expresar las distintas situaciones, tiene la posibilidad de que las
proposiciones simples se enlacen entre sí mediante las conectivas y formen proposiciones
moleculares. Los enlaces entre las proposiciones atómicas son muy variados.
Esto significa que pueden expresar diferentes tipos de relación. Russell plantea que hay dos
tipos de proposiciones:
La proposición atómica es la forma lógica de un hecho, el mismo que constituye la
referencia de la proposición atómica. Este hecho consiste en:
a) un particular calificado por una propiedad. Ej: “La casa es enorme”
b) dos o más particulares vinculados por una relación. Ej: “Luis es el primo de Juan”.
La proposición atómica se caracteriza porque no puede ser descompuesta en partes menores.
LA PROPOSICIÓN
MOLECULAR
Está constituida a partir de dos o más proposiciones atómicas conectadas por
operadores lógicos. Tenemos las siguientes:

Así, la verdad o falsedad de las proposiciones moleculares se halla totalmente

determinada por la verdad o falsedad de las proposiciones atómicas. El análisis lógico
consiste en la tarea de ir descomponiendo lo más complejo en lo menos complejo. En
ese proceso de resolución de lo complejo se llegará a lo atómico. Por ello, este análisis
supone la construcción de un lenguaje preciso mediante el cual se podrá pasar de
palabras a fórmulas.
SIMBOLIZACIÓN DE
PROPOSICIONES
La simbolización de proposiciones consiste en la representación del lenguaje natural
mediante el lenguaje simbólico. Para ello podemos seguir las siguientes pautas.
1. Representar cada proposición simple por una variable proposicional distinta.
2. Determina la estructura formal de la proposición distinguiendo el alcance de sus
operadores.
3. Obtener el símbolo de la proposición distinguiendo el alcance de sus operadores
SIMBOLIZACIÓN DE
PROPOSICIONES
COMPUESTAS
ELEMENTALES
En este contexto vamos a representar proposiciones compuestas por solo dos proposiciones simples,
más la negación. Ejemplo
Simón Bolívar no nació en el Perú.
Asignando una variable a una proposición simple, se tiene:
Simón Bolívar nació en el Perú = p, Ahora, si en vez colocamos una línea antecedida de la negación,
entonces obtenemos la siguiente estructura formal, donde “no” es el de mayor alcance:
 No (p)
Simbolizando esta estructura formal, se tiene:
~p
Como la negación “~“ solo afecta hacia la derecha, este es un símbolo o formula que tiene como
signo principal a negación “ ~“ en lógica proporcional, la negación “~“ es el único operador que
opera hacia la derecha.
SIMBOLIZACIÓN DE PROPOSICIONES MÁS
COMPLEJAS.
 
Cuando una proposición compuesta está constituida por más de dos proposiciones simples y, por
tanto, por más de una conectiva lógica, se hace patente el uso de los signos de agrupación
(paréntesis, corchetes, llaves, etc) para distinguir el alcance de los operadores proposicionales y
evitar la ambigüedad en la interpretación del lenguaje simbólico. Ejemplos:
Si las lluvias de la sierra y el gobierno distribuyen abono, entonces la producción agrícola crecerá
Siguiendo todos los pasos para la simbolización se tienen:
Hay lluvias en la sierra = p
El gobierno distribuye abono =q
La producción agrícola crecerá = r
 
Si ( p y p ), entonces ( r )
 (p q)r
 
PRACTICAMOS
 FORMALIZA O SIMBOLIZA LAS SIGUIENTES PROPOSICIONES.
a) La luna no es un planeta ~p
b) Los niños son buenos pero los hombres no.
c) Eres un buen estudiante, sin embargo suspendes.
d) No vi la película, pero vi la novela .
e) Ni vi la película ni vi la novela
f) No es cierto que viese la película y leyese la novela
g) Vi la película aunque no leí la novela
ANALIZA LOS SIGUIENTES
ENUNCIADOS O PROPOSICIONES:
1 Llueve y hace sol  
2 Llueve y no hace sol ¿Cuál es la formalización adecuada?
3 Llueve o hace sol
Observaciones: ~p p⋁q p⋀q p ⋀ ~q ~~p ~p
4 Si no llueve, hace sol 5
5 No es cierto que llueva Simbolizamos la
proposición
6 No es cierto que no llueva atómica
"Llueve" con la
variable p , y la
proposición
Hará sol si y sólo si no "Hace sol", con
7 la variable q
llueve
Sean p, q y r las proposiciones
Está lloviendo y el sol está
siguientes: 1  
brillando
p: “está lloviendo” Si está lloviendo entonces
2  
hay nubes en el cielo
q: “el sol está brillando”
Si no está lloviendo,
r: “hay nubes en el cielo” entonces el sol no está
3  
Traducir las siguientes oraciones brillando y hay nubes en el
anotación simbólica utilizando las letras cielo
asignadas y los conectivos lógicos. El sol está brillando si, y
4  
solo si, no está lloviendo.
Si no hay nubes en el cielo,
5 entonces el sol está  
brillando.
O está lloviendo o el sol
6  
está brillando
ACTIVIDAD Nº 02
Formalización Proposicional
1. O está lloviendo y nevando, o está
soplando el viento.
2. Los hombres han nacido iguales o no son
libres.
3. Moriarty y Crumm son ambos culpables, o
Crumm es inocente.
4. si los verdaderos amigos tienen todo en
común, entonces tú no puedes ser más rico
que tu compañero si dices que sois
verdaderos amigos.
5. Juan irá a la fiesta sólo si María va.
6. Cientos de vidas podrían salvarse cada año si la gente
utilizara el cinturón de seguridad.
7. No es el caso que, si la luna está hecha de queso verde,
entonces los vehículos espaciales no pueden alunizar en
ella.
8. Si los verdaderos amigos tienen todo en común,
entonces tú no puedes ser más rico que tu compañero si
dices que son verdaderos amigos.
9. Dos es un número primo porque sólo es divisible por sí
mismo y por la unidad.
10. Decir que la suma de sucesiones positivas es una
sucesión positiva y el producto de sucesiones positivas
es una sucesión positiva equivale a decir que la suma y
el producto de dos números reales positivos es un
número real positivo.
ANALIZA LOS SIGUIENTES
ENUNCIADOS O PROPOSICIONES:
Si Pablo no atiende en clase o no estudia en casa, fracasará en los exámenes y no
1
será aplaudido
Si no es el caso que Pablo atiende en clase y estudia en casa, entonces fracasará en
2
los exámenes o no será aplaudido Simbolizamos:
Pablo atiende en clase y estudia en casa o, por otra parte, fracasa en los exámenes y "Pablo atiende en clase" =
3 p ; " Pablo estudia en casa =
no es aplaudido
q; "Pablo fracasa en los
exámenes" = r ;
"Pablo es aplaudido" = s ;
Únicamente si Pablo atiende en clase y estudia en casa, no se dará que fracase en los
4
exámenes y no sea aplaudido