Ing.

Luz Adriana Monroy Martnez L gica |1

Unidad II lgica proposicional

Es probable que en el siglo IV antes de la Era Comn, se iniciara con Aristteles el estudio de la
Lgica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio
de lo que hoy se conoce como Lgica Matemtica.

Uno de los fines de la enseanza matemtica es disciplinar la inteligencia, de ah el valor

formativo de esta ciencia ya que necesita de exactitud y precisin en sus razonamientos. La
inteligencia se disciplina a travs de un tipo especial de pensamiento que es el razonamiento. El
objetivo de la lgica es estudiar la validez de los razonamientos.

La validez de la lgica es una relacin entre las premisas y la conclusin expresada a travs de
una serie de smbolos matemticos y/o auxiliares llamados enunciados. Por medio de un enunciado
con sentido podemos emitir un juicio (actividad mental por medio de lo cual pensamos algo) o un
razonamiento (evaluacin mental por medio de lo cual obtenemos conclusiones).

Concepto de la Lgica:
La lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de
smbolos matemticos y/o auxiliares llamados enunciados.

Para su estudio, se divide en: Lgica Formal, Lgica Aplicada y Lgica Simblica.

Lgica Formal: es la parte de la filosofa que estudia las formas y leyes generales del pensamiento
tendiente al conocimiento de la verdad y el error.
Lgica Aplicada: es la que estudia las formas o estructura del pensamiento adaptndose al objeto de
su estudio de las distintas ciencias.
Lgica Simblica: es la que estudia sistemticamente las proposiciones, los razonamientos y las
demostraciones para lo cual utiliza un lenguaje constituido por smbolos convencionales que
representan estructuras.

La lgica simblica es aquella que se refiere a las proposiciones y que tambin se conoce con el
nombre de CALCULO PROPOSICIONAL.

Sistemas de Deduccin Natural

Introducidos por Gentzen en 1935, estos sistemas deductivos se refieren al hecho de moldear de
manera tan cercana como sea posible el razonamiento humano, o al menos al razonamiento
matemtico hecho por personas mediante distintos juicios.

Enunciados Abiertos y Enunciados Cerrados

Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo pensado en

un juicio, ya sea en forma oral o escrita.

Enunciados Abiertos o Simples: son aquellos que tienen un nico valor de verdad. Es el que no
tiene otro enunciado como parte componente. Ejemplo: Las rosas son rojas.
 Ing. Luz Adriana Monroy Martnez L gica |2

Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado

como componente. Ejemplo: Las rosas son rojas y las violetas son azules.

Concepto de Proposiciones
Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o
que es falsa, pero no ambas situaciones a la vez.

Si no se puede concluir que es verdadero o falso no es una proposicin.

Tipos Aquellas que son Proposiciones

de
Proposiciones Ambiguas
proposiciones:
No proposiciones

Clasificacin de las Proposiciones

Proposiciones simples o atmicas: son aquellas que constan de un solo enunciado.

Proposiciones compuestas o moleculares: son las que constan de dos o ms proposiciones

simples entrelazadas por ciertas particularidades lgicas llamadas conectivas lgicas.

Conectivas Lgicas
Las Conectivas Lgicas son aquellas que sirven para formar proposiciones compuestas.
Simblicamente las conectivas lgicas se representan del modo siguiente:

Conectiva Nombre Lgico Smbolo

No Negacin , ,
Y Conjuncin
O Disyuncin Inclusiva
OO Disyuncin Exclusiva
Si entonces Implicacin o Condicional
Si y solo si Doble Implicacin o Bicondicional
 Ing. Luz Adriana Monroy Martnez L gica |3

Clasificacin de las proposiciones compuestas

La negacin: la conectiva no es la que se antepone a una proposicin para cambiar su valor de

verdad y se representa por el smbolo o bien o bien .

La conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples unidas
o entrelazadas mediante el conectivo y, y se representa con el smbolo:

La disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por el
conectivo lgico o, que se representa de la manera siguiente .

La disyuncin Exclusiva: es una proposicin compuesta por dos proposiciones simples entrelazadas
por el conectivo oo y se representa as: V.

La condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva

sientonces, que se representa de la siguiente forma: . La proposicin que aparece entre las
palabras Si y Entonces, se denomina antecedente o hiptesis y la que aparece despus de la
palabra Entonces, se le llama consecuente o conclusin.

