Docente: Lic.

Juan Ivn Aazco Valdivia

Curso: Matemtica
PROPOSICIONES LGICAS
Enunciado: Se llama enunciado a toda frase u
oracin. Algunos enunciados son mandatos o
interrogaciones o son expresiones de emocin,
otros en cambio son afirmaciones o negaciones
que tienen la caracterstica de ser verdaderas o
falsas.

Ejemplo:
1. Qu curso te has matriculado?
2. Viva el Per!
3. Todas las gallinas son aves
4. 5>8
5. Prohibido hacer bulla
6. Gabriel Garca Mrquez escribi Cien aos de
soledad.











Proposicin: Llamamos proposicin a todo
enunciado que tiene la cualidad de ser verdadera
o de ser falsa, pero nunca puede ser verdadera y
falsa a la vez.
Ejemplo:
1. Dos ms tres, es igual a cinco.
2. Cuatro y diez son mltiplos de dos.
3. Cinco es diferente de cero
4. 6 es un nmero primo



Clases de Proposiciones

Estas se clasifican en dos tipos: Simples y Compuestas

Proposicin Simple: Son las proposiciones que tienen un
slo sujeto y un slo predicado. No llevan operador
lgico.

Ejemplo:
1. 1 es un nmero entero.
2. En el invierno hace frio.
3. Mxico est en crisis econmica.






Proposicin Compuesta: Son las proposiciones
que se obtienen de la combinacin de dos o ms
proposiciones simples, las cuales son enlazadas
por operadores lgicos.
Ejemplo:
1. En el invierno hace frio y en algunos lugares
cae nieve.
2. Mxico est en crisis econmica si y slo si se
devala la moneda.
Observacin: Las proposiciones simples se
denotan con las letras minsculas p, q, r, s, t, etc.
Si son muchas proposiciones simples, entonces
usaremos subndices, tales como:


,etc.
Operadores Lgicos (Conectivas o constantes
lgicas):
Las proposiciones simples pueden combinarse de
diferentes formas para dar lugar a proposiciones
compuestas. Los elementos que sirven para
conectar las proposiciones simples entre s se llaman
operadores lgicos. Estos son de dos tipos:
a. Mondico: Afecta slo a una proposicin. En este
caso se tiene al negador.
b. Didicos: Enlazan dos proposiciones. En este caso
tenemos: Conjuntor, disyuntor inclusivo, disyuntor
exclusivo, condicional y bicondicional.
Negador: El negador cuyo trmino de enlace es no
funciona como un operador lgico, afecta a una
proposicin cualquiera, sea simple o compuesta, la
convierte en falsa si es verdadera y en verdadera si es
falsa.

Ejemplo: Dada la proposicin simple:
Los erizos son aves.
Como sabemos que la proposicin los erizos son aves
es falsa; entonces los erizos no son aves es verdadera.

Conjuntor : El conjuntor cuyo trmino de enlace es y
funciona como un operador lgico, y nos dice que la
proposicin compuesta slo es verdadera si las dos
proposiciones simples que une son ambas verdaderas,
y ser falsa en los dems casos.





Ejemplo: Dadas las proposiciones simples:
Las flores son plantas.
Los erizos son aves.
Entonces la proposicin compuesta las flores son
plantas y los erizos son aves es falsa.

Disyuntor inclusivo: El disyuntor inclusivo cuyo
trmino de enlace es o funciona como un
operador lgico, y nos dice que la proposicin
compuesta slo es falsa si las dos proposiciones
simples que une son ambas falsas, y verdadera
en los dems casos.


Ejemplo: Dadas las proposiciones simples
Las flores son plantas.
Los erizos son aves.
Entonces la proposicin compuesta las flores son
plantas o los erizos son aves es verdadera.

Disyuntor exclusivo: El disyuntor exclusivo cuyo
trmino de enlace es oo funciona como un
operador lgico y nos dice que la proposicin
compuesta slo es verdadero si una de sus
proposiciones simples que une es verdadera, y
falsa en los dems casos.


Ejemplo: Dadas las proposiciones simples
3 es un nmero impar.
4 es un nmero primo.
Entonces la proposicin compuesta; o 3 es un
nmero impar o 4 es un nmero primo es
verdadera.

Condicional: El condicional cuyo trmino de
enlace es si.,entonces. funciona como un
operador lgico y nos dice que la proposicin
compuesta slo es falsa cuando, siendo el
antecedente verdadero, el consecuente sea
falso, y verdadera en los dems casos.
Llamamos antecedente del condicional a la
proposicin que se halla a su izquierda, y
consecuente a la que est a su derecha.

Ejemplo: Dadas las proposiciones simples
3 es un nmero impar.
4 es un nmero primo.
Entonces la proposicin compuesta; si 3 es un
nmero impar, entonces 4 es un nmero primo es
falsa.

Bicondicional: El bicondicional cuyo trmino de
enlace es si y slo si funciona como un
operador lgico y nos dice que la proposicin
compuesta slo es verdadera si las dos
proposiciones simples unidas por el operador
lgico tienen ambas el mismo valor de verdad, es
decir, son ambas verdaderas o falsas a la vez.

Ejemplo: Dadas las proposiciones simples
5 es un nmero impar.
2 es un nmero par.
Entonces la proposicin compuesta; 5 es un
nmero impar si y slo si 2 es un nmero par es
verdadera.

Smbolos de la lgica proposicional
Como ocurre en otras ciencias, es necesario en
lgica utilizar un lenguaje simblico especial que
elimine los rasgos que no nos interesan y pongan
de manifiesto los que s nos interesan. En lgica
nos interesa saber cmo estn combinadas las
proposiciones, y no nos interesa en absoluto su
significado. Por ello necesitamos unos smbolos
que, prescindiendo del significado de las
proposiciones, nos indiquen la forma en que se
combinan. Estos smbolos constituyen un
lenguaje formal.
En primer lugar, las proposiciones simples pueden ser
sustituidas por lo que llamaremos variables
proposicionales, que sern las letras p, q, r, s, t, etc.
En segundo lugar, a cada operador lgico le corresponde
un smbolo, como queda resumido en la siguiente tabla:

Operador Smbolo Lenguaje Natural Formalizacin
Negador
Pepe no es bombero
Conjuntor
Pepe es bombero y Mara es
camarera
Disyuntor
inclusivo
Pepe es bombero o Mara es
camarera
Disyuntor
exclusivo
O Pepe es bombero o Mara es
camarera
Condicional
Si Pepe es bombero, entonces
Mara es camarera
Bicondicional
Pepe es bombero si y slo si
Mara es camarera
Frmulas Lgicas:
O frmulas bien formadas, es el resultado de la
correcta combinacin de los smbolos lgicos.
Cualquier combinacin de smbolos lgicos no
constituyen una frmula bien formada, por
ejemplo no estn bien formadas las frmulas
, , , , etc.
La construccin de frmulas bien formadas,
depende de que se tenga en cuenta las reglas
para usar y combinar smbolos lgicos, entre
ellas tenemos las siguientes reglas:

Toda variable proposicional es una frmula bien
formada. Ejemplo: p, q, r, etc.

Si es una frmula bien formada, entonces es
tambin una frmula bien formada. Ejemplo:

Si y son frmulas bien formadas, entonces
, , , , , son
tambin frmulas bien formadas. Ejemplo: ,
, , .

Los signos de coleccin solo se usan cuando una
frmula es de doble interpretacin. Ejemplo:
es una frmula mal formada.
es una frmula bien formada (conjuntor).
es una frmula bien formada (disyuntor).
El operador negativo se escribe antes de una
frmula. Ejemplo:
es una frmula mal formada.
es una frmula bien formada (negador).

Si un operador negativo antecede a otro operador
igualmente negativo, el de la izquierda tiene mayor
jerarqua.

Una frmula lgica esta bien formada si y solo si
existe una jerarqua claramente establecida entre
sus operadores; caso contrario la frmula carece
de sentido.

Una frmula bien formada tiene un nombre y
depende de su operador de mayor jerarqua.

Segn estas reglas, los siguientes ejemplos son
de frmulas bien formadas:
, , , y