La Bicondicional o Doble implicacin: es una proposicin que se obtiene al unir dos proposiciones
simples mediante el conectivo si y solo si y se representa as: .

Reglas de simbolizacin

1) Cada uno de los enunciados simples del lenguaje natural se sustituir por variables proposicionales
simbolizadas por letras minsculas: p, q, r, s, t,

2) Las expresiones de lenguaje natural tales como:

No
No es cierto
No es el caso que
Es falso
Es imposible
Y todas aquellas que sean equivalentes, se sustituirn por el smbolo: , ,
3) Las expresiones del lenguaje natural tales como:
Y
Ni
Pero
Que
Mas
Y todas las que sean equivalentes, se sustituyen por el smbolo (conjuncin).

4) Las expresiones de lenguaje natural tales como:

o
o
bien bien
ya ya
y sus equivalentes se sustituyen por el smbolo (disyuncin).
 Ing. Luz Adriana Monroy Martnez L gica |4

5) Las expresiones naturales tales como:

Si entonces
Luego
Por tanto
Por consiguiente
Con tal que
Se infiere
Se deduce
Y sus equivalentes se sustituirn por el smbolo (condicional).

6) Las expresiones del lenguaje natural tales como:

. Si y solo si.
. Equivale a .
. Es igual a .
. Es lo mismo que .
Y sus equivalencias se sustituirn por el smbolo (bicondicional).

Uso de parntesis
1) No se utilizan parntesis en aquellos casos en que los conectores afecten a enunciados simples o
atmicos.
2) Se utiliza parntesis cuando el conector afecte a toda una conjuncin, disyuncin condicional o
bicondicional.
3) Se utiliza el parntesis en las expresiones con juntivas y disyuntivas precedidas o seguidas de un
condicionador o bicondicionador.
4) Se utiliza el parntesis en las expresiones que nos interese prese sisar la dominancia del conector, o
bien porque los conectores posean la misma dominancia como es el caso del conjuntador y el
disyuntor que son idepotentes o bien porque el sentido de la expresin exige la alteracin de la
dominancia de las conectivas fuentes el condicionador y el bicondicionador que son las
conectivas fuertes.

Una afirmacin como 1+1=6 la cual puede ser verdadera o falsa, pero no ambas cosas a la vez se
llama proposicin.

VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS Y SU TABLA DE

VERDAD
Tabla de
Nombre Descripcin
Verdad
Si una proposicin (sea simple o compuesta) es verdadera, su
p p
negacin es falsa o viceversa.
v f
La Negacin Ejemplo:
f v
si P es: Constanza es un municipio de la Vega,
P se leer: no es cierto que Constanza es un municipio de la Vega.
p q pq
v v v
La Esta proposicin solo es verdadera cuando las dos proposiciones
v f f
conjuncin que la forman son verdaderas y en los dems casos ser falsa.
f v F
f f F
 Ing. Luz Adriana Monroy Martnez L gica |5

p q pq
La disyuncin Esta proposicin es falsa nicamente cuando las dos proposiciones v v v
Inclusiva que la forman son falsas, en caso contrario es verdadera. v f v
f v v
f f F

p q pq
Esta solo ser verdadera cuando las dos proposiciones que la
La disyuncin v v f
componen tienen diferentes valores de verdad, en caso contrario es
exclusiva v f v
falsa.
f v v
f f f

La p q pq
Una condicional solo es falsa cuando su antecedente es verdadero
Condicional v v v
y el consecuente es falso; en los dems casos la condicional es
o v f f
verdadera.
Implicacin f v v
f f v
p q pq
La Est solo es verdadera cuando las dos proposiciones que la forman v v v
Bicondicional tienen el mismo valor de verdad, es decir, cuando las dos v f f
o Doble proposiciones que la forman ambas sean verdaderas o ambas f v f
Implicacin falsas. En caso contrario la Bicondicional es falsa. f f v

Concepto de Tautologa
Una proposicin compuesta es lgicamente verdadera o tautolgica cuando es verdadera siempre,
independientemente de los valores de verdad de las proposiciones simples que la forman.
Ejemplo:
p q pvq p(pq)
v v v v
v f v v
f v v v
f f f v
 Ing. Luz Adriana Monroy Martnez L gica |6

Concepto de Contradiccin
La contradiccin: es una proposicin compuesta que es falsa independientemente de los valores de
verdad de las proposiciones que la formen.
Ejemplo:

p p pq
v f f
f v f

Concepto de contingencia

La contingencia: es la combinacin de la tautologa y la contradiccin.

Ejemplo:

p q pq
v v v
v f f
f v v
f f v

Ejemplos de Tablas de verdad con tres proposiciones

1) Formula 2n, donde el 2 representa los dos valores posibles de una

proposicin (v o f) y la n el nmero de proposiciones. Por lo tanto para 3
proposiciones: 23, que es igual a 8 posibles combinaciones con 3 proposiciones.
p q r pq (pq)r
v v v v v
v v f v f
v f v v v
Ejemplo 2)
v f f v f
f v v v v
f v f v f
f f v f f
f f f f f
 Ing. Luz Adriana Monroy Martnez L gica |7

p q r pq (pq)r
v v v v v
v v f v f
v f v f v
v f f f v
f v v f v
f v f f v
f f v f v
f f f f v

La lgica como sistema formal axiomtico

El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas o
postulados.
La principal caracterstica de un sistema axiomtico es que si puede demostrarse de alguna manera
la verdad de los axiomas, quedan automticamente garantizadas tanto la verdad como la
consistencia mutua de todos los teoremas.

Lo caracterstico del sistema axiomtico como realizacin de la idea de clculo consiste en disponer
de un conjunto de enunciados o frmulas que se admiten sin demostracin y a partir de los cuales se
obtienen todas las dems afirmaciones de la teora, las cuales se llaman teoremas y las frmulas
aceptadas sin discusin son axiomas o postulados.

Conocer y utilizar la lgica de proposiciones, la semntica, el clculo axiomtico, las propiedades

formales, el clculo de deduccin natural y los rboles lgicos.

La lgica proposicional pretende estudiar las frases declarativas simples, enunciados o

proposiciones que son los elementos bsicos de transmisin de conocimiento humano.

El lenguaje de la lgica proposicional trabajar con los siguientes conjuntos de smbolos:

Constantes v, f

Variables o letras proposicionales: p, q, r, s,

Smbolos de conectivas: , , , ,

Signos de puntuacin: ( , )
 Ing. Luz Adriana Monroy Martnez L gica |8

Sintaxis de la lgica proposicional

Las reglas de formacin de freses en el lenguaje de lgica proposicional son:

1.- Las constantes v (verdadero) y f (falso) pertenecen a la lgica proposicional.

2.- Las letras de proposiciones p, q, r, s, pertenecen a la lgica de proposiciones.

3.- Si A y B pertenecen a la lgica de proposiciones, entonces ( A), ( B), ( A B), ( A B)

( A B), ( A B) tambin pertenecen a la lgica de proposiciones.

4.- Solo pertenecen a la lgica de proposiciones las formulas que cumplan los requisitos 1,2 y 3.

Con el fin de evitar el exceso de parntesis se establece la siguiente jerarqua de prioridades:

1) Negacin
2) Conjuncin y disyuncin ,
3) Implicacin y la doble implicacin ,

Ejemplo: con dicha jerarqua la formula p q p r se reconoce como: ((p) q) (pr)

Semntica de la lgica proposicional

La siguiente teora semntica de la lgica proposicional trata de atribuir significado verdadero o falso
a las distintas frmulas del lenguaje, Dichos significados dependen del contexto particular en el que
se utilice la formula. Cada contexto se denomina interpretacin.

Definicin: Una interpretacin de una formula F en lgica proposicional es la asignacin de valores v, f

a cada una de las letras proposicionales de F. El valor de una proposicin p bajo una interpretacin I
se denota por:

VI(F) es:

Si F es de la forma G entonces VI(F) =

V (verdadero) si VI(G) = f
f (falso ) si VI(G) = v

Si F est formada por una proposicin p, entonces VI(F) = VI(p)

Si F es de la forma GH entonces Vi(F) es:
V (verdadero) si VI(G) = VI(H) = v
f (falso ) en caso contrario
 Ing. Luz Adriana Monroy Martnez L gica |9

Si F es de la forma GH entonces Vi(F) es:

f (falso) si VI(G) = VI(H) = f
v (Verdadero ) en caso contrario

Si F es de la forma GH entonces Vi(F) es:

f (falso) si VI(G) = v y VI(H) = f
v (verdadero ) en caso contrario

Si F es de la forma GH entonces Vi(F) es:

V (verdadero) si VI(G) = VI(H)
f (falso ) en caso contrario