Y los siguientes son ejemplos de frmulas mal
formadas:
Frmula Error Correccin
Sobran parntesis
Sobran parntesis
Sobran parntesis
Observaciones:
Al utilizar los signos de coleccin (parntesis). Su
nica funcin es desambiguar ciertas expresiones
ambigua, es la misma comparacin de desambiguar
la expresin 2 + 2 2, que puede significar tanto
(2 + 2) 2, como 2 + (2 2).

Otra convencin acerca del uso de los parntesis es
que el conjuntor y el disyuntor tienen menor
jerarqua que el condicional y los bicondicional. Esto
significa que dada una frmula sin parntesis, el
conjuntor y el disyuntor deben agruparse antes que el
condicional y el bicondicional. Por ejemplo:
Frmula Lectura correcta Lectura incorrecta

Los parntesis son smbolos de agrupacin de la
lgica. Muestran como est agrupada una frmula
lgica y, por lo tanto, sealan cul es el operador
de mayor jerarqua.

Adoptaremos algunas reglas acerca de la mayor
jerarqua de los operadores lgicos (segn
SUPPES- HILL)
REGLA 1
El smbolo es de mayor jerarqua que los otros
operadores lgicos
REGLA 2
El smbolo es de mayor jerarqua que y

REGLA 3
El smbolo es de menor jerarqua que cualquiera de
los otros operadores lgicos.
REGLA 4
Los signos y son de igual jerarqua.

Jerarquizacin de Frmulas
En cualquier frmula lgica, el operador que tiene
mayor jerarqua es aquel operador que est en la parte
ms externa de los signos de coleccin, es decir es
aquel que divide a la frmula en dos.
Ejemplo:
se llama conjuntor
se llama condicional
se llama condicional

Formalizacin de proposiciones:
Es el proceso que permite traducir el lenguaje
natural al lenguaje formal, es decir, las proposiciones
y los trminos de enlace son representados por las
variables proposicionales y operadores lgicos.

El proceso de formalizacin implica cuatro pasos:
1. Identificar los operadores lgicos (trmino de
enlace).
2. Identificar las proposiciones simples y
representarlas con una variable proposicional.
3. Reemplazar las proposiciones simples por las
variables proposicionales.
4. Determinar la frmula lgica utilizando las variables
proposicionales y operadores lgicos.
Ejemplo:
Formalice el siguiente argumento:
Machu Picchu es una obra maestra de la arquitectura y la
ingeniera; por lo tanto, ha sido considerada Patrimonio de
la Humanidad por la Unesco.

Paso 1 y 2:
p:Machu Picchu es una obra maestra de la arquitectura.
q:Machu Picchu es una obra maestra de la ingeniera.
r:Machu Picchu ha sido considerada Patrimonio de la
Humanidad por la Unesco.
Si Machu Picchu es una obra maestra de la arquitectura y la
ingeniera, entonces ha sido considerada Patrimonio de la
Humanidad por la Unesco.
Paso 3:
p y q; por lo tanto, r
Paso 4:
Frmula lgica:

Smbolos Auxiliares
En proceso de formalizacin se utilizan otros smbolos,
denominados smbolos auxiliares y estos son:

Signos de Puntuacin (coma y el punto seguido)

Cuando la coma es utilizada en la enumeracin de
las caractersticas o propiedades del sujeto (de quien
se dice algo), reemplaza a un conjuntor o a un
disyuntor.
Ejemplos:
La universidad brinda una formacin humanista,
cientfica y tecnolgica.

p: La universidad brinda una formacin humanista.
q: La universidad brinda una formacin cientfica.
r: La universidad brinda una formacin tecnolgica.

Frmula lgica:

La observacin, hiptesis o la experimentacin son
etapas del mtodo cientfico.

p: La observacin es una etapa del mtodo
cientfico.
q: La hiptesis es una etapa del mtodo
cientfico.
r: La experimentacin es una etapa del mtodo
cientfico.

Frmula lgica:

Cuando la coma es utilizada en un argumento,
reemplaza al trmino entonces.

Ejemplo:
Si la persona es mayor de 18 aos, tiene el derecho a
voto.
p: La persona es mayor de 18 aos.
q: La persona tiene el derecho a voto.

Frmula lgica:

El punto y seguido, en caso de que no haya ningn
trmino de enlace, es un conjuntor.

Ejemplo:
Csar Vallejo fue un ilustre poeta. Mario Vargas Llosa
es un genial novelista.
p: Csar Vallejo fue un ilustre poeta.
q: Mario Vargas Llosa es un genial novelista.

Formula lgica:

Signos de Coleccin

Se utilizan para agrupar a las variables y
operadores as como, darles jerarqua. Son los
siguientes:
1. Parntesis ( )
2. Corchetes [ ]
3. Llaves { }

Jerarquizar
Consiste en agrupar las variables proposicionales
y los operadores lgicos dentro de los signos de
coleccin o agrupacin.

Requisitos para jerarquizar:
i. Slo presentan jerarqua los operadores
lgicos
ii. En el texto, tener en cuenta los signos de
puntuacin, pues indican la ubicacin de los
signos de coleccin.
iii. En el texto, la importancia de mayor a menor
es la siguiente: Punto y seguido, punto y coma,
coma
Reglas para jerarquizar:

i. Donde se encuentre un signo de puntuacin, ah,
se abre o se cierra un signo de agrupacin.
ii. El operador principal se encuentra donde esta
ubicado el signo de puntuacin ms importante.
iii. El operador que se encuentra fuera o en la parte
ms externa de los signos de coleccin, es el que
tiene mayor jerarqua.


Ejemplo:
Carito estudia comunicacin y matemtica, o
estudia electricidad. Sin embargo estudia arte.
p:Carito estudia comunicacin.
q:Carito estudia matemtica.
r:Carito estudia electricidad.
s:Carito estudia arte.

Reemplazado proposiciones, tenemos:
p y q, o r. Sin embargo s.
Reemplazando operadores, tenemos:
p q , r . s
Ubicacin los signos de puntuacin segn su
importancia, tenemos:
p q , r . s


Jerarquizando, tenemos:
[( p q ) r ] s


Tablas de verdad de cualquier frmula:

Para hallar la tabla de verdad de cualquier frmula
hay que dar los siguientes pasos:

Establecer la tabla de verdad, considerando el
siguiente esquema:
Variables de la formula
(Margen izquierdo) (Margen derecho)
Formula lgica
n: N de variable
C: N de combinaciones
posibles de sus valores de
verdad que tendr la tabla.
C=










M
a
t
r
i
c
e
s

s
e
c
u
n
d
a
r
i
a
s












M
a
t
r
i
z

p
r
i
n
c
i
p
a
l












M
a
t
r
i
c
e
s

s
e
c
u
n
d
a
r
i
a
s


Establecer la jerarqua entre los operadores de la formula de
acuerdo a las reglas establecidas.

Determinar el nmero de combinaciones de valores de
verdad considerando que C= .

Construir las matrices secundarias, empezando por los
operadores de menor jerarqua, hasta llegar a la matriz de
mayor jerarqua (matriz principal) donde est el operador
principal de mayor jerarqua teniendo en cuenta las reglas
de los operadores lgicos.

El modo ms fcil de combinar los valores de verdad de las
proposiciones que integran cualquier frmula, consiste en
asignarle a la 1 proposicin por orden alfabtico la mitad de
(V) y la mitad de (F). A la siguiente proposicin, la mitad de
la mitad de (V), la mitad de la mitad de (F), hasta completar
el nmero de las combinaciones que admita la frmula. Y a
la ltima proposicin de la frmula siempre se le asignar
(V) y (F) alternadamente hasta completar las combinaciones
posibles de la frmula.




Tabla de verdad del negador:


Tabla de verdad del conjuntor:



Tabla de verdad del disyuntor inclusivo :



p
V F
F V
p q p q
V V V
V F F
F V F
F F F
p q p q
V V V
V F V
F V V
F F F
Tabla de verdad del disyuntor exclusivo:



Tabla de verdad del condicional:



Tabla de verdad del bicondicional:











p q p q
V V F
V F V
F V V
F F F
p q p q
V V V
V F F
F V V
F F V
p q p q
V V V
V F F
F V F
F F V
Ejemplo: Definir tabularmente la formula siguiente: